结合本体、对应关系与链接关系：E-SHIQ 表示框架
人工智能
2013-10-10 v1
摘要
在分布式环境中结合自主对等体的知识与信念是一项主要挑战。本文考虑了那些结合本体并基于其耦合知识进行联合推理的对等体。这些本体属于描述逻辑的 SHIQ 片段。尽管存在多种用于模块化描述逻辑的表示框架，但每种框架都对对等体知识的主观性、本体解释域之间的关系、用于结合知识的构造子的表达能力以及对等体共享知识的方式做出了关键假设。然而，在自主对等体能够独立于其他对等体演化和扩展其知识与信念的设置中，这些假设可能不再成立。在本文中，我们论证了需要一种表示框架，该框架允许对等体以多种方式结合其知识，同时保持其自身知识与信念的主观性，并能够协同推理，共同构建一个分布于它们之间的表。本文提出了所建议的 E-SHIQ 表示框架，介绍了 E-SHIQ 分布式表推理机的实现，并讨论了该推理机的效率。
引用
@article{arxiv.1310.2493,
title = {Combining Ontologies with Correspondences and Link Relations: The E-SHIQ Representation Framework},
author = {George A. Vouros and Georgios Santipantakis},
journal= {arXiv preprint arXiv:1310.2493},
year = {2013}
}