Protege - DL Query和子类

Question

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

Answer 1

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

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

请参阅documentation

另一种查询语言是SPARQL。