Conjunctive Regular Path Queries in Lightweight Description Logics.
Meghyn BienvenuMagdalena OrtizMantas SimkusPublished in: IJCAI (2013)
Keyphrases
- lightweight
- description logics
- dl lite
- reasoning tasks
- knowledge base
- computational properties
- data complexity
- query answering
- conjunctive queries
- semantic web
- knowledge representation
- query rewriting
- exptime complete
- computational complexity
- expressive power
- first order logic
- regular path queries
- np complete
- relational databases
- model theoretic
- artificial intelligence