owl:hasValue 的含义？

Question

owl:hasValue 限制的含义是什么，它与owl:allValuesFrom 和owl:someValuesFrom 有何不同？

在一个本体中，我想写一个公理说：“每个拥有文凭的人都是有文化的。” 这个怎么写？

Answer 1

不同类型的限制类

考虑一个个体 x、一个类 C、一个属性 P 和另一个个体 y。然后是一些听起来你关心的类表达式：

someValuesFrom

一个个体 x 是类 ∃P.C 的一个元素，如果 some 个体 y 使得 P(x,y) 是 C 的一个元素。在曼彻斯特语法中，∃P.C 写成“P一些 C”。

allValuesFrom

一个个体 x 是类 ∀P.C 的一个元素，如果 every 每个个体 y 使得 P(x,y) 是 C 的一个元素。在曼彻斯特语法中，∀P.C 写成“P只有 C”。

有值

如果是 P(x,y)，则单个 x 是 class=P.y 的一个元素。在曼彻斯特语法中，=P.y 写成“P 值 y”。

数据类型属性和对象属性的版本

在 OWL 中，存在将个体与个体相关联的对象属性，以及将个体与文字相关联的数据类型属性。因此，OWL 实际上对上面列出的每种构造都有两种类型的限制：一种用于对象属性，另一种用于数据属性。每一个的含义都在OWL 2 Web Ontology Language Direct Semantics (Second Edition) 推荐的2.2.3 Class Expressions 中正式列出。

文凭公理

要编写一个 OWL 公理来表达“每个有文凭的人都是有文化的”，你需要：

• LiterateThing、Person、Diploma 类
• 一个属性有文凭

公理是

(人 ⊓ ∃hasDiploma.Diploma) ⊑识字的东西

这就是说，如果一个人是一个人，并且有一些文凭，那么他们就是识字的。在 OWL 的 RDF 序列化中（您将开始看到您提到的限制类），这看起来像在 Protégé OWL 编辑器和 RDF/XML 中：

<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns="http://example.org/literacy#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
    xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#">
  <owl:Ontology rdf:about="http://example.org/literacy"/>
  <owl:Class>
    <rdfs:subClassOf>
      <owl:Class rdf:about="http://example.org/literacy#LiterateThing"/>
    </rdfs:subClassOf>
    <owl:intersectionOf rdf:parseType="Collection">
      <owl:Class rdf:about="http://example.org/literacy#Person"/>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="http://example.org/literacy#hasDiploma"/>
        </owl:onProperty>
        <owl:someValuesFrom>
          <owl:Class rdf:about="http://example.org/literacy#Diploma"/>
        </owl:someValuesFrom>
      </owl:Restriction>
    </owl:intersectionOf>
  </owl:Class>
</rdf:RDF>