如何在GraphDB自定义规则集中仅选取直接subClassOf元素？

核心思路 #

要避免规则匹配到通过rdfs传递性推导出来的间接子类/超类关系，关键是在规则前置条件中排除隐式生成的rdfs:subClassOf三元组，只保留原始显式声明的直接子类关系。

方案一：使用否定前置约束过滤间接关系 #

修改自定义规则，添加否定条件，确保c1到c2的rdfs:subClassOf是直接关系（不存在中间类c3形成间接子类链）：

Id: hasDirectLinkTo
    c1 <rdfs:subClassOf> c2
    i1 <rdf:type> c1
    i2 <rdf:type> c2
    # 排除存在中间类的间接子类关系
    NOT EXISTS { c1 <rdfs:subClassOf> c3 . c3 <rdfs:subClassOf> c2 . FILTER (c3 != c1 && c3 != c2) }
    -------------------------------
    i1 <:hasdirectlinkto> i2

推导生成的间接rdfs:subClassOf三元组（如:a rdfs:subClassOf :c）会触发否定条件，从而被规则排除，仅匹配显式声明的直接子类关系。

方案二：显式声明直接子类谓词 #

若允许调整数据模型，可新增自定义谓词（如:directSubClassOf），将原始显式的rdfs:subClassOf断言复制为该谓词，再在规则中使用：

1. 添加显式直接子类三元组：

:a :directSubClassOf :b.
:b :directSubClassOf :c.

2. 修改规则为：

Id: hasDirectLinkTo
    c1 <:directSubClassOf> c2
    i1 <rdf:type> c1
    i2 <rdf:type> c2
    -------------------------------
    i1 <:hasdirectlinkto> i2

这种方式完全规避了rdfs传递性的干扰，适合长期需要区分直接/间接子类关系的场景。

验证效果 #

应用任一方案后，针对测试数据只会生成符合预期的三元组：

:x :hasdirectlinkto :y
:y :hasdirectlinkto :z

不会再出现:x :hasdirectlinkto :z这类间接关联。

内容的提问来源于stack exchange，提问作者sreynaud_b27