0

在猫头鹰。

我知道如果

ObjectProperty AB

和

AB domain A

和

AB range B

和

A subClassOf AB something

那么推理者可以推断出

A subClassOf B

1- 这个推论背后的概念是什么？

2-是否有任何参考资料解释了推理器如何工作的整套规则，即推理器用于将隐式知识转化为显式知识的规则是什么？像上面例子中介绍的这个？

4

1 回答 1

1

这些推论背后的推理遵循此处概述的规则：http: //www.w3.org/TR/owl2-direct-semantics/#Object_Property_Expression_Axioms

于 2014-10-25T18:54:29.873 回答