如何根据 owl:symmetricProperty、rdfs:subPropertyOf 和 rdfs:subClassOf 来定义 owl:equivalentClass？
How can owl:equivalentClass be defined in terms of owl:symmetricProperty, rdfs:subPropertyOf, and rdfs:subClassOf?
在看书的过程中Semantic Web for the Working Ontologist我遇到了一个我无法理解的例子。
owl:equivalenceClass 可以用这两个三元组来定义：
owl:equivalentClass rdf:type owl:symmetricProperty.
owl:equivalentClass rdfs:subPropertyOf rdfs:subClassOf.
我可以帮助理解这一点。
第一个三元组说如果 属性 P 是 owl:symmetricProperty 那么我们可以推断出三元组 P owl:inverseOf P.
第二个三元组说，如果 属性 P 是 Q 的子属性，那么从 A P B 我们可以推断出 A Q B.
如果 class C 是 D 的子 class，那么从 x rdf:type C 我们可以推断出 x rdf:type D。
现在让我们把它们放在一起 owl:equivalentClass:
因为 owl:equivalentClass 是一个 rdfs:subPropertyOf rdfs:subClassOf 那么只要我们有 A owl:equivalentClass B 我们就可以推断出 A subClassOf B，并且因为 owl:equivalentClass 是一个symmetricProperty 我们也可以推断 B subClassOf A.
在看书的过程中Semantic Web for the Working Ontologist我遇到了一个我无法理解的例子。
owl:equivalenceClass 可以用这两个三元组来定义：
owl:equivalentClass rdf:type owl:symmetricProperty.
owl:equivalentClass rdfs:subPropertyOf rdfs:subClassOf.
我可以帮助理解这一点。
第一个三元组说如果 属性 P 是 owl:symmetricProperty 那么我们可以推断出三元组 P owl:inverseOf P.
第二个三元组说，如果 属性 P 是 Q 的子属性，那么从 A P B 我们可以推断出 A Q B.
如果 class C 是 D 的子 class，那么从 x rdf:type C 我们可以推断出 x rdf:type D。
现在让我们把它们放在一起 owl:equivalentClass:
因为 owl:equivalentClass 是一个 rdfs:subPropertyOf rdfs:subClassOf 那么只要我们有 A owl:equivalentClass B 我们就可以推断出 A subClassOf B，并且因为 owl:equivalentClass 是一个symmetricProperty 我们也可以推断 B subClassOf A.