Containment of Regular Path Queries under Description Logic Constraints.
Diego CalvaneseMagdalena OrtizMantas SimkusPublished in: IJCAI (2011)
Keyphrases
- regular path queries
- description logics
- expressive description logics
- reasoning tasks
- regular expressions
- query containment
- data complexity
- automata theoretic
- exptime complete
- dl lite
- conjunctive queries
- graph databases
- query answering
- knowledge base
- reasoning problems
- ontology languages
- decision procedures
- semistructured data
- pattern matching
- knowledge representation
- expressive power
- semantic web
- logic programming
- query rewriting
- query language
- databases
- data model
- temporal reasoning
- automated reasoning
- query evaluation
- owl dl