文字的 xsd 数据类型有子类吗？

Question

我正在尝试在任何推理系统或三重存储提供的加载时验证之外设置一些轻量级的按需数据验证。我正在使用 GraphDB 8.3。

假设我使用 Ontology of Biomedical Investigations (OBI) http://purl.obolibrary.org/obo/obi.owl 加载以下三元组：

PREFIX : <http://example.com/>
PREFIX  xsd:  <http://www.w3.org/2001/XMLSchema#>
insert data {
    graph :data
    {
        :measurement1 a <http://purl.obolibrary.org/obo/IAO_0000032> ;
            <http://purl.obolibrary.org/obo/IAO_0000004> "100.1"^^xsd:double .
        :measurement2 a <http://purl.obolibrary.org/obo/IAO_0000032> ;
            <http://purl.obolibrary.org/obo/IAO_0000004> "100"^^xsd:int .
    }
}

这表示:measurement1 和:measurement2 具有测量值。 <http://purl.obolibrary.org/obo/IAO_0000004> 的范围是xsd:double。我知道我可以使用以下查询来检查与指定范围不完全相同的数据类型。

正如您在我的查询中嵌入的 cmets 中看到的那样，我想说 :measurement2 的值 "100"^^xsd:int 是可以接受的，因为所有整数都包含在双精度浮点数集中. （对吧？）

是否存在表明xsd:int 是xsd:double 的子类的现有本体？

PREFIX : <http://example.com/>
PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#>
PREFIX obo: <http://purl.obolibrary.org/obo/>
PREFIX owl: <http://www.w3.org/2002/07/owl#>
PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
# loaded obi into http://example.com/ontology
select distinct ?stype ?p ?ptype ?propdom ?proprange ?otype ?odatatype where {
    {
        graph :data
        {
            ?s ?p ?o .
            bind (datatype(?o) as ?odatatype)
        }
        optional {
            graph <http://example.com/ontology> {
                values ?ptype {
                    owl:ObjectProperty owl:DatatypeProperty
                }
                ?p a ?ptype
            }
        }   
        optional {
            ?o a ?otype
        }   
        optional {
            ?s a ?stype
        }   
        optional {
            {
                graph <http://example.com/ontology> {
                    ?p rdfs:domain ?propdom
                }
            }   
        }
        optional {
            {
                graph <http://example.com/ontology> {
                    ?p rdfs:range ?proprange
                }
            }   
        }
    }
    minus
    {
        ?s rdf:type ?o 
    }
    #       minus
    #    {
    #        ?odatatype rdfs:subClassOf+ ?proprange
    #    }
    filter ( ?odatatype != ?proprange )
}

Answer 1

如果有任何这样的本体，它们肯定是用户自定义设计的。我不知道任何与此相关的 W3C 标准。这个 (https://www.w3.org/TR/xmlschema-2/#built-in-datatypes) 图显示了从十进制“派生”的整数，尽管我不确定它在多大程度上可以用作 ersatz subClassOf 或任何类似的东西。

Answer 2

XSD 数据类型没有子类。有派生类型：xsd:int是xsd:integer的派生类型；它是 XSD 定义的功能。

xsd:int 不是xsd:double的派生类型。

数据类型中重要的是值："100"^^xsd:int 和 "100"^^xsd:double 是相同的值。 SHACL 可以表达这一点。

请参阅https://www.w3.org/TR/xpath-datamodel-3/#types-hierarchy 中的“原子类型”

Answer 3

在一定程度上，规范就是这样做的。例如：https://www.w3.org/TR/swbp-xsch-datatypes/#sec-values

但是，如果没有任何推理机来执行此操作，您将不得不在多个数据类型共有的间隔和值上复制数据类型推理。

Answer 4

回答您的问题：

所有整数都包含在双精度浮点数集中。 （对吧？）

错了！正如你所说，xsd:double 包含一组双精度浮点数，其中不包含像格雷厄姆数和其他大整数这样的数字。

是否存在表明xsd:int 是xsd:double 的子事物的现有本体？

如果有（我怀疑有），它与 XSD 的规范不一致（见上面的评论）。

对此，我应该补充一点，XSD 将xsd:decimal 的值空间定义为与xsd:double 的值空间不相交。这意味着xsd:int 的值空间也与xsd:double 的值空间不相交。

一般来说，我建议您尽可能使用xsd:decimal 而不是xsd:double。 xsd:double 表明，使用您的数据或本体的系统永远不可能处理比 xsd:double 更好的精度或更大的数字。