使用SPARQL与owlready2查询OWL文件中类的最小公共祖先

现有代码问题修复 #

你当前查询父类无返回有两个核心错误：

• JAVA路径配置错误，需要指向java.exe可执行文件，不是bin目录
• SPARQL中直接使用字符串"Star"无法匹配本体类资源，需要补全类的命名空间

修复后基础查询代码如下：

from owlready2 import *
# 修正JAVA路径为实际exe文件路径
owlready2.JAVA_EXE = "C:\\Program Files (x86)\\Java\\jre1.8.0_311\\bin\\java.exe"
onto = get_ontology("file://ess.owl").load()
# 打印当前本体所有类，确认目标类存在
print("本体类列表：", list(onto.classes()))

# 方法1：直接调用owlready2接口查询父类，语法更简单
star_cls = onto.Star
print("Star类直接父类：", star_cls.is_a)

# 方法2：修正后的SPARQL查询
ns = onto.base_iri
print(list(default_world.sparql(f"""
           PREFIX onto: <{ns}>
           SELECT ?y
           {{  onto:Star rdfs:subClassOf ?y }}
    """)))

最小公共祖先实现方案 #

实现逻辑 #

1. 分别获取两个目标类的所有祖先类（包含直接、间接父类，排除类自身）
2. 取两个祖先集合的交集得到公共祖先集合
3. 对公共祖先按继承深度排序，深度最大的即为最小公共祖先

完整代码 #

def get_class_depth(cls):
    """计算类的继承深度，顶层owl:Thing深度为0"""
    depth = 0
    current = cls
    while current.is_a:
        parent = current.is_a[0]
        if isinstance(parent, ThingClass) and parent != owl.Thing:
            depth += 1
            current = parent
        else:
            break
    return depth

def get_all_ancestors(cls):
    """获取类的所有祖先类集合"""
    ancestors = set()
    for parent in cls.is_a:
        if isinstance(parent, ThingClass):
            ancestors.add(parent)
            ancestors.update(get_all_ancestors(parent))
    return ancestors

def get_least_common_ancestor(cls1, cls2):
    """查询两个类的最小公共祖先"""
    common_ancestors = get_all_ancestors(cls1) & get_all_ancestors(cls2)
    if not common_ancestors:
        return owl.Thing
    # 按继承深度降序排序，第一个就是最深的公共祖先
    sorted_ancestors = sorted(common_ancestors, key=lambda x: get_class_depth(x), reverse=True)
    return sorted_ancestors[0]

# 测试示例（替换为你本体中的实际类）
ap_cls = onto.AP
tp_cls = onto.TP
lca = get_least_common_ancestor(ap_cls, tp_cls)
print("最小公共祖先：", lca)

上述代码适配你给出的示例场景，输入AP、TP两个类即可返回公共父类base。

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