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