基于查询导入的本体推理：隐藏内容下的推理方法
人工智能
2014-01-24 v1 计算机科学中的逻辑
摘要
当前，人们对隐藏本体 Kh 部分签名（该本体正被另一本体 Kv 重用）的技术日益感兴趣。为此目标，本文提出 import-by-query 框架，该框架通过受限的查询接口使 Kh 的内容可被访问。如果 Kv 以某种受限方式重用 Kh 中的符号，则仅通过访问 Kv 和查询接口即可对 Kv ∪ Kh 进行推理。我们描绘了 import-by-query 问题的全景。特别地，我们概述了该框架的局限性，并证明对 Kh 的表达能力以及 Kv 重用 Kh 符号的方式施加特定限制，对于在我们的设定下实现推理是严格必要的。我们还识别出推理可行的情形，并给出合适的 import-by-query 推理算法。
引用
@article{arxiv.1401.5853,
title = {Reasoning over Ontologies with Hidden Content: The Import-by-Query Approach},
author = {Bernardo Cuenca Grau and Boris Motik},
journal= {arXiv preprint arXiv:1401.5853},
year = {2014}
}