Protege DL查询； 该推理器仅支持命名类

Question

我在Protege 5中拥有OWL本体 。当尝试询问一些DL查询时

DropOff exactly 1

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

使用Pellet推理程序，会引发一个异常“此推理程序不支持命名类”。 使用隐士推理机时，一切正常。

我知道命名类是具有引用URL的类。 这是我的观点：

• 使用未命名类的背后的语义是什么？
• 为什么Pellet不支持命名类？
• 我的查询可以用Pellet可接受的方式表示吗？

谢谢。

Answer 1

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

我不知道是否可以不使用Protege的Pellet中的增量功能。 如果此行为不可配置，则唯一的解决方法是将Pellet插件修改为无法增量工作。 但是，这将影响其他查询的性能。