Logo des Repositoriums
 

Error-Tolerance and Error Management in Lightweight Description Logics

dc.contributor.authorPeñaloza, Rafael
dc.date.accessioned2021-04-23T09:36:46Z
dc.date.available2021-04-23T09:36:46Z
dc.date.issued2020
dc.description.abstractThe construction and maintenance of ontologies is an error-prone task. As such, it is not uncommon to detect unwanted or erroneous consequences in large-scale ontologies which are already deployed in production. While waiting for a corrected version, these ontologies should still be available for use in a “safe” manner, which avoids the known errors. At the same time, the knowledge engineer in charge of producing the new version requires support to explore only the potentially problematic axioms, and reduce the number of exploration steps. In this paper, we explore the problem of deriving meaningful consequences from ontologies which contain known errors. Our work extends the ideas from inconsistency-tolerant reasoning to allow for arbitrary entailments as errors, and allows for any part of the ontology (be it the terminological elements or the facts) to be the causes of the error. Our study shows that, with a few exceptions, tasks related to this kind of reasoning are intractable in general, even for very inexpressive description logics.de
dc.identifier.doi10.1007/s13218-020-00684-5
dc.identifier.pissn1610-1987
dc.identifier.urihttp://dx.doi.org/10.1007/s13218-020-00684-5
dc.identifier.urihttps://dl.gi.de/handle/20.500.12116/36337
dc.publisherSpringer
dc.relation.ispartofKI - Künstliche Intelligenz: Vol. 34, No. 4
dc.relation.ispartofseriesKI - Künstliche Intelligenz
dc.subjectDescription logics
dc.subjectError-tolerance
dc.subjectReasoning
dc.titleError-Tolerance and Error Management in Lightweight Description Logicsde
dc.typeText/Journal Article
gi.citation.endPage500
gi.citation.startPage491

Dateien