Containment in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics.
Pierre BourhisCarsten LutzPublished in: CoRR (2020)
Keyphrases
- expressive description logics
- regular path queries
- query containment
- conjunctive queries
- datalog programs
- query answering
- data complexity
- transitive closure
- expressive power
- regular expressions
- disjunctive logic programming
- decision procedures
- description logics
- integrity constraints
- query rewriting
- deductive databases
- query optimization
- query evaluation
- query language
- graph databases
- incomplete information
- data exchange
- artificial intelligence
- polynomial hierarchy
- np complete
- database
- special case
- machine learning
- optimal solution
- dl lite
- answering queries
- data integration
- fixpoint
- semistructured data
- tree patterns