использование owl: эквивалента класса с подклассами в OWL

Question

Я пытаюсь узнать, как использовать свойство owl: эквивалента класса (называемое Эквивалент в Protégé) с подклассами в моем примере онтологии, который выглядит следующим образом:

Plant  
L Angiosperm   (subClass of Plant)   
L Gymnosperm   (subClass of Plant)

Теперь я добавил 2 свойства объекта к этим 2 подклассам, чтобы привязать их к их суперклассу следующим образом:

Plant hasFlowers Angiosperm   ------- (exp: meaning that a Plant that has flowers is an Angiosperm)   
Plant hasNoFlowers Gymnosperm

Чего я хочу добиться, так это выразить свойство sameAs через свойства, которые я создал в Protégé, но я не понимаю, как это сделать, я хотел бы выразить что-то вроде этого:

Angiosperm <someRandomProp> <someData>   
"Equivalent To"   
(Plant hasFlowers) <someRandomProp> <someData> 

РЕДАКТИРОВАНИЕ: вычеркнуто имя свойства

Answer 1

Вы не можете использовать свойства объекта между двумя классами - только свойства аннотации могут использоваться таким образом.

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

Из памяти это должно быть напечатано как

EquivalentClasses (Angiosperm, (Plant and some hasFlowers Thing))

(Неважно, какой домен и диапазон имеет hasFlowers на данный момент).