Conjunctive query answering in the description logic SH using knots.
Thomas EiterMagdalena OrtizMantas SimkusPublished in: J. Comput. Syst. Sci. (2012)
Keyphrases
- conjunctive query answering
- description logics
- data complexity
- dl lite
- transitive roles
- conjunctive queries
- knowledge base
- exptime complete
- combined complexity
- knowledge representation
- query answering
- expressive power
- ontology languages
- reasoning tasks
- tuple generating dependencies
- computational properties
- query evaluation
- inverse roles
- semantic web
- model theoretic
- reasoning problems
- owl dl
- unions of conjunctive queries