java - 从数学表达式到耶拿规则

Question

令A = {x₁,x₂,…,x_n}。我们想要计算 x_i 和 x_j 之间的差异，其中 x_j 是 min{x ∈ A : x > x_i }。是否可以将这种表达式翻译成耶拿规则？

Answer 1

是的，您可以在 Jena Rules 和 Jena ARQ(SPARQL 的查询处理引擎)中执行此操作。

设置

假设您已经定义了数据的结构化表示。对于 X_i，您有一个与以下内容相对应的对象 (N3):

[ a :Entry
; :hasEntryValue 4.3
]

然后，对于您的集合 A，您可以将其值定义为 RDF 集合，例如 rdf:List 。例如，下面的 N3 将描述集合A={4.3, 4.2}。

[ a :Set
; dct:identifier "A"
; entries ( [  a :Entry
            ;  :hasEntryValue 4.3
            ][ a :Entry
            ;  :hasEntryValue 4.2
            ] )
] .

耶拿规则

在耶拿规则中，您可以编写以下内容:

[calculate: ( ?set rdf:type :Set ),
            ( ?set rdfs:member ?x0 ),
            nextSmallest( ?set ?x0 ?x1 ),
            makeSkolem( ?calculated ?x0 ?set),
            difference( ?difference ?x0 ?x1)
            -> (?calculated :hasValue ?difference),
               (?calculated :derivedFrom ?x0),
               (?calculated :derivedFrom ?x1)
]

这需要您 construct a Jena Builtin对于nextSmallest查询的一部分。对于给定值，上述规则为 ?x0 ，在特定集合内，?set ，尝试识别nextSmallest元素，?x1 ，并且(如果成功)构造一个新节点 ?calculated并关联?difference通过一些特定领域的方式来使用它 :hasValue属性(property)。作为风格说明，我还介绍了 :derivedFrom属性以便跟踪该节点来自哪里，这样它就不会作为计算结果无用。

在 ARQ/SPARQL 中

第一个问题是您是否希望结果与数据一起出现在图表中(如基于规则的方法)，或者您只是想要结果。如果您只想要结果，您可以选择结果是否采用图表形式。最简单的方法就是简单地 SELECT结果:

SELECT ?set ?x0Val (BIND(?x1Val-?x0Val) AS ?difference) WHERE {
    ?set rdf:type :Set .
    ?set rdfs:member ?x0 .
    ?set rdfs:member ?x1 .
    ?x0 :hasEntryValue ?x0Val .
    ?x1 :hasEntryValue ?x1Val .
    FILTER( ?x0Val < ?x1Val )
    FILTER NOT EXISTS {
        ?set rdfs:member ?otherEntry .
        ?otherEntry :hasEntryValue ?otherVal .
        FILTER( ?x0Val < ?otherVal && ?otherVal < ?x1Val ) .
    }
}

上面的查询是我凭空想到的，所以可能需要一些调整。其要点是检索集合中的任意两个成员，并将它们定向为 ?x0是两者中较小的一个。然后，如果绑定(bind)对之间存在任何对，则将其丢弃。在为 ?x0 选择绑定(bind)时，查询引擎将考虑该集合的笛卡尔积。和?x1包括当 sameTerm(?x0, ?x1) ，所以使用 FILTER( ?x0Val < ?x1Val )提供了一种快速方法来丢弃非常糟糕的绑定(bind)。