在自定义GraphDB规则集中使用算术函数

Question

我想向OWL-2-RL规则集(builtin_owl2-rl.py)中添加一个自定义规则，该规则在彼此相反的向量之间建立一个isOppositeDirectionOf对象属性。我觉得应该是这样的：

Id: oppositeDirectionVector_rule
     v1 <rdf:type> <cad:Vector>
     v1 <cad:x> v1x            // example data property for v1x: "1.0"^^xsd:double
     v1 <cad:y> v1y
     v1 <cad:z> v1z
     v2 <rdf:type> <cad:Vector>
     v2 <cad:x> -v1x
     v2 <cad:y> -v1y
     v2 <cad:z> -v1z
    -------------------------------
    v1 <cad:isOppositeDirectionOf> v2

没有最小值，此规则确实可以创建isSameVectorAs对象属性。有什么方法可以在规则中对数据属性使用基本算术函数吗？

Answer 1

不能在规则中使用基本算术函数。由于性能原因，GraphDB规则引擎使用内部数据库标识符，而不是实际的RDF值，即内部id 10001而不是"1"^^xsd:double。因此，唯一支持的变量比较操作是如果两个内部标识符相等或不相等。

编辑遵循：GraphDB插件API下面的注释是将代码与数据库集成的唯一机制。使用?s <cad:x> ?o谓词的每个语句都可以实现一个插件--一个新语句?s <cad:oppositeX> -?o。不幸的是，它也应该处理删除。