在RDF中如何正确定义属性的宾语为指定数据类型的字面量？

常见的错误用法 #

很多RDF本体里会出现这样的三元组，试图声明某个属性的宾语必须是特定数据类型的字面量：

gist:containedText
    a owl:DatatypeProperty ;
    rdfs:range xsd:string ;

比如下面的三元组是符合编写者预期的用法：

:thing0 gist:containedText "this is my text"^^xsd:string .
# "this is my text" 是数据类型为xsd:string的字面量

但这种用法是错误的——rdfs:range的语义是指定属性的宾语是某个类的实例，而非字面量的数据类型。不少技术回答里错误地推荐用rdfs:range来约束字面量类型，这会导致推理异常。

错误的验证：RDFS推理的问题 #

用Apache Jena的推理命令可以直观看到这个错误：
执行以下命令：

apache-jena-5.0.0/bin/riot --formatted=turtle --rdfs=tbox.ttl abox.ttl

输出会包含非法的RDF语句：

"this is my text"  rdf:type  xsd:string .
:thing0  gist:containedText  "this is my text" .

这里的问题在于，字面量"this is my text"被放在了主语位置，而RDF的主语只能是URI或空白节点，这完全不符合规范。用Jena验证输出的RDF会直接报错：

apache-jena-5.0.0/bin/riot --rdfs=tbox.ttl abox.ttl | apache-jena-5.0.0/bin/riot --validate --syntax=turtle -

错误信息：

16:34:29 ERROR riot            :: [line: 2, col: 69] Subject is not a URI or blank node

而且我们的本意也从来不是要声明这个字面量是xsd:string类的实例——xsd:string是数据类型，不是可以有实例的类。

正确的实现方式 #

要在RDF/OWL中准确表达“属性Y的宾语必须是数据类型X的字面量”，需要使用OWL的约束公理，以下是两种常用方式：

1. 基础约束：指定所有值为某数据类型 #

对于简单的“属性的所有宾语都是XSD字符串”这类需求，使用owl:allValuesFrom关联数据类型即可，这是语义明确的标准用法：

gist:containedText
    a owl:DatatypeProperty ;
    owl:allValuesFrom xsd:string .

这个公理的语义是：任何通过gist:containedText关联的个体，其对应的宾语必须是xsd:string类型的字面量，推理机可以正确识别这个约束，不会产生非法RDF。

2. 复杂约束：对字面量添加额外限制 #

如果需要对字面量的格式、范围等添加额外约束（比如字符串长度、数值范围），可以使用owl:DatatypeRestriction定义自定义数据类型约束：

:ShortStringRestriction
    a owl:DatatypeRestriction ;
    owl:onDatatype xsd:string ;
    owl:withRestrictions (
        [xsd:maxLength "256"^^xsd:int]
    ) .

gist:containedText
    a owl:DatatypeProperty ;
    owl:allValuesFrom :ShortStringRestriction .

上面的例子就限制了gist:containedText的宾语必须是长度不超过256的XSD字符串。

补充说明 #

有些OWL 2推理机可能会对owl:DatatypeProperty结合rdfs:range的情况做兼容处理，但严格来说这不符合RDFS的语义规范，owl:allValuesFrom才是正确且可移植的方式，能避免各种推理异常。

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