SWRL用于选择正确的值？

Question

我正在尝试创建一个拉丁方块的本体，并让推理器解决它（从一个简单的2x2方块开始并从那里开始）没有太大的成功。

我遇到的主要问题是以一种方式编写规则，以查看广场中缺少的值。 我正在使用dataProperty hasValue 作为整数。 类似的东西：

Cell(?cell1) ^ hasValue(?cell1,?number1) ^ 
Cell(?cell2) ^ hasValue(?cell2,?number2) ^ 
Cell(?cell3) ^ hasValue(?cell3,?number3) ^
Cell(?cell4) ^ differentFrom(?number1, ?number2)
=>
hasValue(?Cell4,"desired result")

提前致谢。