首先，关于您的 SPARQL 查询的几点说明是有序的。第一个是关于* 和+ 在属性路径中的区别，第二个是关于filter 和values 的使用。然后我们可以看看如何从数据中查询不同类型的子类/超类关系。这里的技巧是，我们正在寻找的一些关系是我们通常会使用 OWL 推理器的关系，但我们正在尝试使用 SPARQL 进行一些 OWL 推理
关于原始查询的几点说明
属性路径，+ 和 *
请注意，在您链接到的另一个问题中，属性路径使用 * 运算符，这意味着长度为零或更长的路径。长度为零或更多的路径可能非常重要，因为如果您的表单数据中没有明确的三元组
:MyClass owl:equivalentClass :MyClass
你不会得到任何匹配的查询
?myClass owl:equivalentClass+ :MyClass
但你会得到一个结果（:MyClass）
?myClass owl:equivalentClass* :MyClass
实际上，即使owl:equivalentClass 是一个对称属性（即，从a owl:equivalentClass b我们可以推断 b owl:equivalentClass a），三元组可能只存在于数据中的一个方向，所以我们实际上需要
?myClass (owl:equivalentClass|^owl:equivalentClass)* :MyClass
使用values 代替filter
顺便说一句，请注意，在这个查询中，我直接在模式中使用了 IRI；无需像原始代码中那样filter：
filter(?s=<http://snomed.info/id/323283001>)
如果您确实想将变量绑定到超类，使用values 会更容易，如
values ?superclass { <http://snomed.info/id/323283001> }
?subclass (rdfs:subClassOf|owl:equivalentClass)* ?superclass
通过 SPARQL 查询进行 OWL 推理
一般来说，类之间的关系（例如，子类和超类关系）是您可以使用 OWL 推理器为您确定的事情。但是，有些很简单，并且存在于 OWL 公理的 RDF 编码中，您可以使用 SPARQL 查询得出相同的结论。例如，如果您想在基于rdfs:subClassOf 和owl:equivalentClass 的层次结构中查找子类关系，您可以使用这样的模式：
?subclass (rdfs:subClassOf|owl:equivalentClass|^owl:equivalentClass)* ?superclass
现在，如下所述，您可能会在使用 Protégé 的 SPARQL 选项卡时遇到一些问题，因此我建议您将 | 的用法保留为二进制大小写，这样您就可以实际编写，在这种情况下：
?subclass (rdfs:subClassOf|(owl:equivalentClass|^owl:equivalentClass))* ?superclass
现在，您实际查看的数据使用了更复杂的类表达式。当你有一个形式为
的 OWL 公理时
A subClassOf (B and C)
你实际上是在说有一个类A，并且有一个（通常是匿名的）类是一个交集类，它是B的交集 和 C。你没有公理
A subClassOf B
A subClassOf C
对您可用，尽管它们确实在逻辑上跟随。你得到的案例实际上也包括一个存在的限制，就像
A subClassOf (B and C and (p some D))
重要的是要注意 A 的超类是 B、C 和 (p some D)。特别是，A 不是 p 或 D 的子类。通过具体示例可能更容易看出：
TiredManWearingHat subClassOf（男人和TiredPerson 和（戴一些帽子）
戴帽子的疲惫的人显然是男人，显然是疲倦的人，显然是戴着帽子的东西，但他肯定不是戴帽子的人（这甚至没有意义），而且他是当然不是帽子。这是一个最小的本体，它具有我们可以使用的结构：
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns="https://stackoverflow.com/q/21092246/1281433/data.owl#">
<owl:Ontology rdf:about="https://stackoverflow.com/q/21092246/1281433/data.owl"/>
<owl:Class rdf:about="https://stackoverflow.com/q/21092246/1281433/data.owl#C"/>
<owl:Class rdf:about="https://stackoverflow.com/q/21092246/1281433/data.owl#B"/>
<owl:Class rdf:about="https://stackoverflow.com/q/21092246/1281433/data.owl#A">
<rdfs:subClassOf>
<owl:Class>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="https://stackoverflow.com/q/21092246/1281433/data.owl#B"/>
<owl:Class rdf:about="https://stackoverflow.com/q/21092246/1281433/data.owl#C"/>
<owl:Restriction>
<owl:onProperty>
<owl:ObjectProperty rdf:about="https://stackoverflow.com/q/21092246/1281433/data.owl#p"/>
</owl:onProperty>
<owl:someValuesFrom>
<owl:Class rdf:about="https://stackoverflow.com/q/21092246/1281433/data.owl#D"/>
</owl:someValuesFrom>
</owl:Restriction>
</owl:intersectionOf>
</owl:Class>
</rdfs:subClassOf>
</owl:Class>
</rdf:RDF>
我已经为Retrieving superclasses implied by OWL intersection classes 写了一个答案，描述了如何编写关于交叉类的查询，所以我不会在这里再次解释所有内容，但我将包含一个适用于这种情况的查询.我展示的结果是我使用 Jena 的命令行 SPARQL 查询工具得到的结果。
prefix : <https://stackoverflow.com/q/21092246/1281433/data.owl#>
prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>
prefix owl: <http://www.w3.org/2002/07/owl#>
prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
select ?superclass where {
:A (rdfs:subClassOf|(owl:intersectionOf/rdf:rest*/rdf:first))* ?superclass .
}
--------------
| superclass |
==============
| :A |
| _:b0 |
| :B |
| :C |
| _:b1 |
--------------
现在，空白节点有匿名交叉类和匿名限制类。如果您不想将它们包含在结果中，可以很容易地将它们过滤掉：
prefix : <https://stackoverflow.com/q/21092246/1281433/data.owl#>
prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>
prefix owl: <http://www.w3.org/2002/07/owl#>
prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
select ?superclass where {
:A (rdfs:subClassOf|(owl:intersectionOf/rdf:rest*/rdf:first))* ?superclass .
filter(!isBlank(?superclass))
}
--------------
| superclass |
==============
| :A |
| :B |
| :C |
--------------
如果您也想遵循等效类，也可以将^owl:equivalentClass|owl:equivalentClass 添加到该属性路径中。
在 Protégé 中执行此操作
正如我所说，上面的结果是使用 Jena 的命令行工具。你说你想在 Protégé 中做这件事，这让事情变得有点困难，因为它似乎引入了一些问题。我显示的最后一个查询仅在 Protégé 中产生 A 和 B；由于某种原因，它不包括 C：
但是，空白节点的处理要好一些（即，我们可以删除filter 并获得一些有用的输出）：
不幸的是，我不确定如何获得与 Jena 在 Protégé 中提供的相同输出，但我正在通过电子邮件发送他们的邮件列表。