Rdf 在OWL中定义数据属性的基数

是否可以在OWL中定义数据属性的基数？

---

例如，考虑具有数据属性“Age”的类“Person”，是否有方法声明数据属性“Age”必须具有单个值

使用对象属性（DL和曼彻斯特语法）的公理：

人员和SQQ子部分=1.hasAge
Person子类hasAge确切地说1

这里有一个小本体，其中包含这样的公理：

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

:Person  a               owl:Class ;
        rdfs:subClassOf  [ a                owl:Restriction ;
                           owl:cardinality  "1"^^xsd:nonNegativeInteger ;
                           owl:onProperty   :hasAge
                         ] .

<http://stackoverflow.com/q/24188632/1281433/people-have-exactly-one-age>
        a       owl:Ontology .

:hasAge  a      owl:DatatypeProperty .

@前缀：。
@前缀owl:。
@前缀rdf:。
@前缀xsd:。
@前缀rdfs:。
：人猫头鹰：类；
rdfs:子类[a owl:限制；
owl:基数“1”^^xsd:非负整数；
owl:onProperty:hasAge
] .
猫头鹰：本体论。
：hasAge一个owl:DatatypeProperty。

---

在某些情况下，使用数据类型属性的精确基数限制实际上比使用对象属性更方便，因为推理器（应该能够）识别文本之间的不平等性（例如，2≠ 3和“foo”≠ “bar”），而个人可以有多个名称。

使用对象属性（DL和曼彻斯特语法）的公理：

人员和SQQ子部分=1.hasAge
Person子类hasAge确切地说1

这里有一个小本体，其中包含这样的公理：

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

:Person  a               owl:Class ;
        rdfs:subClassOf  [ a                owl:Restriction ;
                           owl:cardinality  "1"^^xsd:nonNegativeInteger ;
                           owl:onProperty   :hasAge
                         ] .

<http://stackoverflow.com/q/24188632/1281433/people-have-exactly-one-age>
        a       owl:Ontology .

:hasAge  a      owl:DatatypeProperty .

@前缀：。
@前缀owl:。
@前缀rdf:。
@前缀xsd:。
@前缀rdfs:。
：人猫头鹰：类；
rdfs:子类[a owl:限制；
owl:基数“1”^^xsd:非负整数；
owl:onProperty:hasAge
] .
猫头鹰：本体论。
：hasAge一个owl:DatatypeProperty。

---

在某些情况下，使用数据类型属性的精确基数限制实际上比使用对象属性更方便，因为推理器（应该能够）识别文本之间的不平等性（例如，2≠ 3和“foo”≠ “bar”），而个人可以有多个名称。

使用对象属性（DL和曼彻斯特语法）的公理：

人员和SQQ子部分=1.hasAge
Person子类hasAge确切地说1

这里有一个小本体，其中包含这样的公理：

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

:Person  a               owl:Class ;
        rdfs:subClassOf  [ a                owl:Restriction ;
                           owl:cardinality  "1"^^xsd:nonNegativeInteger ;
                           owl:onProperty   :hasAge
                         ] .

<http://stackoverflow.com/q/24188632/1281433/people-have-exactly-one-age>
        a       owl:Ontology .

:hasAge  a      owl:DatatypeProperty .

@前缀：。
@前缀owl:。
@前缀rdf:。
@前缀xsd:。
@前缀rdfs:。
：人猫头鹰：类；
rdfs:子类[a owl:限制；
owl:基数“1”^^xsd:非负整数；
owl:onProperty:hasAge
] .
猫头鹰：本体论。
：hasAge一个owl:DatatypeProperty。

---

在某些情况下，使用数据类型属性的精确基数限制实际上比使用对象属性更方便，因为推理器（应该能够）识别文本之间的不平等性（例如，2≠ 3和“foo”≠ “bar”），而个人可以有多个名称。

使用对象属性（DL和曼彻斯特语法）的公理：

人员和SQQ子部分=1.hasAge
Person子类hasAge确切地说1

这里有一个小本体，其中包含这样的公理：

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

:Person  a               owl:Class ;
        rdfs:subClassOf  [ a                owl:Restriction ;
                           owl:cardinality  "1"^^xsd:nonNegativeInteger ;
                           owl:onProperty   :hasAge
                         ] .

<http://stackoverflow.com/q/24188632/1281433/people-have-exactly-one-age>
        a       owl:Ontology .

:hasAge  a      owl:DatatypeProperty .

@前缀：。
@前缀owl:。
@前缀rdf:。
@前缀xsd:。
@前缀rdfs:。
：人猫头鹰：类；
rdfs:子类[a owl:限制；
owl:基数“1”^^xsd:非负整数；
owl:onProperty:hasAge
] .
猫头鹰：本体论。
：hasAge一个owl:DatatypeProperty。

在某些情况下，使用数据类型属性的精确基数限制实际上比使用对象属性更方便，因为推理器（应该能够）识别文本之间的不平等性（例如，2≠ 3和“foo”≠ “bar”）自动，而个人可以有多个名称