Union and Intersection of all Justifications
Logic in Computer Science
2021-09-24 v1 Artificial Intelligence
Abstract
We present new algorithm for computing the union and intersection of all justifications for a given ontological consequence without first computing the set of all justifications. Through an empirical evaluation, we show that our approach works well in practice for expressive DLs. In particular, the union of all justifications can be computed much faster than with existing justification-enumeration approaches. We further discuss how to use these results to repair ontologies efficiently.
Cite
@article{arxiv.2109.11216,
title = {Union and Intersection of all Justifications},
author = {Jieying Chen and Yue Ma and Rafael Peñaloza and Hui Yang},
journal= {arXiv preprint arXiv:2109.11216},
year = {2021}
}