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 the subset-minimal subontologies that preserve a description logic consequence. We propose an approach that leverages the capabilities of answer set programming for transparent axiom pinpointing. We show how other associated tasks can be modelled without much additional effort.
Penaloza, R., Ricca, F. (2022). Pinpointing Axioms in Ontologies via ASP. In Logic Programming and Nonmonotonic Reasoning 16th International Conference, LPNMR 2022, Genova, Italy, September 5–9, 2022, Proceedings (pp.315-321). Springer Science and Business Media Deutschland GmbH [10.1007/978-3-031-15707-3_24].
Pinpointing Axioms in Ontologies via ASP
Penaloza R.;
2022
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 the subset-minimal subontologies that preserve a description logic consequence. We propose an approach that leverages the capabilities of answer set programming for transparent axiom pinpointing. We show how other associated tasks can be modelled without much additional effort.
| File | Dimensione | Formato | |
|---|---|---|---|
|
Penaloza-2022-LPNMR-preprint.pdf
accesso aperto
Descrizione: Intervento a convegno
Tipologia di allegato:
Submitted Version (Pre-print)
Dimensione
251.65 kB
Formato
Adobe PDF
|
251.65 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
