Указание класса эквивалентности в правилах иенских

Question

Учитывая онтологию с класса А и класса BI Заявляю правило: [-> (нс: Class_A сова: equivalentClass нс: Class_B)]

Однако Jena общее правило рассуждающий является только применяя тег equalClass к классу A, т.е. он не указывает класс B эквивалент класса Class 0 Кроме того, у меня есть объект A, являющийся индивидуумом класса A, аргумент не применяет класс B как тип объекта A.

Есть ли другой способ указать класс эквивалентность через правила Йены? И лучше ли использовать универсальный аргумент правила для этой аргументационной задачи или вызвать встроенный разум Jena Owl? Или есть другой аргумент, который принимает правила Йены?

Answer 1

Эта проблема была решена посредством применения соображения совы Йены. Мы сгенерировали модель с использованием универсального правила, а затем довели эту модель до мыслителя совы. Совианский аргумент продолжает применять эквивалентную метку Class ко всем применимым классам