在protege5.0中定义类与类之间的关系。

Question

我正在使用protege工具构建我的本体，我已经定义了我的类和个体。现在，我想添加类之间的关系。但是，我读到。

对象属性定义实例之间的关系，但在OWL中，我们可以使用限制来定义类之间的关系。

你能不能帮忙举一些例子来理解？

我的问题：我有 class1 和 class2 我需要在这些类之间建立一个 "相反的 "关系，你能帮忙吗？

Answer 1

下面是一些步骤，你可以遵循。

(1) 创建类 Class1 和 Class2.

<owl:Class rdf:about="http://henrietteharmse.com/tutorial/DomainRangeExample#Class1"/>
<owl:Class rdf:about="http://henrietteharmse.com/tutorial/DomainRangeExample#Class2"/> 

(2)定义一个对象属性，比如说。related 带域 Class1 和范围 Class2:

<owl:ObjectProperty rdf:about="http://henrietteharmse.com/tutorial/DomainRangeExample#related">
    <rdfs:domain rdf:resource="http://henrietteharmse.com/tutorial/DomainRangeExample#Class1"/>
    <rdfs:range rdf:resource="http://henrietteharmse.com/tutorial/DomainRangeExample#Class2"/>
</owl:ObjectProperty>

解释这说明，如果个人 a 与个人有关 b 通过对象属性 related 然后 a 将被假定为类型为 Class1 和 b 将被假定为类型为 Class2.

(3)定义另一个对象属性，如 inverseRelated的倒数，即 related:

<owl:ObjectProperty rdf:about="http://henrietteharmse.com/tutorial/DomainRangeExample#inverseRelated">
    <owl:inverseOf rdf:resource="http://henrietteharmse.com/tutorial/DomainRangeExample#related"/>
</owl:ObjectProperty>

解释这说明，如果个人 a 与个人有关 b 通过对象属性 inverseRelated 然后 a 将被假定为类型为 Class2 和 b 将被假定为类型为 Class1.

(4)定义2个人，如 individual1 和 individual2 与 individual1 到 individual2 经由 inverseRelated 对象属性。

<owl:NamedIndividual rdf:about="http://henrietteharmse.com/tutorial/DomainRangeExample#individual1">
    <DomainRangeExample:inverseRelated rdf:resource="http://henrietteharmse.com/tutorial/DomainRangeExample#individual2"/>
</owl:NamedIndividual>
<owl:NamedIndividual rdf:about="http://henrietteharmse.com/tutorial/DomainRangeExample#individual2"/>

(5) 如果你现在在你的本体上运行一个推理器(即在Protege中)，你会看到 individual1 被推断为属于 Class2 和 individual2 属于 Class1.

Answer 2

考虑A类和B类（我使用的是海龟语法）。

:A rdf:type owl:Class .
:B rdf:type owl:Class .

你可以定义A和B是不相干的（类与类之间的关系），这意味着如果一个元素是其中之一，它就不能在另一个元素中。

:A owl:disjointWith :B .

例如，如果你查询。

not B

你会得到类 A. 它对个人也有作用。