Lean kernels (LKs) are an effective optimization for deriving the causes of unsatisfiability of a propositional formula. Interestingly, no analogous notion exists for explaining consequences of description logic (DL) ontologies. We introduce LKs for DLs using a general notion of consequence-based methods, and provide an algorithm for computing them which incurs in only a linear time overhead. As an example, we instantiate our framework to the DL ALC. We prove formally and empirically that LKs provide a tighter approximation of the set of relevant axioms for a consequence than syntactic locality-based modules.

Peñaloza, R., Mencía, C., Ignatiev, A., Marques-Silva, J. (2017). Lean kernels in description logics. In Proceedings of the 14th International Semantic Web Conference (ESWC 2017). Part I (pp.518-533). Springer Verlag [10.1007/978-3-319-58068-5_32].

Lean kernels in description logics

Peñaloza, R
;
2017

Abstract

Lean kernels (LKs) are an effective optimization for deriving the causes of unsatisfiability of a propositional formula. Interestingly, no analogous notion exists for explaining consequences of description logic (DL) ontologies. We introduce LKs for DLs using a general notion of consequence-based methods, and provide an algorithm for computing them which incurs in only a linear time overhead. As an example, we instantiate our framework to the DL ALC. We prove formally and empirically that LKs provide a tighter approximation of the set of relevant axioms for a consequence than syntactic locality-based modules.
paper
axiom pinpointing, description logics, lean kernels
English
International Semantic Web Conference (ESWC 2017)
2017
Blomqvist E;Maynard D;Gangemi A;Hoekstra R;Hitzler P;Hartig O
Proceedings of the 14th International Semantic Web Conference (ESWC 2017). Part I
9783319580678
2017
10249
518
533
open
Peñaloza, R., Mencía, C., Ignatiev, A., Marques-Silva, J. (2017). Lean kernels in description logics. In Proceedings of the 14th International Semantic Web Conference (ESWC 2017). Part I (pp.518-533). Springer Verlag [10.1007/978-3-319-58068-5_32].
File in questo prodotto:
File Dimensione Formato  
Peñaloza-2017-ESWC-AAM.pdf

accesso aperto

Descrizione: Conference Paper
Tipologia di allegato: Author’s Accepted Manuscript, AAM (Post-print)
Licenza: Altro
Dimensione 485.99 kB
Formato Adobe PDF
485.99 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/256929
Citazioni
  • Scopus 9
  • ???jsp.display-item.citation.isi??? 7
Social impact