owl - 猫头鹰:oneof and onto:oneof support in owlim?有什么区别

Question

这是builtin_owl2-rl.pie第361行

// Part 1 of cls_oo
Id: cls_oo_1
     c <owl:oneOf>    x
     ------------------
     c <onto:_oneOf>  x                     [Context <onto:_cls_oo>]


// Part 2 of cls_oo
Id: cls_oo_2
     c  <onto:_oneOf>  x                    [Context <onto:_cls_oo>]
     x  <rdf:first>    y
     x  <rdf:rest>     z
    -------------------------------
     y  <rdf:type>     c
     c  <onto:_oneOf>  z                    [Context <onto:_cls_oo>][Constraint z != <rdf:nil>]

一些随机的东西来安抚 stackoverflow 的“AI”建议“这只是代码，添加解释”

Answer 1

此规则实现 https://www.w3.org/TR/owl2-profiles/#cls-oo .

• owl:oneOf 是原始属性；它的对象是一个列表。
• onto:_oneOf 是用于展开列表的实现属性。它始终放置在实现上下文 onto:_cls_oo 中。永远不应该返回此上下文中的三元组。

现在想象一下你有 c owl:oneOf (y1 y2) 这实际上意味着

c owl:oneOf [rdf:first y1;
         rdf:rest [rdf:first y2;
                   rdf:rest rdf:nil]]

第一条规则将其复制到onto:_oneOf。然后第二条规则产生

y1 rdf:type c.
c onto:_oneOf [rdf:first y2; 
               rdf:rest rdf:nil]]

第二条规则再次生效并产生

y1 rdf:type c.
y2 rdf:type c.
c onto:_oneOf rdf:nil

前两个是您想要推断的内容，第三个是隐藏在实现上下文中的剩余内容。

你明白了吗？如果您这样做了，请尝试证明 owl:propertyChainAxiom https://www.w3.org/TR/owl2-profiles/#prp-spo2 的实现正确的是:

Id: prp_spo2_1
    p <owl:propertyChainAxiom> pc
    start pc last                   [Context <onto:_checkChain>]
    ----------------------------
    start p last

Id: prp_spo2_2
    pc <rdf:first> p
    pc <rdf:rest> t                 [Constraint t != <rdf:nil>]
    start p next
    next t last                     [Context <onto:_checkChain>]
    ----------------------------
    start pc last                   [Context <onto:_checkChain>]

Id: prp_spo2_3
    pc <rdf:first> p
    pc <rdf:rest> <rdf:nil>
    start p last
    ----------------------------
    start pc last                   [Context <onto:_checkChain>]