我想使用protege 5.0开发一个本体。在我的本体中有一个名为" x"的数据属性。哪个范围是整数。我还有一个名为" y"的对象属性。无论如何要将这样的等式添加到" y":x = x + 5.我想如果y发生时将x加5。我可以做这个保护吗?
答案 0 :(得分:2)
你不能单独使用类和属性公理来做这样的事情,但你可以用SWRL规则来做。特别是,你会做类似
的事情x(?i,?n)∧add(?n,5,?m)→y(?i,?m)
这说明当一个(命名)个体?i的x值为?n时,它的y值也为?m,其中?m等于?n + 5.其他一些问题的答案可以帮助您在Protégé中设置SWRL规则: