【发布时间】：2014-09-16 19:16:35
【问题描述】：
我想使用 protege 5.0 开发一个本体。在我的本体中有一个名为“x”的数据属性，其范围是整数。我还有一个名为“y”的对象属性。无论如何要在“y”中添加这样的等式：x = x + 5。如果y发生，我想要将5添加到x值。我可以在 protege 中做到这一点吗？
【问题讨论】：
标签： ontology protege mathematical-expressions
【发布时间】：2014-09-16 19:16:35
【问题描述】：
你不能只用类和属性公理来做这样的事情，但你可以用 SWRL 规则来做。特别是，你会做类似的事情
x(?i,?n) ∧添加(?n,5,?m) → y(?i,?m)
这表示当一个（命名的）个体 ?i 的 x 值为 ?n 时，它的 y 值也为 ?m，其中 ?m 等于 ?n + 5。其他一些问题的答案可以帮助您在 Protégé 中设置 SWRL 规则：
【讨论】：