Axiom pinpointing refers to the task of highlighting (or pinpointing) the axioms in an ontology that are responsible for a given consequence to follow. This is a fundamental task for understanding and debugging very large ontologies. Although the name axiom pinpointing was only coined in 2003, the problem itself has a much older history, even if considering only description logic ontologies. In this work, we try to explain axiom pinpointing: what it is; how it works; how it is solved; and what it is useful for. To answer this questions, we take a historic look at the field, focusing mainly on description logics, and the specific contributions stemming from one researcher, who started it all in more than one sense.
Penaloza, R. (2019). Explaining Axiom Pinpointing. In C. Lutz, U. Sattler, C. Tinelli, A.Y. Turhan, F. Wolter (a cura di), Description Logic, Theory Combination, and All That (pp. 475-496). Springer Verlag [10.1007/978-3-030-22102-7_22].
Explaining Axiom Pinpointing
Penaloza, R
2019
Abstract
Axiom pinpointing refers to the task of highlighting (or pinpointing) the axioms in an ontology that are responsible for a given consequence to follow. This is a fundamental task for understanding and debugging very large ontologies. Although the name axiom pinpointing was only coined in 2003, the problem itself has a much older history, even if considering only description logic ontologies. In this work, we try to explain axiom pinpointing: what it is; how it works; how it is solved; and what it is useful for. To answer this questions, we take a historic look at the field, focusing mainly on description logics, and the specific contributions stemming from one researcher, who started it all in more than one sense.File | Dimensione | Formato | |
---|---|---|---|
Penaloza-2019-Description Logic-AAM.pdf
Solo gestori archivio
Descrizione: Contributo in libro
Tipologia di allegato:
Author’s Accepted Manuscript, AAM (Post-print)
Licenza:
Tutti i diritti riservati
Dimensione
329.46 kB
Formato
Adobe PDF
|
329.46 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.