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，您可以使用 shell 命令将它们作为公理导入importaxioms（此命令接受一些选项，但如果您的公理在默认图中以三元组形式出现，并且您希望将公理应用于默认图表，不需要任何参数）。当导入公理时，RDFOx 会生成相应的数据记录规则来实际进行推理。

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

对于确实需要模式推理的情况，RDFOx 有一个内置的规则集来进行包含推理（正如您所期望的那样）。可以使用以下命令将其导入 shell 中：

import <rdfox:TBoxReasoning>

这将使 RDFox 进行推断:A3 rdfs:subClassOf :A1。相关文档部分在这里。

这是一个完整的 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 }