语义引导的 $\mathcal{SHI}$ ABox 演化
计算机科学中的逻辑
2014-05-07 v1
摘要
本文提出了一种基于知识库编译技术的 ABox 演化方法。在此方法中，ABox 被视为接近模型的 TBox 解释。研究表明，ABox 可用于语义引导的变换，从而生成一个等可满足的知识库。我们利用该变换的结果高效地从 ABox 中删除断言。此外，本文还探讨了断言的插入以及不一致 ABox 的修复问题。对于计算删除、插入和修复所需的动作，使用了 E-KRHyper 定理证明器。
引用
@article{arxiv.1405.1192,
title = {Semantically Guided Evolution of $\mathcal{SHI}$ ABoxes},
author = {Ulrich Furbach and Claudia Schon},
journal= {arXiv preprint arXiv:1405.1192},
year = {2014}
}