如何在Protege的OWL/XML格式中设置height>0这类数据属性约束？

OWL并不支持你提到的height only xsd:decimal[">0"^^xsd:decimal]这种直接的不等式写法，但可以通过标准的数据范围限制结合xsd的数值限定符，实现height值必须大于0的约束，且该约束能被OWL推理器正常识别和生效。

具体实现方式 #

• 用xsd:minExclusive定义合法数据范围
  要限制height>0，核心是给Person类添加数据属性限制，声明所有Person实例的height属性值必须属于xsd:decimal[minExclusive "0"^^xsd:decimal]这个数据范围。

  曼彻斯特语法示例：

  Class: Person
    DataProperty: height
      only xsd:decimal[minExclusive "0"^^xsd:decimal]
  

  RDF/XML简化示例：

  <owl:Class rdf:about="#Person">
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="#height"/>
        <owl:allValuesFrom>
          <rdfs:Datatype>
            <owl:onDatatype rdf:resource="&xsd;decimal"/>
            <owl:withRestrictions rdf:parseType="Collection">
              <xsd:minExclusive rdf:datatype="&xsd;decimal">0</xsd:minExclusive>
            </owl:withRestrictions>
          </rdfs:Datatype>
        </owl:allValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
  </owl:Class>
  

• 推理器中的作用逻辑
  定义好约束后，合规的OWL推理器（如HermiT、Pellet）会执行以下操作：

  1. 检查现有Person实例的height值，若存在≤0的情况，会标记知识库为不一致。
  2. 当创建新的Person实例时，若给height赋值≤0，推理器会识别出该实例违反约束，拒绝其加入知识库或给出违规提示（具体行为取决于工具配置）。

• 其他数值约束的扩展用法
  除了minExclusive，你提到的minInclusive（表示≥某个值）、maxExclusive（表示<某个值）也可以用同样的方式配置：

  • 若要求height≥1.5，可用xsd:minInclusive "1.5"^^xsd:decimal
  • 若要求height<2.5，可用xsd:maxExclusive "2.5"^^xsd:decimal

内容的提问来源于stack exchange，提问作者Dave