Research on inconsistency-tolerant query answering usually assumes that the terminological knowledge is correct, and only the facts (ABox) need to be repaired. In this paper we study the problem of answering instance queries over inconsistent ontologies, by repairing the whole knowledge base (KB). Contrary to ABox repairs, when KB repairs are considered, instance checking in DL-LiteHorn w.r.t. the brave semantics remains tractable, and the intersection semantics allow for an anytime algorithm. We also show that inconsistency-tolerant instance checking w.r.t. ABox repairs is intractable even if only polynomially many ABox repairs exist.
Peñaloza, R. (2017). Inconsistency-tolerant instance checking in tractable description logics. In Rules and Reasoning: International Joint Conference, RuleML+RR 2017, (pp.215-229). Springer Verlag [10.1007/978-3-319-61252-2_15].
Inconsistency-tolerant instance checking in tractable description logics
Peñaloza, R
2017
Abstract
Research on inconsistency-tolerant query answering usually assumes that the terminological knowledge is correct, and only the facts (ABox) need to be repaired. In this paper we study the problem of answering instance queries over inconsistent ontologies, by repairing the whole knowledge base (KB). Contrary to ABox repairs, when KB repairs are considered, instance checking in DL-LiteHorn w.r.t. the brave semantics remains tractable, and the intersection semantics allow for an anytime algorithm. We also show that inconsistency-tolerant instance checking w.r.t. ABox repairs is intractable even if only polynomially many ABox repairs exist.File | Dimensione | Formato | |
---|---|---|---|
Pena17.pdf
accesso aperto
Tipologia di allegato:
Submitted Version (Pre-print)
Dimensione
362.04 kB
Formato
Adobe PDF
|
362.04 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.