如何在RDF图中获取实例的最低层级（最具体）类？

问题背景 #

现有一个包含类层级的本体：MathTeacher是Teacher的子类，Teacher是Job的子类，实例EX:Bob属于MathTeacher类。当前使用的SPARQL查询会返回Bob的所有相关类（Teacher和MathTeacher），但需求仅返回层级最低的MathTeacher。

本体定义 #

@prefix EX: <https://www.example.com#> .
@prefix jobOnt: <https://www.jobOnt.com#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

jobOnt:Job a rdfs:Class .

jobOnt:Teacher a rdfs:Class ;
    rdfs:subClassOf jobOnt:Job .

jobOnt:MathTeacher a rdfs:Class ;
    rdfs:subClassOf jobOnt:Teacher .

jobOnt:CalculusTeacher a rdfs:Class ;
    rdfs:subClassOf jobOnt:MathTeacher .

jobOnt:OptimizationTeacher a rdfs:Class ;
    rdfs:subClassOf jobOnt:MathTeacher .

EX:Bob a jobOnt:MathTeacher .

当前查询及问题 #

当前查询：

SELECT ?type
WHERE {
EX:Bob a ?type .
?type rdfs:subClassOf* jobOnt:Teacher . 
}

该查询返回jobOnt:Teacher和jobOnt:MathTeacher，不符合仅返回最底层类型的需求。

解决方案 #

修改后的SPARQL查询：

SELECT ?type
WHERE {
    EX:Bob a ?type .
    ?type rdfs:subClassOf* jobOnt:Teacher .
    # 过滤掉存在更具体子类的类型
    FILTER NOT EXISTS {
        EX:Bob a ?subType .
        ?subType rdfs:subClassOf+ ?type .
    }
}

原理说明 #

• FILTER NOT EXISTS子句用于排除那些存在严格子类（通过rdfs:subClassOf+表示直接或间接子类，不包含自身）且该子类也是Bob实例类型的类。
• 对于jobOnt:Teacher，存在jobOnt:MathTeacher这个子类且Bob属于该子类，因此会被过滤。
• 对于jobOnt:MathTeacher，不存在任何属于Bob实例类型的严格子类（Bob不是CalculusTeacher或OptimizationTeacher的实例），因此会被保留并返回。

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