以文本方式查看主题 - 计算机科学论坛 (http://bbs.xml.org.cn/index.asp) -- 『 Semantic Web(语义Web)/描述逻辑/本体 』 (http://bbs.xml.org.cn/list.asp?boardid=2) ---- 向高手请教:如何在protege下实现高级推理(自定义规则的推理) (http://bbs.xml.org.cn/dispbbs.asp?boardid=2&rootid=&id=27173) |
-- 作者:feifeifly -- 发布时间:2/11/2006 5:33:00 PM -- 向高手请教:如何在protege下实现高级推理(自定义规则的推理) 大家都知道,protege下可以通过DIG接口使用一个外部推理机(如Racer)实现基于RDF和OWL的推理,那么,是否有合适的插件能够支持在Protege下实现一种普通的规则推理呢? 解释一下我这里所说的普通推理。大家知道,Jena中有三种推理机,最后一种就是Generic Rule Reasoner,也就是普通规则推理机。借助这个推理机,我们只要输入规则+模型,就可以推导出一个新的模型,实现诸如a是b的父亲,b是c的父亲,那么推出a是c的祖父这样的答案。 在Jena下实现这样的推理并不困难,可是在开发阶段,使用Jena毕竟不如直接在Protege中操作方便。因此,我想如果有一个插件像SWRL插件那样能够在Protege下书写一般规则,然后执行一个推理,就可以基于这些规则和当前的本体内容,推导出新的知识,岂不是很好? 不知道目前有没有这样的插件支持,有知道的高手请指点一下! |
-- 作者:jpz6311whu -- 发布时间:2/11/2006 6:14:00 PM -- 你可以自己写一个这样的插件。 jena的Generic Rule Reasoner的API已经有了,你要做的只是做一个protege的UI接口,而且这个UI接口可以参考protege对Racer的DIG支持,就是显示asserted和infered两个库,应该不难的哦,毕竟protege也是开源的。。。。 |
W 3 C h i n a ( since 2003 ) 旗 下 站 点 苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》 |
46.875ms |