在猫头鹰中使用owl：equivalentClass和子类

Question

我正在尝试在下面的本体示例中将owl：equivalentClass属性（在Protégé中称为Equivalent To ）与SubClasses结合使用：

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

现在，我向这两个子类添加了2个对象属性，以这种方式将它们绑定到其超类：

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

我想要实现的是通过在Protégé中创建的属性来表达sameAs属性，但是我没有得到如何做的信息，我想表达如下内容：

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

编辑：清除属性名称

Answer 1

您不能在两个类之间使用对象属性-只能以这种方式使用注释属性。

您要表达的意思是，有花的植物就是被子植物-为此，您要断言被子植物等同于植物的类别和有花的事物的类别，因此您需要对属性的存在性限制，并将其与命名概念相交。

从内存中，应键入为

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

（此时，hasFlowers的域和范围并不重要）。