OWL Object Property domain/range 限制到同级类

Question

我想设计一个对象属性，它总是只在同一级别的类之间链接。例如，

我想限制属性isCounterPartOf为属于同一上层类的兄弟节点的弧，例如

house isCounterPartOf cars
bad isCounterPartOf good
slow isCounterPartOf fast

并且该属性不应在不同级别的类(具有不同祖先的类)之间链接，例如

cars isCounterPartOf bad
cars isCounterPartOf object
cars isCounterPartOf Entity

有没有办法只定义一个属性来做到这一点？

Answer 1

假设您的目标是 :isCounterPartOf 链接两个人，其中一个是例如的成员。 :Bad，那么另一个应该归类为:Good，不需要定义:isCounterPartOf的domain和range，就这样它是 owl:SymmetricProperty。你只需要定义你的类， :Bad 相当于 :isCounterPartOf some :Good 和 :Good 相当于 :isCounterPartOf some :Bad，并分别针对所有“成对”的类。

那么如果:

:A :isCounterPartOf :B

:C:isCounterPartOf:B

:A a :Slow

:C a :Bad

那么 :B 将被分类为 :Fast 和 :Good。

澄清(基于评论)

在上面的例子中，1. :isCouterPartOf 是一个对称对象属性:

:isCounterPartOf rdf:type owl:ObjectProperty ,
                          owl:SymmetricProperty .

1. :Good, :Bad, :Slow 和 :Fast 是 OWL 类，对于哪个:(不知道为什么代码格式不起作用)

   :错误的 rdf:type owl:Class ; owl:equivalentClass [ rdf:type owl:Restriction ; owl:onProperty:isCounterPartOf; owl:someValuesFrom:好 ] .

   :Fast rdf:type owl:Class ; owl:equivalentClass [ rdf:type owl:Restriction ; owl:onProperty:isCounterPartOf; 猫头鹰:someValuesFrom:慢 ] .

   :好的 rdf:type owl:Class ; owl:equivalentClass [ rdf:type owl:Restriction ; owl:onProperty:isCounterPartOf; owl:someValuesFrom:坏 ] .

   :慢 rdf:type owl:Class ; owl:equivalentClass [ rdf:type owl:Restriction ; owl:onProperty:isCounterPartOf; 猫头鹰:someValuesFrom:快 ] .

2. :A、:B 和 :C 是个体，据此断言:(同样，不知道为什么代码格式不起作用)

   :A rdf:type owl:NamedIndividual , :慢;

   :isCounterPartOf :B.

   :B rdf:type owl:NamedIndividual , 猫头鹰:东西。

   :C rdf:type owl:NamedIndividual , :不好;
   :isCounterPartOf :B 。

基于这些断言，当您运行推理器时，您将遇到以下情况:

:A rdf:type owl:NamedIndividual ,
            :Bad , #inferred
            :Slow ;

   :isCounterPartOf :B .

:B rdf:type owl:NamedIndividual ,
            :Fast , #inferred
            :Good , #inferred
            owl:Thing ;

   :isCounterPartOf :A , #inferred
                    :C . #inferred

:C rdf:type owl:NamedIndividual ,
            :Bad ,
            :Slow ; #inferred

   :isCounterPartOf :B .