Axiom pinpointing is the task of identifying the axiomatic causes for a consequence to follow from an ontology. Different approaches have been proposed in the literature for finding one or all justifications: the subset-minimal subontologies that preserve a description logic consequence. We propose an approach that leverages the capabilities of answer set programming - through minimal unsatisfiable subset enumeration - for transparent axiom pinpointing. Our approach is general in that it allows one to seamlessly specify the ontology and the reasoning rules, thus being applicable to different logics without modification to the core method. We showcase this generality by introducing methods for ϵL and for Horn-ALC, and explaining how to apply it to other logics. A preliminary experiment shows the practicality of the approach.
Huitzil, I., Mazzotta, G., Penaloza, R., Ricca, F. (2023). ASP-based Axiom Pinpointing for Description Logics. In Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023) (pp.1-13). CEUR-WS.
ASP-based Axiom Pinpointing for Description Logics
Huitzil I.;Penaloza R.;
2023
Abstract
Axiom pinpointing is the task of identifying the axiomatic causes for a consequence to follow from an ontology. Different approaches have been proposed in the literature for finding one or all justifications: the subset-minimal subontologies that preserve a description logic consequence. We propose an approach that leverages the capabilities of answer set programming - through minimal unsatisfiable subset enumeration - for transparent axiom pinpointing. Our approach is general in that it allows one to seamlessly specify the ontology and the reasoning rules, thus being applicable to different logics without modification to the core method. We showcase this generality by introducing methods for ϵL and for Horn-ALC, and explaining how to apply it to other logics. A preliminary experiment shows the practicality of the approach.File | Dimensione | Formato | |
---|---|---|---|
Huitzil-2023-DL-VoR.pdf
accesso aperto
Tipologia di allegato:
Publisher’s Version (Version of Record, VoR)
Licenza:
Creative Commons
Dimensione
742.36 kB
Formato
Adobe PDF
|
742.36 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.