Computing Datalog Rewritings for Disjunctive Datalog Programs and Description Logic Ontologies.
Mark KaminskiYavor NenovBernardo Cuenca GrauPublished in: RR (2014)
Keyphrases
- datalog programs
- dl lite
- conjunctive queries
- query answering
- query rewriting
- data complexity
- ontology languages
- description logics
- integrity constraints
- data exchange
- query evaluation
- regular path queries
- reasoning services
- query language
- np complete
- inconsistent databases
- answering queries
- incomplete information
- dl programs
- tight complexity bounds
- special case
- semantic web
- knowledge base
- unions of conjunctive queries
- data integration
- knowledge representation
- decision procedures
- query containment
- deductive databases
- consistent query answering
- owl dl
- databases
- snomed ct
- database systems
- np hard
- fixpoint
- schema mappings
- owl ontologies