rdfs:subClassOf 真的是可传递的吗？

Question

我将这个海龟文件加载到两个不同的 OWL 推理器（HermiT 和 RDFox）中：

@prefix : <http://www.semanticweb.org/justin/ontologies/2022/10/untitled-ontology-16#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
:A1 rdf:type owl:Class .

:A2 rdf:type owl:Class ;
    rdfs:subClassOf :A1 .

:A3 rdf:type owl:Class ;
    rdfs:subClassOf :A2 .

我希望推理者能够推断出：

:A3 rdfs:subClassOf :A1 .

但推理者都没有。

相关资料：

“rdfs:subClassOf 属性是可传递的。” https://www.w3.org/TR/rdf-schema/#ch_subclassof

“当定义属性 P 为传递属性时，这意味着如果对 (x,y) 是 P 的实例，并且对 (y,z) 也是 P 的实例，那么我们可以推断对 (x,z) 也是 P 的一个实例。" https://www.w3.org/TR/owl-ref/#TransitiveProperty-def

Answer 1

你说得对，rdfs:subClassOf 属性是可传递的。恐怕我无法解释为什么 HermiT 不返回预期的三元组，因为我不知道那个系统，但是对于 RDFox，你需要采取一些额外的步骤才能看到你正在寻找的三元组为了。

首先，RDFox 具有公理的一流表示，它独立于任何作为三元组的公理。要在推理中使用公理，必须将它们添加到数据存储的（一等）公理中。如果您的数据存储包含表示为三元组的公理，例如:A2 rdfs:subClassOf :A1，您可以使用importaxioms shell 命令将它们作为公理导入（此命令接受一些选项，但如果您的公理在默认图中以三元组的形式出现，并且您想要公理应用于默认图，不需要参数）。当公理被导入时，RDFox 会生成相应的 Datalog 规则来实际进行推理。

即使在这一点上，您也不会看到任何额外的rdfs:subClassOf 三元组。这是因为，与许多其他推理器不同，RDFox 专注于对数据进行推理（又名 Abox 推理）而不是模式（又名 Tbox 推理）。具体来说，这意味着如果您将:A3 的一些实例与您显示的公理一起添加到数据存储中，这些实例也将被归类为属于:A2 和:A1 类。就这样效果传递的rdfs:subClassOf 关系被物化，这通常比隐含的rdfs:subClassOf 三元组更实际。

对于确实需要模式推理的情况，RDFox 有一个内置的规则集来进行包含推理（正如您在这里所期望的那样）。这可以通过以下方式在 shell 中导入：

import <rdfox:TBoxReasoning>

这将使 RDFox 推断出:A3 rdfs:subClassOf :A1。相关文档部分是here。

这是一个完整的 RDFox shell 脚本（适用于 5.7 版），它展示了以上所有内容，希望对您有用：

dstore create default

prefix : <http://www.semanticweb.org/justin/ontologies/2022/10/untitled-ontology-16#>
prefix owl: <http://www.w3.org/2002/07/owl#>
prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>

import ! :A1 rdf:type owl:Class .
import ! :A2 rdf:type owl:Class ; rdfs:subClassOf :A1 .
import ! :A3 rdf:type owl:Class ; rdfs:subClassOf :A2 .

set output out
set query.print-summary off

echo
echo "Subclasses of :A1 (w/o subsumption ruleset):"
select ?subClass { ?subClass rdfs:subClassOf :A1 }
echo

importaxioms
import ! :a3 a :A3 .

echo
echo "Instances of :A1..."
select ?instance { ?instance a :A1 }
echo

import <rdfox:TBoxReasoning>
echo
echo "Subclasses of :A1 (with subsumption ruleset):"
select ?subClass { ?subClass rdfs:subClassOf :A1 }