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)
  }
}

也就是说，获取？类的值，这样就没有？子类(除了？类本身)的值是？类的子类，:instance也属于它。

相关

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