中文XML论坛 - 专业的XML技术讨论区--显示贴子

以文本方式查看主题

-  中文XML论坛 - 专业的XML技术讨论区  (http://bbs.xml.org.cn/index.asp)
--  『 Semantic Web(语义Web)/描述逻辑/本体』  (http://bbs.xml.org.cn/list.asp?boardid=2)
----  关于SWRL构建规则的逻辑不可判定性  (http://bbs.xml.org.cn/dispbbs.asp?boardid=2&rootid=&id=21194)

--  作者：windbird
--  发布时间：8/17/2005 12:20:00 PM

--  关于SWRL构建规则的逻辑不可判定性
采用SWRL建立的规则是不可判定的,那么如果能够利用这些规则进行相应的推理工作呢?请各位高手赐教.

--  作者：smileidiot
--  发布时间：8/18/2005 5:09:00 PM

--
我个人觉得，不可判定是理论上的成果，不是每个case都会出现奇怪的定义使之无法终止。如果避免递归定义等，一般的规则引擎能部分提供swrl推理的。当然，现有的科研正对swrl讨论ing，full support是不现实的，但部分满足（如DLP作为swrl的子集）还是很有价值的。。。。
本人热衷于swrl的推理（尽管有传言swrl不会被采纳）－－即便KAON2等继相推出，偶还是希望自己能找到部分解决方案，完成偶等之艰苦学业。。。

--  作者：windbird
--  发布时间：8/18/2005 9:37:00 PM

--
利用SWRL来构建规则时,好象只能采用ontology中定义的属性,用户无法采用自定义的谓词.这大大限制了其规则表达能力.不知道这算不算SWRL的一个不足.

--  作者：smileidiot
--  发布时间：8/22/2005 2:19:00 PM

--
个人认为，不算！因为自定义谓词也可以在owl里定义啊。。。
个人认为，swrl甚至可以构造高阶表达式，如下：

Narcissism(x)  likeType(x, t) & t(x)

<swrl:Variable rdf:ID="t"/>
<swrl:Variable rdf:ID="x"/>
<swrl:Imp rdf:ID="example4swrlFull">
  <swrl:head>
    <swrl:AtomList>
      <rdf:first>
        <swrl:ClassAtom>
          <swrl:argument1 rdf:resource="#x"/>
          <swrl:classPredicate rdf:ID="Narcissism"/>
        </swrl:ClassAtom>
      </rdf:first>
      <rdf:rest rdf:resource=
"http://www.w3.org/1999/02/22-rdf-syntax-ns#nil"/>
    </swrl:AtomList>
  </swrl:head>
  <swrl:body>
    <swrl:AtomList>
      <rdf:first>
        <swrl:IndividualPropertyAtom>
          <swrl:propertyPredicate rdf:ID="likeType"/>
            <swrl:argument1 rdf:resource="#x"/>
            <swrl:argument2 rdf:resource="#t"/>
          </swrl:IndividualPropertyAtom>
      </rdf:first>
      <rdf:rest>
        <swrl:AtomList>
          <rdf:first>
            <swrl:ClassAtom>
              <swrl:classPredicate rdf:resource="#t"/>
              <swrl:argument1 rdf:resource="#x"/>
            </swrl:ClassAtom>
          </rdf:first>
          <rdf:rest rdf:resource=
"http://www.w3.org/1999/02/22-rdf-syntax-ns#nil"/>
        </swrl:AtomList>
      </rdf:rest>
    </swrl:AtomList>
  </swrl:body>
</swrl:Imp>

--  作者：windbird
--  发布时间：8/22/2005 2:29:00 PM

--
何以会有人讨论描述逻辑中规则的安全性问题?以下这段话又该如何来理解呢?
However, SWRL is not yet enough, and the language should also support non DL predicates, in particular n-ary predicates that occur in body and head atoms, and negation (and disjunction) in rule body.

--  作者：yahua8023
--  发布时间：6/20/2011 8:27:00 PM

--
楼主，能不能把您的规则实例和推理代码给我也发一份啊，老师让做个本体库能进行一些基于规则的推理，谢谢啊，我邮箱wangyahuaxxy8023@163.com.
请问swrl可以描述不同本体之间的关系和推理吗？例如我建了时间本体和地理本体，我在建一个SWRL规则文件，这个文件能直接调用时间本体和地理本体里德类和属性吗？

W 3 C h i n a ( since 2003 ) 旗下站点
苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》

9,029.297ms