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.
paper
ASP; axiom-pinpointing; consequence-based methods; Horn DLs; non-standard reasoning;
English
36th International Workshop on Description Logics, DL 2023 - September 2-4, 2023
2023
Kutz, O; Lutz, C; Osaki, A
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)
2023
3515
1
13
open
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.
File in questo prodotto:
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10281/456706
Citazioni
  • Scopus 1
  • ???jsp.display-item.citation.isi??? ND
Social impact