将 owl:equivalentClass 与 OWL 中的子类一起使用
using owl:equivalentClass with subClasses in OWL
我正在尝试学习如何在我的 ontology 示例如下：
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
我想要实现的是通过我在 Protégé 中制作的属性来表达与 属性 相同的内容，但我不知道如何去做，我想表达这样的东西：
Angiosperm <someRandomProp> <someData>
"Equivalent To"
(Plant hasFlowers) <someRandomProp> <someData>
已编辑：清除了 属性 名称
您不能在两个 class 之间使用对象属性 - 只能以这种方式使用注释属性。
您要表达的意思是，有花的植物是被子植物 - 为此，您希望断言被子植物等同于植物的 class 和 class 有花的东西，所以你对 属性 有一个存在限制，并将它与一个命名概念相交。
根据记忆，这应该输入为
EquivalentClasses (Angiosperm, (Plant and some hasFlowers Thing))
（此时hasFlowers的域和范围是什么并不重要）。
我正在尝试学习如何在我的 ontology 示例如下：
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
我想要实现的是通过我在 Protégé 中制作的属性来表达与 属性 相同的内容，但我不知道如何去做，我想表达这样的东西：
Angiosperm <someRandomProp> <someData>
"Equivalent To"
(Plant hasFlowers) <someRandomProp> <someData>
已编辑：清除了 属性 名称
您不能在两个 class 之间使用对象属性 - 只能以这种方式使用注释属性。
您要表达的意思是，有花的植物是被子植物 - 为此，您希望断言被子植物等同于植物的 class 和 class 有花的东西，所以你对 属性 有一个存在限制，并将它与一个命名概念相交。
根据记忆，这应该输入为
EquivalentClasses (Angiosperm, (Plant and some hasFlowers Thing))
（此时hasFlowers的域和范围是什么并不重要）。