在 OWL 中描述字符串文字的正确方法？

Question

对于以下 XSD：

<?xml version="1.0"?>
<xs:schema xmlns:xs="http://www.w3.org/2001/XMLSchema" attributeFormDefault="unqualified" elementFormDefault="qualified">
<xs:simpleType name="size">
  <xs:restriction base="xs:string">
    <xs:enumeration value="small" />
    <xs:enumeration value="medium" />
    <xs:enumeration value="large" />
  </xs:restriction>
</xs:simpleType>

<xs:complexType name="jeans">
  <xs:simpleContent>
    <xs:extension base="size">
      <xs:attribute name="sex">
        <xs:simpleType>
          <xs:restriction base="xs:string">
            <xs:enumeration value="male" />
            <xs:enumeration value="female" />
          </xs:restriction>
        </xs:simpleType>
      </xs:attribute>
    </xs:extension>
  </xs:simpleContent>
</xs:complexType>

</xs:schema> 

我想将 xs:enumeration 转换为 owl。我只找到了一种方法：

将字符串文字转换为 owl:Class：

:Class_2
      a       owl:Class ;
      rdfs:subClassOf dtype:EnumeratedValue ;
      rdfs:subClassOf
              [ a       owl:Restriction ;
                owl:maxCardinality "1"^^xsd:int ;
                owl:onProperty dtype:hasValue
              ] ;
      rdfs:subClassOf
              [ a       owl:Restriction ;
                owl:allValuesFrom xsd:string ;
                owl:onProperty dtype:hasValue
              ] ;
      owl:oneOf (:Class_2_male :Class_2_female) .

:Class_2_female
      a       :Class_2 ;
      dtype:hasValue "female"^^xsd:string .

但我不喜欢这种方式。文字看起来很像常量。owl:Class 可以有许多实例。有没有办法在 OWL 中表示常量？结果可能如下所示：

<Constant rdf:abot="#female" rdf:type="http://www.w3.org/2001/XMLSchema#string">female</Constant>

这个问题可以改写：如何在 OWL 中描述纯字符串文字？

Answer 1

在 OWL 中，一切都是一个常数。事物（个体）是常量 IRI，对象属性将它们与其他个体相关联（更恒定的 IRI），数据类型属性将它们与字符串和数字等文字相关联。当您想要执行此类限制时，您可以创建任一类型的枚举。如果您想保留您拥有的 XSD 模式的意图，您可能需要使用文字枚举。

文字枚举

（我也在我对Protégé 中枚举的数据范围表达式的回答中对此进行了描述。）在 OWL 中，您可以在指定数据类型属性的范围时使用文字枚举。例如，在 Protege 中，您可以使用曼彻斯特语法并指定hasSex属性的范围是{"male", "female"}：

本体的 RDF 映射的 Turtle 序列化如下所示：

@prefix :      <https://stackoverflow.com/q/36008786/1281433/> .
@prefix rdf:   <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix owl:   <http://www.w3.org/2002/07/owl#> .
@prefix xsd:   <http://www.w3.org/2001/XMLSchema#> .
@prefix rdfs:  <http://www.w3.org/2000/01/rdf-schema#> .

:hasSex  a          owl:DatatypeProperty ;
        rdfs:range  [ a          rdfs:Datatype ;
                      owl:oneOf  [ a          rdf:List ;
                                   rdf:first  "female" ;
                                   rdf:rest   [ a          rdf:List ;
                                                rdf:first  "male" ;
                                                rdf:rest   ()

                                              ]
                                 ]
                    ] .

个人列举

当然，您可能还想使用个人作为枚举常量。你也可以那样做。在这种情况下，您有几个选择。在一种情况下，您可能有一个真正是一组已定义个体的类，在这种情况下，您可能需要类似的东西：

在 Turtle 中，这看起来像：

@prefix :      <https://stackoverflow.com/q/36008786/1281433/> .
@prefix rdf:   <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix owl:   <http://www.w3.org/2002/07/owl#> .
@prefix xsd:   <http://www.w3.org/2001/XMLSchema#> .
@prefix rdfs:  <http://www.w3.org/2000/01/rdf-schema#> .

:Medium  a      owl:NamedIndividual , :Size .

:Small  a       owl:NamedIndividual , :Size .

:Large  a       owl:NamedIndividual , :Size .

:Size   a                    owl:Class ;
        owl:equivalentClass  [ a          owl:Class ;
                               owl:oneOf  ( :Medium :Large :Small )
                             ] .

如果你只是想指定属性的范围，但是，你不具备建立相应的枚举类。你可以做和我们做文字枚举一样的事情，只是声明属性的范围是一个枚举。例如，您可以说hasModerateSize的范围是{Small, Medium}，而无需事先将某个类定义为等效于{Small, Medium}。

有关的

另见：

• 使用值列表对 OWL 数据类型属性限制进行建模这个问题的答案有一些关于您是要选择文字还是个人的附加评论。如果你选择文字，那么你不能对它们说什么，而如果你选择个人，你可以。
• Protégé 中枚举的数据范围表达式这只是枚举文字的另一个示例。
• 在 Protege 中为个人定义属性值时使用枚举数据类型枚举项需要是个人而不是文字的示例。