问Protege DL查询；此推理器只支持命名类。

EN

球团中的错误可能被错误地报道了。我只在Pellet源代码(在"This reasoner only supports named classes"文件中)中找到了句子IncrementalClassifier.java。如果使用增量推理模式并运行‘查找该类的所有等效类“之类的查询，则会引发此异常--例如，DropOff exactly 1是一个匿名类表达式，而Pellet增量不支持该表达式。

我不知道是否有可能不使用佩莱的增量功能。如果这种行为是不可配置的，那么唯一的解决办法就是修改Pellet插件，使其不以增量方式工作。不过，这会影响其他查询的性能。