owl的意思是:是否有值?

本文介绍了owl的意思是:是否有值?的处理方法，对大家解决问题具有一定的参考价值，需要的朋友们下面随着小编来一起学习吧！

问题描述

owl:hasValue限制的含义是什么，它与owl:allValuesFrom和owl:someValuesFrom有什么区别?

What is the meaning of an owl:hasValue restriction, and how is it different from owl:allValuesFrom and owl:someValuesFrom?

在本体中，我想写一个公理说:每个拥有文凭的机构都是有文化的."我该怎么写?

In an ontology, I want to write an axiom that says, "Every body that has a diploma is literate."How can I write this?

不同类型的限制类

考虑一个单独的x，一个类C，一个属性P和另一个单独的y.然后，有一些听起来像您在担心的类表达式:

Different types of restriction classes

Consider an individual x, a class C, a property P, and another individual y. Then there are a few class expressions that it sounds like you're concerned with:

如果 some 个体y使得P(x，y)是C的元素，则个体x是∃ PC类的元素.在曼彻斯特语法中，∃ PC表示为"P some C".

An individual x is an element of the class ∃P.C if some individual y such that P(x,y) is an element of C. In Manchester syntax, ∃P.C is written as "P some C".

如果每个个体y every 使得P(x，y)是C的元素，则单个x是∀ PC类的元素.在曼彻斯特语法中，∀ PC表示为仅P，C".

An individual x is an element of the class ∀P.C if every every individual y such that P(x,y) is an element of C. In Manchester syntax ∀P.C is written as "P only C".

如果是P(x，y)，则单个x是= P.y类的元素.在曼彻斯特语法中，= P.y表示为"P值y".

An individual x is an element of the class =P.y if it's the case that P(x,y). In Manchester syntax =P.y is written as "P value y".

在OWL中，存在将个人与个人相关联的对象属性，以及将个人与文字相关联的数据类型属性.因此，OWL实际上对上面列出的每种构造都有两种类型的限制:一种是对象属性，另一种是数据属性.每种方法的含义都在 2.2中正式列出. .3 OWL 2 Web本体语言直接语义(第二版)的类表达式 )推荐.

In OWL, there are object properties that relate individuals to individuals, and datatype properties that relate individuals to literals. As a result, OWL actually has two types of restrictions for each of the constructions listed above: one for object properties and one for data properties. The meaning of each of these is laid out formally in 2.2.3 Class Expressions of the OWL 2 Web Ontology Language Direct Semantics (Second Edition) recommendation.

要写一个表示每个有文凭的人都是文化素养"的OWL公理，您需要:

To write an OWL axiom expressing "every person that has a diploma is literate," you'd need:

LiterateThing ， Person ，文凭
财产具有文凭

the classes LiterateThing, Person, Diploma
a property hasDiploma

公理将是

这表示，如果一个人是一个人，并且拥有一定的文凭，那么他们是有文化的.在OWL的RDF序列化中(这是您开始看到的限制类的地方)，就像在ProtégéOWL编辑器和RDF/XML中一样:

This says that if an individual is a person, and has some diploma, then they are literate. In the RDF serialization of OWL (which is where you'd start to see the restriction classes like you mentioned), this looks like in the Protégé OWL editor, and in 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>

这篇关于owl的意思是:是否有值?的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持！

OWL