Tractable Query Answering for Expressive Ontologies and Existential Rules.
David CarralIrina DragosteMarkus KrötzschPublished in: ISWC (1) (2017)
Keyphrases
- query answering
- ontology based data access
- dl lite
- complexity of query answering
- data exchange
- data complexity
- ontology languages
- tight complexity bounds
- incomplete information
- conjunctive queries
- data integration
- integrity constraints
- tuple generating dependencies
- description logics
- answering queries
- query rewriting
- ontology mappings
- transitive roles
- inconsistent databases
- association rules
- semantic web
- knowledge base
- dl programs
- knowledge representation
- databases
- query containment
- computational complexity
- owl ontologies
- multi agent systems
- consistent query answering
- datalog programs
- horn clauses
- data analysis
- np hard
- decision making
- data types