Inconsistency-Tolerant First-Order Rewritability of DL-Lite with Identification and Denial Assertions.
Domenico LemboMaurizio LenzeriniRiccardo RosatiMarco RuzziDomenico Fabio SavoPublished in: Description Logics (2012)
Keyphrases
- description logics
- dl lite
- knowledge base
- unions of conjunctive queries
- conjunctive queries
- expressive power
- first order logic
- model theoretic
- reasoning tasks
- knowledge representation
- computational properties
- data complexity
- semantic web
- ontology based data access
- query answering
- np complete
- query language
- special case
- query rewriting
- query evaluation
- horn clauses
- incomplete information
- ontology languages
- response time