Scaling Out Sound and Complete Reasoning for Conjunctive Queries on OWL Knowledge Bases.
Sambhawa PriyaPublished in: DC@ISWC (2015)
Keyphrases
- mathcal shiq
- description logics
- conjunctive queries
- knowledge base
- dl lite
- knowledge representation
- query answering
- reasoning tasks
- query evaluation
- data complexity
- integrity constraints
- open world
- np complete
- query language
- query rewriting
- expert systems
- reasoning systems
- exptime complete
- computational properties
- special case
- query containment
- reasoning problems
- logic programming
- boolean expressions
- containment of conjunctive queries
- decision procedures
- semantic web
- data exchange
- model theoretic
- probabilistic databases
- relational queries
- automated reasoning
- pspace complete
- production rules
- unions of conjunctive queries
- theorem proving
- closed world
- satisfiability problem