如何检索OWL枚举数据类型表达式的元素

Question

我应该使用哪个SPARQL查询来显示两个数据类型的并集的所有值？此外，我如何计算这个数据类型联合中的值的数量？每个数据类型都用DataOneOf(...)公理定义。

EDIT：首先：我应该使用什么SPARQL查询来显示所选数据类型的所有值？

Answer 1

在未来，如果您能提供我们可以使用的最小数据，这将更容易。这也会让这个问题更加清晰。据我所知，您已经使用dataOneOf构造定义了一些数据类型来枚举几个文本。首先，让我们创建一些示例数据。这里有一个OWL本体，它有两个属性，每个属性都有一个嵌入的数据类型表达式作为其范围。其中一个有{"一"，"二"}作为范围，另一个有｛1，2}：

@prefix :      <http://example.org/datatypes#> .
@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#> .
:p1     a           owl:DatatypeProperty ;
        rdfs:range  [ a          rdfs:Datatype ;
                      owl:oneOf  [ a          rdf:List ;
                                   rdf:first  1 ;
                                   rdf:rest   [ a          rdf:List ;
                                                rdf:first  2 ;
                                                rdf:rest   ()
                                              ]
                                 ]
                    ] .
:p2     a           owl:DatatypeProperty ;
        rdfs:range  [ a          rdfs:Datatype ;
                      owl:oneOf  [ a          rdf:List ;
                                   rdf:first  "one" ;
                                   rdf:rest   [ a          rdf:List ;
                                                rdf:first  "two" ;
                                                rdf:rest   ()
                                              ]
                                 ]
                    ] .

请注意，数据类型表达式中可能值的列表是以RDF列表的形式给出的。使用属性路径查询RDF列表是最简单的，在Stack Overflow上还有很多其他例子。以下是查询的样子，它将检索数据类型及其每个元素和这些元素的数据类型（如果您也需要的话）。

prefix rdf:   <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
prefix owl:   <http://www.w3.org/2002/07/owl#>
prefix rdfs:  <http://www.w3.org/2000/01/rdf-schema#>
select ?dt ?element ?elementType {
  ?dt a rdfs:Datatype ;
      owl:oneOf/rdf:rest*/rdf:first ?element .
  bind(datatype(?element) as ?elementType)
}

---------------------------------------------------------------
| dt   | element | elementType                                |
===============================================================
| _:b0 | "one"   | <http://www.w3.org/2001/XMLSchema#string>  |
| _:b0 | "two"   | <http://www.w3.org/2001/XMLSchema#string>  |
| _:b1 | 1       | <http://www.w3.org/2001/XMLSchema#integer> |
| _:b1 | 2       | <http://www.w3.org/2001/XMLSchema#integer> |
---------------------------------------------------------------

请注意，这种数据类型通常由空白节点表示，这意味着它们没有关联的IRI。例如，在这种情况下，它们显示为_：b0和_：b1。不过，希望您有一些方法来识别您感兴趣的特定数据类型表达式，例如，通过询问某个特定属性的范围或类似的东西。