Tractable Query Answering for DL Ontologies and Existential Rules: Extended Abstract.
David CarralIrina DragosteMarkus KrötzschPublished in: Description Logics (2018)
Keyphrases
- extended abstract
- query answering
- dl lite
- description logic programs
- ontology based data access
- data complexity
- transitive roles
- description logics
- conjunctive query answering
- data exchange
- conjunctive queries
- ontology languages
- ontology mappings
- computational complexity
- data integration
- integrity constraints
- tuple generating dependencies
- dl programs
- query rewriting
- incomplete information
- complexity of query answering
- np complete
- answering queries
- rule engine
- inconsistent databases
- databases
- first order logic
- double exponential
- np hard
- knowledge base
- query containment
- datalog programs
- knowledge representation