新书推介:《语义网技术体系》
作者:瞿裕忠,胡伟,程龚
随时掌握技术动态,请订阅:
《Web技术日报》
《机器学习日报》
   XML论坛     >>W3CHINA.ORG讨论区<<     计算机科学论坛     SOAChina论坛     Blog     开放翻译计划     新浪微博  
 
  • 首页
  • 登录
  • 注册
  • 软件下载
  • 资料下载
  • 核心成员
  • 帮助
  •   Add to Google

    >> 本版讨论Semantic Web(语义Web,语义网或语义万维网, Web 3.0)及相关理论,如:Ontology(本体,本体论), OWL(Web Ontology Langauge,Web本体语言), Description Logic(DL, 描述逻辑),RDFa,Ontology Engineering等。
    [返回] W3CHINA.ORG讨论区 - 语义网·描述逻辑·本体·RDF·OWLW3CHINA.ORG讨论区 - Web新技术讨论『 Semantic Web(语义Web)/描述逻辑/本体 』 → 推理出来的triple对下一步推理的影响?[求助] 查看新帖用户列表

      发表一个新主题  发表一个新投票  回复主题  (订阅本版) 您是本帖的第 9212 个阅读者浏览上一篇主题  刷新本主题   树形显示贴子 浏览下一篇主题
     * 贴子主题: 推理出来的triple对下一步推理的影响?[求助] 举报  打印  推荐  IE收藏夹 
       本主题类别: Ontology Language | RDF/RDFS    
     dulm 帅哥哟,离线,有人找我吗?
      
      
      等级:大一(高数修炼中)
      文章:30
      积分:170
      门派:XML.ORG.CN
      注册:2008-11-11

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给dulm发送一个短消息 把dulm加入好友 查看dulm的个人资料 搜索dulm在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看dulm的博客楼主
    发贴心情 推理出来的triple对下一步推理的影响?[求助]

    我在OWLMINI的规则集内加了条规则
    [rulefile1: (?a test:interestOf ?b), (?c rdfs:subClassOf ?b) -> (?a test:interestOf ?c)]


    TBOX
    B subclassof A
    test:interestOf 是 test:tinyInterestOf 的父属性

    (1)
    有ABOX
    cc test:interestOf  A

    可以推出
    cc test:interestOf  B

    (2)
    有ABOX
    cc test:tinyInterestOf  A

    可以推出
    cc test:interestOf  A
    但是没有推出
    cc test:interestOf  B


    这看似是推理出来的triple对后续推理无效。就是推理出来的cc test:interestOf  A没起作用。
    但是在第一种情况中我加了C subclassof B.可以推出cc test:interestOf  C。这说明推理出来的C subclassof A起作用了。

    迷惑啊,原因是什么?还有怎么能让jena在情况2中推理出cc test:interestOf  B?


       收藏   分享  
    顶(1)
      




    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2009-7-15 22:25:00
     
     iamwym 帅哥哟,离线,有人找我吗?
      
      
      
      威望:9
      等级:计算机硕士学位(版主)
      文章:2454
      积分:17456
      门派:XML.ORG.CN
      注册:2004-11-14

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给iamwym发送一个短消息 把iamwym加入好友 查看iamwym的个人资料 搜索iamwym在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 访问iamwym的主页 引用回复这个贴子 回复这个贴子 查看iamwym的博客2
    发贴心情 
    楼主搞混了instance和class的区别,abox里面怎么去定义cc和一个class的关系呢?假设你说cc是一个instance,那么cc test:interestof A是不成立的,必须是一个cc test:interestof aa,aa是一个instance。而如果cc是一个class,那么你这个abox定义就完全是不合法的。
    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2009-7-16 14:09:00
     
     dulm 帅哥哟,离线,有人找我吗?
      
      
      等级:大一(高数修炼中)
      文章:30
      积分:170
      门派:XML.ORG.CN
      注册:2008-11-11

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给dulm发送一个短消息 把dulm加入好友 查看dulm的个人资料 搜索dulm在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看dulm的博客3
    发贴心情 
    以下是引用iamwym在2009-7-16 14:09:00的发言:
    楼主搞混了instance和class的区别,abox里面怎么去定义cc和一个class的关系呢?假设你说cc是一个instance,那么cc test:interestof A是不成立的,必须是一个cc test:interestof aa,aa是一个instance。而如果cc是一个class,那么你这个abox定义就完全是不合法的。

    http://bbs.w3china.org/dispbbs.asp?boardID=2&ID=70225

    我是特地这么定义的。
    在protege里也不可以直接写cc test:interestof A,因为A是class,我都是直接建一个和A的URI相同的resource来引用的。因为URI相同了,在RDF里又都是resource所以对推理也没影响。

    而且jena的推理应该不管abox和tbox的区别的,只考虑符合rule的body的triple是否存在,如存在就添加head的triple的。
    我现在应该怎么做才能让它顺利推理出来?

    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2009-7-16 18:45:00
     
     dulm 帅哥哟,离线,有人找我吗?
      
      
      等级:大一(高数修炼中)
      文章:30
      积分:170
      门派:XML.ORG.CN
      注册:2008-11-11

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给dulm发送一个短消息 把dulm加入好友 查看dulm的个人资料 搜索dulm在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看dulm的博客4
    发贴心情 
    只能改成两次推理才行了,在第一次的owl普通rule推出的ontmodle上,再用自己的rule推理一次。

    或者把规则改成后向的。原理与上面推理两次类似,jena的“前后混合推理”是在前向推理的基础再作后向推理,也保证了前向推理出来的cc test:interestOf  A在后向推理中必然起作用。

    http://bbs.w3china.org/dispbbs.asp?boardID=2&ID=72508
    用这两种方法这里第4条的问题还存在,就外层推理出来的triple不会触发内层的规则。


    但是还是不清楚不分内外层,所有rule混在一起推一次为什么会不起作用

    [此贴子已经被作者于2009-7-18 0:13:07编辑过]
    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2009-7-17 23:09:00
     
     Humphrey 帅哥哟,离线,有人找我吗?狮子座1981-7-23
      
      
      威望:1
      等级:研二(搞定了DL,再搞定F-Logic!)
      文章:937
      积分:5743
      门派:W3CHINA.ORG
      注册:2008-3-12

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给Humphrey发送一个短消息 把Humphrey加入好友 查看Humphrey的个人资料 搜索Humphrey在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看Humphrey的博客5
    发贴心情 
    没做过这么复杂的,但是好像跨越类的层次进行推理是不能一步实现的。
    就像查询一样,由A到B,再从B到C那么它只能按照这样的“路径”来走。如果直接就从A跳到C就不行了,这个过程应该是反映在程序中的。不知道楼主说的和我说的是不是一回事儿。
    如果楼主有了更好的实现方法别忘了给我展示一下啊!

    ----------------------------------------------
    鸿丰

    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2009-7-18 10:58:00
     
     GoogleAdSense狮子座1981-7-23
      
      
      等级:大一新生
      文章:1
      积分:50
      门派:无门无派
      院校:未填写
      注册:2007-01-01
    给Google AdSense发送一个短消息 把Google AdSense加入好友 查看Google AdSense的个人资料 搜索Google AdSense在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 访问Google AdSense的主页 引用回复这个贴子 回复这个贴子 查看Google AdSense的博客广告
    2019-7-17 5:05:43

    本主题贴数5,分页: [1]

    管理选项修改tag | 锁定 | 解锁 | 提升 | 删除 | 移动 | 固顶 | 总固顶 | 奖励 | 惩罚 | 发布公告
    W3C Contributing Supporter! W 3 C h i n a ( 2 0 0 3 - 2 0 1 0 ) 旗 下 站 点
    苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
    46.875ms