Errors Need Not Show Up as Inconsistencies: From Error-Tolerant Reasoning to Argumentation Frameworks
Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Beitragende
Abstract
Description logic (DL) knowledge bases (KBs) built by hand or (semi)automatically using machine learning or information retrieval tools may contain errors, often detected when reasoning derives an inconsistency. However, not all errors cause an inconsistency. Such errors may be noticed when reasoning produces a consequence that follows from the KB, but does not hold in the application domain modelled by the KB. In fact, some applicationrelevant DL KBs such as the large medical ontology SNOMED CT are written in DL dialects, like ℰℒ, that cannot even express inconsistencies. Eliminating an inconsistency or an unwanted consequence by removing a minimal amount of information from the KB is usually called repair in the DL literature. Instead of producing a single new KB as a repair, inconsistency-tolerant reasoning takes all repairs of a detected inconsistency into account, e.g., by producing consequences that follow from all repairs or from some repair. This notion can be extended to repairs that remove an unwanted consequence, in which case it is called error-tolerant reasoning. This paper shows in an exemplary way how results for inconsistency-tolerant reasoning can be transferred to error-tolerant reasoning. To this purpose, it generalizes an existing approach connecting inconsistency-tolerant reasoning over prioritized DL-Lite KBs and argumentation frameworks to the setting of error-tolerant reasoning for ℰℒ KBs.
Details
| Originalsprache | Englisch |
|---|---|
| Titel | Logical Approaches to Handling Inconsistent Data (LINDA) |
| Seitenumfang | 7 |
| Publikationsstatus | Veröffentlicht - 24 Juli 2026 |
| Peer-Review-Status | Ja |