On the Decidability of Expressive Description Logics with Transitive Closure and Regular Role Expressions.
Jean Christoph JungCarsten LutzThomas ZeumePublished in: KR (2020)
Keyphrases
- transitive closure
- expressive description logics
- exptime complete
- description logics
- query containment
- regular path queries
- expressive power
- knowledge base
- directed acyclic graph
- query evaluation
- first order logic
- query answering
- data complexity
- recursive queries
- knowledge representation
- spatial databases
- relational algebra
- query language
- natural language
- owl dl
- dl lite
- pspace complete
- database