“为所有人”使用 Apache Jenas 规则引擎

Question

我目前正在研究一些关于 Apache Jena 的小例子。 我想展示的是通用量化。

假设我有一个球，每个球都有不同的颜色。 这些球存放在盒子里。 我现在想确定这些盒子是否只包含与混合时颜色相同的球。

所以基本上是这样的：SAME_COLOR = ∃x∀y:{y in Box a → color of y = x}

我知道这对于 Jena 来说可能是不可能的，并且可以转换为以下内容：SAME_COLOR = ∃x¬∃y:{y in Box a → color of y != x}

可以使用“不存在”Jena 的“NoValue”，但是，这（至少对我而言）不起作用，我不知道如何在 Jena 中翻译上述逻辑表示。 对此有何想法？

请参阅下面的代码，这是我能想到的唯一方法：

(?box, ex:isA, ex:Box)
(?ball, ex:isIn, ?box)
(?ball, ex:hasColor, ?color)
(?ball2, ex:isIn, ?box)
(?ball2, ex:hasColor, ?color2)
NotEqual(?color, ?color2)
->
(?box, ex:hasSomeColors, "No").


(?box, ex:isA, ex:Box)
NoValue(?box, ex:hasSomeColors)
->
(?box, ex:hasSomeColors, "Yes").

具有混合内容的框现在具有值“是”和“否”。

Answer 1

我遇到了同样的问题，它更简单。 问题是如何获取对象集合或计数。 规则引擎中的对象。 鉴于res:subj ont:has res:obj_xxx (几个对象)，如何在规则引擎中获取此值？

但是我刚刚找到了一个名为 Remove() 的 Primitive，这可能会对我有所启发。