Rational Elimination of DL-Lite TBox Axioms.
Zhiqiang ZhuangZhe WangKewen WangGrigoris AntoniouPublished in: Description Logics (2014)
Keyphrases
- dl lite
- first order logic
- description logics
- knowledge base
- query answering
- expressive power
- data complexity
- computational properties
- computational complexity
- conjunctive queries
- theorem proving
- knowledge representation
- query rewriting
- reasoning tasks
- unions of conjunctive queries
- data exchange
- probabilistic reasoning
- model theoretic
- transitive closure
- horn clauses
- database
- incomplete information
- query evaluation
- expert systems
- semantic web