Protege DL запрос; Этот аргумент поддерживает только именованные классы

Question

У меня есть OWL онтология в Protege 5. При попытке задать несколько запросов DL

DropOff exactly 1

Это должно возвратить все классы, которые связаны посредством точного количества элементов в ObjectProperty DropOff.

При использовании пеллет- рассуждения возникает исключение: "Этот-то не поддерживает именованные классы". Хотя при использовании отшельника-отшельника все в порядке.

Я знаю, что именованный класс - это класс с ссылочным URL. Вот мои очки:

• Какова семантика использования неименованных классов?
• Почему именованные классы не поддерживаются в Pellet?
• мой запрос может быть выражен таким образом, который приемлем для пеллет?

Благодарю.

Answer 1

Ошибка в Пеллет может быть ошибочно сообщена. Мне только удалось найти предложение "This reasoner only supports named classes" в исходном коде Pellet (в IncrementalClassifier.java файл). Это исключение выдается, если используется режим инкрементного рассуждения и выполняются запросы типа "найти все эквивалентные классы для этого класса""- например, DropOff exactly 1 является анонимным выражением класса, которое Pellet incremental не поддерживает.

Я не знаю, возможно ли не использовать добавочную функцию в Pellet от Protege. Если это поведение не настраивается, то единственным обходным решением будет изменение плагина Pellet, чтобы он не работал постепенно. Это повлияет на производительность для других запросов.