• precise semantics, supports the prose in the specificiation

  • complexity analysis

    => how much effort does it take to evaluate a query?

    => depending on the size of the map, i.e. the number of assertions

    => TMQL endpoints can decide whether they want to do it, or not

  • optimization

    ==> static: query only

    ==> static: query + ontology

    ==> dynamic: query + ontology + map data

  • compare queries