Previous Contents

AsTMa* τ Algebra

there is a mathematical method behind this madness: TM (= τ) Algebra:

operations on maps, ontologies and queries:

  • maps can be added together: M + M' (merging)

  • maps can be enriched with ontologies: O + M

  • maps can be filtered with ontologies: O * M

  • maps can be transformed with queries: Q * M

  • ontologies can be combined: O + O' (logical OR)

  • ontologies can be chained: O * O' (logical AND)

  • ontologies can be transformed: Q * O (returns an ontology)

  • queries can be chained: Q * (Q' * M)

equations when expression should be regarded equivalent:

  • example: M + M' = M' + M (+ between maps is commutative)

Robert Barta30 of 32
Previous