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。我发现只有一种方法可以做到：

将字符串文字转换为猫头鹰：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中表示常量？结果可能如下所示：

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

问题可以改写：如何在OWL中描述普通的字符串文字？

Answer 1

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

文字枚举

（我在对Data range expression for an enumeration in 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} 事先。

相关

另见：

Modelling OWL datatype property restrictions with a list of values这个问题的答案对你是否想要选择文字或个人有一些额外的评论。如果你选择文字，那么你就不能说出任何关于它们的内容，而如果你选择个人，你就可以。
Data range expression for an enumeration in Protégé这只是枚举文字的另一个例子。
Using enumerated data type in defining property value for individual in Protege枚举项需要是个人而不是文字的示例。

Answer 2

文字是OWL中的常量。核心问题是如何将XML模式转换为OWL，并且翻译并不总是直截了当。在存在枚举值的情况下，我建议创建一个类和枚举实例列表。因此，请对您的模型进行以下编辑：

:GenderClass
    a       owl:Class ;
    rdfs:subClassOf
          [ a       owl:Restriction ;
            owl:maxCardinality "1"^^xsd:int ;
            owl:onProperty :gender
          ] ;
    owl:oneOf (:Class_2_male :Class_2_female) .
:Class_2_male
    a       :GenderClass ;
    rdfs:label "male"^^xsd:string .
:Class_2_female ;
    a       :GenderClass ;
    rdfs:label "female"^^xsd:string .
:gender
    a       owl:ObjectProperty ;
    rdfs:range :GenderClass .

然后可以使用：gender predicate：

创建实例

:Person1
    a       :Person ;
    :gender :Class_2_female .

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

2 个答案:

文字枚举

个人名单

相关