Optimal Repairs in the Description Logic Revisited
Abstract Ontologies based on Description Logics may contain errors, which are usually
detected when reasoning produces consequences that follow from the ontology, but do not …
detected when reasoning produces consequences that follow from the ontology, but do not …
Error-Tolerant Reasoning in the Description Logic Based on Optimal Repairs
Abstract Ontologies based on Description Logic (DL) represent general background
knowledge in a terminology (TBox) and the actual data in an ABox. Both human-made and …
knowledge in a terminology (TBox) and the actual data in an ABox. Both human-made and …
Treating role assertions as first-class citizens in repair and error-tolerant reasoning
Errors in Description Logic (DL) ontologies are often detected when reasoning yields
unintuitive consequences. The question is then how to repair the ontology in an optimal way …
unintuitive consequences. The question is then how to repair the ontology in an optimal way …
Inconsistency-and Error-Tolerant Reasoning wrt Optimal Repairs of Ontologies
Errors in knowledge bases (KBs) written in a Description Logic (DL) are usually detected
when reasoning derives an inconsistency or a consequence that does not hold in the …
when reasoning derives an inconsistency or a consequence that does not hold in the …