Protege - DL 查询和子类

Question

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

Answer 1

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

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

见documentation

另一种查询语言是 SPARQL。