1

我想使用 protege 5.0 开发一个本体。在我的本体中有一个名为“x”的数据属性，其范围是整数。我还有一个名为“y”的对象属性。无论如何要在“y”中添加这样的等式：x = x + 5。如果y发生，我想要将5添加到x值。我可以在 protege 中做到这一点吗？

4

1 回答 1

2

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

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

这就是说，当一个（命名的）个体 ?i 的 x 值为 ?n 时，它也有 ?m 的 y 值，其中 ?m 等于 ?n + 5。其他一些问题的答案可以帮助您获得在 Protégé 中设置 SWRL 规则：

于 2014-09-16T11:16:35.687 回答