检索 rdf:Class 的所有祖先

Question

想象一下以下分类法（非循环和有向图）：

<my:Eukaryota> <rdfs:subClassOf> <my:Organism>.
<my:Mammal> <rdfs:subClassOf> <my:Eukaryota>.
<my:Primate> <rdfs:subClassOf> <my:Mammal>.
<my:HomoSapiens> <rdfs:subClassOf> <my:Primate>.
<my:Bacteria> <rdfs:subClassOf> <my:Organism>.
<my:Escherichia> <rdfs:subClassOf> <my:Bacteria>.

1) 是否可以使用 Jena OWL API 来检查如果给定资源（例如 HomoSapiens）是“哺乳动物”的子类，而无需递归检索所有父节点？

2）与SPARQL有同样的问题。

谢谢

Answer 1

如果您已经在使用 Jena，则可以使用 Pellet 的 SPARQL-DL 查询引擎，它应该允许您以本体感知的方式查询个人。

或者，您可以使用 Jena 的 InfModel 而不是 Model 接口，将推理器（和本体）附加到它，然后运行 ​​RobV 提到的查询。如果您愿意，可以使用 Pellet 的推理机。如果您只想进行推理，则不需要使用 OntModel。

Answer 2

1）没有太多使用Jena，但是它的 OntTools 类似乎包含最低共同祖先的函数。如果智人与哺乳动物的最不共同祖先是哺乳动物，那么智人就是哺乳动物。但在底层，它使用递归 subClassOf 检索。

2）在一般情况下，不，SPARQL不支持任意深度树遍历。但是如果你知道 subClassOf 树的最大深度，那么你可以构造一个像

ASK {
  OPTIONAL {
    :HomoSapiens rdfs:subClassOf :Mammal
  }
  OPTIONAL {
    :HomoSapiens rdfs:subClassOf ?c .
    ?c rdfs:subClassOf :Mammal
  }
  OPTIONAL {
    :HomoSapiens rdfs:subClassOf ?c1 .
    ?c1 rdfs:subClassOf ?c2 .
    ?c2 rdfs:subClassOf :Mammal
  }

  # ... add
}

Answer 3

laalto 是对的，几乎任何语义 Web 库都会通过递归 subClassOf 检索来完成此操作。解决这个问题的唯一方法是使用一些推理/推理引擎，当解析原始图时，它会向图添加额外的三元组，

例如，它会自动添加以下内容：

<my:Eukaryota> <rdf:type> <my:Organism>.
<my:Mammal> <rdf:type> <my:Organism>.
<my:Mammal> <rdf:type> <my:Eukaryota>.
<my:Primate> <rdfs:type> <my:Organism>.
<my:Primate> <rdfs:type> <my:Eukaryota>.
<my:Primate> <rdfs:type> <my:Mammal>.
# etc...

你在耶拿如何做到这一点我不知道当然，其他了解耶拿的人必须回答这个问题。

至于 SPARQL laalto 也是完全正确的，但在某些情况下，如果您查询的 Triple Store 和关联的 SPARQL 端点具有一些推理功能，您可能能够执行如下所示的简单查询

PREFIX my: <http://yournamespace.com>
PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
ASK { my:HomoSapiens rdf:type my:Mammal }

Answer 4

SPARQL 1.1 具有任意深度图遍历。可以用于此目的。请参阅 BioStar 处的相关问题 询问

{
:智人 rdfs:subClassOf+ :哺乳动物
}