Errors Need Not Show Up as Inconsistencies: From Error-Tolerant Reasoning to Argumentation Frameworks
Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review
Contributors
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 $EL$, 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 $EL$ KBs.
Details
| Original language | English |
|---|---|
| Title of host publication | Logical Approaches to Handling Inconsistent Data (LINDA) |
| Number of pages | 7 |
| Publication status | Published - 24 Jul 2026 |
| Peer-reviewed | Yes |