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