Protege - 深度学习查询和子类

Question

我正在使用 protege 为我的程序测试 OWL 本体。 有没有办法在 DL 查询选项卡中询问一个实体是否是另一个实体的子类？ 自动完成选项卡不建议关键字 subclass.

Answer 1

DL 查询选项卡中没有 ASK 查询的概念。这个想法是编写 Class 表达式，然后根据您在复选框部分中选择的内容进行推理。

因此，要检查 class A 是否是 class B 的子 class，想法是使用 A 然后计算超 classes 并检查结果中是否包含 B。

见documentation

另一种查询语言是 SPARQL。