|
|
1
1
是的,这是可能的。我想你要找的就是这里 http://www.w3.org/TR/owl2-syntax/#Object_Property_Restrictions 因此,在排序中,您表示的是OWL完全支持的层次结构。 |
|
|
2
0
你可以写出如下公理:
等等,而不限制要定义的级别的数量。推理器将能够回答这样的问题:是C的子类吗?通过遵循层次结构。 当然,还有更复杂的层次安排方式,例如Jinal提到的对象属性限制。 |