保护DL查询;此推理器仅支持命名类

Question

我在Protege 5中有一个OWL ontology。当试图询问一些DL查询时

DropOff exactly 1

这应该通过objectProperty DropOff返回所有通过一对一基数相关的类。

使用 Pellet 推理器，异常会引发＆＃34;此推理器不支持命名类＆＃34;。在使用 Hermit 推理器时，事情还可以。

我知道命名类是一个带有引用URL的类。 以下是我的观点：

• 使用 un 命名类后面的语义是什么？
• 为什么Pellet不支持命名类？
• 我的查询能否以Pellet可接受的方式表达？

感谢。

Answer 1

Pellet中的错误可能会被误报。我只是在Pellet源代码中找到了句子"This reasoner only supports named classes"（在IncrementalClassifier.java文件中）。如果使用增量推理模式并且查询类似于查找此类的所有等效类，则抛出此异常＆＃34;＆＃34;＆＃39;运行 - 例如，DropOff exactly 1是Pellet incremental不支持的匿名类表达式。

我不知道是否可以不使用来自Protege的Pellet中的增量功能。如果此行为不可配置，那么唯一的解决方法是修改Pellet插件不能以递增方式工作。这会影响其他查询的表现。