Communication Dans Un Congrès Année : 2022

Union and Intersection of All Justifications

Résumé

We present new algorithms for computing the union and intersection of all justifications for a given ontological consequence without first computing the set of all justifications. Our goal is to use these sets to explain the consequences and, if needed, repair them. Through an empirical evaluation, we show that our approach behaves well in practice for expressive description logics. In particular, the union of all justifications can be computed much faster than with existing justification-enumeration approaches.

Dates et versions

hal-04247200 , version 1 (18-10-2023)

Identifiants

Citer

Jieying Chen, Yue Ma, Rafael Peñaloza, Hui Yang. Union and Intersection of All Justifications. European Semantic Web Conference, May 2022, Hersonissos, Greece. pp.56-73, ⟨10.1007/978-3-031-06981-9_4⟩. ⟨hal-04247200⟩
91 Consultations
0 Téléchargements

Altmetric

Partager

  • More