Login / Signup
Inconsistency-Tolerant First-Order Rewritability of DL-Lite with Identification and Denial Assertions.
Domenico Lembo
Maurizio Lenzerini
Riccardo Rosati
Marco Ruzzi
Domenico Fabio Savo
Published 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