owl - Protege - DL 查询和子类

Question

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

Answer 1

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

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

请参阅文档

另一种查询语言是 SPARQL。