Jena Sparql只返回实例的直接超类

Question

我在Java中使用Jena，Pellet作为推理器。现在我需要查询特定URI的类，但问题是我不知道它是什么样的实例，在什么样的类层次结构中，所以我不能使用过滤器选项。使用时：

SELECT * WHERE {<" + uri + "> rdf:type ?x}

它返回所有超类。这个特定示例的层次结构如下所示：

-Thing
 -Person
  -Adult
 -Animal
  -Dog

每个类都有多个实例。我不知道我事先在查询什么样的实例。但举个例子来说，我正在查询一个类型为Dog的实例的URI。它还将归还《动物与物》。但我只想把它还给小狗。这可能吗？使用LIMIT 1只返回直接超类。

Answer 1

使用Jena有一种简单的方法可以做到这一点，它提供了一个特殊的谓词来查询直接类型，因此在您的代码中，您可以生成如下查询：

  "SELECT * { <" + ind + "> <" + ReasonerVocabulary.directRDFType + "> ?type }"

或者直接在查询中使用该谓词的URI：

  SELECT * { <ind> <urn:x-hp-direct-predicate:http_//www.w3.org/1999/02/22-rdf-syntax-ns#type> ?type }

还可以编写一个效率相当低但可移植的SPARQL查询，它将查询直接类型：

  PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> 
  PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> 
  PREFIX owl: <http://www.w3.org/2002/07/owl#> 
  SELECT * { 
    <ind> rdf:type ?directType .
    FILTER NOT EXISTS {
      <ind> rdf:type ?type .
      ?type rdfs:subClassOf ?directType .
      FILTER NOT EXISTS {
         ?type owl:equivalentClass ?directType .
      }
    }
  }

如果没有其他类型的个体是该类型的子类，则类是该个体的直接类型。但是直接类型可能有等价的类。为了处理这些情况，我们必须在查询中使用双重否定。这个查询效率很低，因为它首先检索个人的所有类型，然后过滤那些不直接的类型。但从好的方面来说，您可以将它用于除Jena之外的不提供专用直接类型谓词的系统。