推理使用的规则是什么

Question

在OWL。

我知道如果

ObjectProperty AB

和

AB domain A

和

AB range B

和

A subClassOf AB something

然后推理者可以推断出

A subClassOf B

1-这种推断背后的概念是什么？

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

Answer 1

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