Datalog rewritability of Disjunctive Datalog programs and non-Horn ontologies.
Mark KaminskiYavor NenovBernardo Cuenca GrauPublished in: Artif. Intell. (2016)
Keyphrases
- datalog programs
- conjunctive queries
- query answering
- ontology based data access
- dl lite
- data complexity
- ontology languages
- description logics
- integrity constraints
- np hard
- query evaluation
- np complete
- expressive power
- disjunctive datalog
- special case
- query rewriting
- data exchange
- query language
- inconsistent databases
- decision procedures
- semantic web
- magic sets
- query containment
- deductive databases
- fixpoint semantics
- knowledge base
- recursive queries
- propositional logic
- datalog queries
- knowledge representation
- dl programs
- datalog programs with negation
- schema mappings
- expert systems
- databases
- data integration
- incomplete information
- background knowledge
- consistent query answering
- business intelligence
- hidden markov models
- data model
- function free horn
- database