owl - 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")

提前致谢。