The classical approach for repairing a Description Logic ontology O in the sense of removing an unwanted consequence a is to delete a minimal number of axioms from O such that the resulting ontology O0 does not have the consequence a. However, the complete deletion of axioms may be too rough, in the sense that it may also remove consequences that are actually wanted. To alleviate this problem, we propose a more gentle notion of repair in which axioms are not deleted, but only weakened. On the one hand, we investigate general properties of this gentle repair method. On the other hand, we propose and analyze concrete approaches for weakening axioms expressed in the Description Logic EL.
Baader, F., Kriegel, F., Nuradiansyah, A., Penaloza Nyssen, R. (2018). Making Repairs in Description Logics More Gentle. In Proceedings of the Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2018) (pp.319-328). Thielscher, M; Toni, F; Wolter, F.
Making Repairs in Description Logics More Gentle
Penaloza Nyssen, R
2018
Abstract
The classical approach for repairing a Description Logic ontology O in the sense of removing an unwanted consequence a is to delete a minimal number of axioms from O such that the resulting ontology O0 does not have the consequence a. However, the complete deletion of axioms may be too rough, in the sense that it may also remove consequences that are actually wanted. To alleviate this problem, we propose a more gentle notion of repair in which axioms are not deleted, but only weakened. On the one hand, we investigate general properties of this gentle repair method. On the other hand, we propose and analyze concrete approaches for weakening axioms expressed in the Description Logic EL.File | Dimensione | Formato | |
---|---|---|---|
18056-78653-1-PB.pdf
accesso aperto
Tipologia di allegato:
Publisher’s Version (Version of Record, VoR)
Dimensione
599.42 kB
Formato
Adobe PDF
|
599.42 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.