Как определить путь и область семантического мышления в онтологиях на основе RDF с помощью пеллетного мышления?

Question

Я создал сложную онтологию, которая представляет структуру продукта. Я определил большинство правил для описания конфигурации продукта (если вы используете Часть A1, вы не можете использовать Часть B1 -> вы должны выбрать Часть B2 или Часть B3).

Теперь я создаю продукт, назначая ему существующие экземпляры детали. Я хочу проверить, возможно ли построить продукт на основе правил конфигурации. Если продукт содержит A1 и B1, его невозможно построить.

Могу ли я настроить рассуждение не для проверки всей онтологии, а только для недавно добавленных продуктов, начиная с иерархически высшего экземпляра продукта? Какой мыслитель я должен выбрать, чтобы иметь возможность сделать это?

РЕДАКТИРОВАТЬ

Рассмотрение всего набора данных является дорогостоящим с точки зрения времени выполнения - могу ли я установить "диапазон рассуждений" и отправную точку для ускорения процесса, если я знаю, где были внесены изменения?

Я использую AllegroGraph и конструирую онтологии в Protege или TopBraid Composer, чтобы экспортировать его в AllegroGraph в RDF. TopBraid имеет встроенный логический модуль (TopSpin).

Спасибо!!!

Answer 1

Я думаю, что вы должны попробовать дополнительные причины после модификации. Если у вас установлен протектор Pellet на Protege, у вас должна быть такая возможность (Reasoner tab --> Pellet (Incremental)), Это не все пересчитывает, а обрабатывает изменения постепенно.