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

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 languageEnglish
Title of host publicationLogical Approaches to Handling Inconsistent Data (LINDA)
Number of pages7
Publication statusPublished - 24 Jul 2026
Peer-reviewedYes

Keywords