×

对包含隐藏内容的本体进行推理:逐查询导入方法。 (英语) Zbl 1280.68251号

摘要:目前,人们对隐藏被另一个本体(\mathcal K_v\)重用的本体(\mathcal K_h\)的签名部分的技术越来越感兴趣。为此,在本文中,我们提出了一个逐导入的查询框架,该框架使(mathcal K_h)的内容可以通过有限的查询接口访问。如果\(\mathcal K_v\)以某种受限的方式重用\(\mathcal K_ h\)中的符号,则可以通过仅访问\。我们勾画出了逐查询导入问题的前景。特别是,我们概述了我们的框架的局限性,并证明了对(mathcal K_h)的表示性以及(mathcar K_v)重用来自(mathcal-K_h\)的符号的方式的某些限制对于在我们的设置中启用推理是绝对必要的。我们还确定了可以进行推理的情况,并提出了合适的逐查询推理算法。

MSC公司:

68立方英尺 知识表示
PDF格式BibTeX公司 XML格式引用