所有对正的并集和交集
Union and Intersection of all Justifications
SIRIUS, Department of Information, University of Oslo（奥斯陆大学信息系SIRIUS）；LISN, Univ. Paris-Sud, CNRS, Université Paris-Saclay（巴黎萨克雷大学巴黎-南大学LISN实验室（法国国家科学研究中心））；University of Milano-Bicocca（米兰比可卡大学）
摘要：
我们提出了一种新的算法，用于计算一个给定的本体论结果的所有理由的并集和交集，而无需首先计算所有理由的集合。通过实证评估，我们表明，我们的方法在实践中表现良好的DL。特别是，所有理由的联合计算速度比现有的理由枚举方法快得多。我们进一步讨论如何使用这些结果来修复本体有效。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
