Conjunctive Query Inseparability of OWL 2 QL TBoxes.
Boris KonevRoman KontchakovMichel LudwigThomas SchneiderFrank WolterMichael ZakharyaschevPublished in: AAAI (2011)
Keyphrases
- conjunctive queries
- model theoretic
- description logics
- ontology languages
- query language
- decision procedures
- dl lite
- data complexity
- query evaluation
- owl dl
- deductive databases
- query answering
- integrity constraints
- semantic web
- owl ontologies
- knowledge base
- knowledge representation
- reasoning problems
- expressive power
- data model
- np complete
- relational database theory
- query containment
- data exchange
- query rewriting
- database
- modal logic
- automated reasoning
- transitive closure
- acyclic conjunctive queries
- special case
- fixpoint
- operational semantics
- theorem proving
- bounded treewidth
- complex objects
- object oriented
- databases
- conjunctive query containment
- default reasoning
- probabilistic reasoning
- relational algebra
- data management