Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning.
Mark KaminskiYavor NenovBernardo Cuenca GrauPublished in: CoRR (2014)
Keyphrases
- datalog programs
- ontology reasoning
- description logics
- conjunctive queries
- disjunctive datalog
- query answering
- deductive databases
- dl lite
- inconsistent databases
- magic sets
- data complexity
- datalog programs with negation
- knowledge base
- fixpoint
- knowledge representation
- integrity constraints
- fixpoint semantics
- data exchange
- query evaluation
- special case
- reasoning engine
- np complete
- conceptual graphs
- query rewriting
- web services
- query language
- query optimization
- model theoretic
- query containment
- decision procedures