新书推介：《语义网技术体系》
作者：瞿裕忠，胡伟，程龚
   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·OWL → W3CHINA.ORG讨论区 - Web新技术讨论 → 『 Semantic Web(语义Web)/描述逻辑/本体 』 → 推理出来的triple对下一步推理的影响？[求助] ◇查看新帖 ◇ 用户列表 ◇

      发表一个新主题  发表一个新投票  回复主题  (订阅本版) 您是本帖的第 10250 个阅读者浏览上一篇主题  刷新本主题   树形显示贴子　浏览下一篇主题
     * 贴子主题： 推理出来的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的博客广告
    2024/4/19 13:50:43

    本主题贴数5，分页： [1]

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