Containment in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics.
Pierre BourhisCarsten LutzPublished in: KR (2016)
Keyphrases
- expressive description logics
- regular path queries
- query containment
- conjunctive queries
- datalog programs
- query answering
- transitive closure
- data complexity
- expressive power
- regular expressions
- disjunctive logic programming
- integrity constraints
- decision procedures
- query evaluation
- deductive databases
- query rewriting
- query optimization
- description logics
- graph databases
- data exchange
- semistructured data
- query language
- polynomial hierarchy
- special case
- incomplete information
- dl lite
- reasoning tasks
- tree patterns
- logic programming
- data integration
- pattern matching