SPARQL - 启用推理时获取断言类

Question

在三元存储中激活推理时，以下查询

SELECT ?classiri
WHERE {
    ex:myElement rdf:type ?classiri
}

会产生这样的结果：

owl:Thing
ex:Animal
ex:Human
ex:MaleHuman

有没有办法只得到明确断言的公理作为结果？ （在这种情况下，显然是ex:MaleHuman）

请注意，除其他原因外，不能关闭推理，因为上述是需要推理的更复杂查询的一部分。

Answer 1

您无法确定它是实际断言结果还是推断结果，但您可以通过如下查询获得最具体的实例：

select ?class {
  :instance a ?class
  filter not exists {
    ?subclass rdfs:subClassOf ?class .
    filter (?subclass != ?class)
  }
}

这表示要获取 ?class 的值，这样就没有 ?subclass 的值（除了 ?class 本身） :instance 也属于的 ?class 的子类。

相关

• retrieving most specific classes of instances
• Sesame : how to remove the inference during queries?
• Removing unwanted superclass answers in SPARQL