在Protege中添加数学方程

时间:2014-09-16 09:12:25

标签: ontology protege mathematical-expressions

我想使用protege 5.0开发一个本体。在我的本体中有一个名为" x"的数据属性。哪个范围是整数。我还有一个名为" y"的对象属性。无论如何要将这样的等式添加到" y":x = x + 5.我想如果y发生时将x加5。我可以做这个保护吗?

1 个答案:

答案 0 :(得分:2)

你不能单独使用类和属性公理来做这样的事情,但你可以用SWRL规则来做。特别是,你会做类似

的事情
  

x(?i,?n)∧add(?n,5,?m)→y(?i,?m)

这说明当一个(命名)个体?i的x值为?n时,它的y值也为?m,其中?m等于?n + 5.其他一些问题的答案可以帮助您在Protégé中设置SWRL规则: