新书推介：《语义网技术体系》
作者：瞿裕忠，胡伟，程龚
   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等。
    [返回] 中文XML论坛 - 专业的XML技术讨论区 → W3CHINA.ORG讨论区 - Web新技术讨论 → 『 Semantic Web(语义Web)/描述逻辑/本体 』 → 用RACER进行本体论推理时报错,不知何故,请高手指点. ◇查看新帖 ◇ 用户列表 ◇

      发表一个新主题  发表一个新投票  回复主题  (订阅本版) 您是本帖的第 18680 个阅读者浏览上一篇主题  刷新本主题   树形显示贴子　浏览下一篇主题
     * 贴子主题： 用RACER进行本体论推理时报错,不知何故,请高手指点. 举报  打印  推荐  IE收藏夹 
       本主题类别:     
     jiachong 帅哥哟，离线，有人找我吗？
      
      
      威望：4
      等级：
      文章：227
      积分：1515
      门派：IEEE.ORG.CN
      注册：2004/11/21

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给jiachong发送一个短消息 把jiachong加入好友 查看jiachong的个人资料 搜索jiachong在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看jiachong的博客第21楼
    发贴心情 

    tableaux算法不支持对于个体实例的推理，那么描述逻辑里面的ABox中的实例断言唯一
    可能用在推理中的方法是不是先通过概念推理得出一些引申结论，然后利用实例对所属概念断言的继承得出实例结论？
    例如tom同时属于概念A和B，通过概念推理得出结论：概念A和B的交集属于属于C，那么tom属于C？
    刚刚接触，叙述中有些理解可能不对，敬请大家赐教

    以下是引用sleepyboy在2005-1-22 19:41:19的发言：
    太感谢了！！
    （racer另外还不支持对于数字的推理，racer的推理是基于owl dl的，不能对owl full进行很好的推理，因此rdfs也是一样，并不支持其中的推理。）
    这个我理解！
    （tableaux算法不支持对于个体实例的推理，因此racer也不支持）。
    这个我倒是在文档里看过
    （但如果Jim属于father，jim是一个实例，那就不支持对于jim的推理。）
    Jim=jim?如果等于 那么我知道了jim那么我可以得到father这个概念，能否得到person还要再做实验。
    （我们编写ontology，目的并不是让他们去应用在推理上。推理只是为了检测我们编写的ontology是否满足，一致，逻辑上没有错误。我们还是要围绕Ontology进行应用，比如作为知识库之类的。现在有不少搞sw的教授网页已经是用sw技术编写出来的，大家可以找找看。另外ontology在web annotation上的应用，也有些人开发出了浏览器的sidebar插件，也很有意思。我也见过基于sw的搜索引擎。不过个人认为现在这些东西都还是实验用的toy，离应用，真的还比较远）
    醍壶灌顶！！
    斑竹有QQ伐 偶想和你讨论点问题 如果不太方便我可以在论坛里问拉 群里你叫啥？


    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2005/1/27 10:35:00
     
     sleepyboy 帅哥哟，离线，有人找我吗？
      
      
      等级：大一(高数修炼中)
      文章：25
      积分：165
      门派：XML.ORG.CN
      注册：2004/10/24

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给sleepyboy发送一个短消息 把sleepyboy加入好友 查看sleepyboy的个人资料 搜索sleepyboy在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看sleepyboy的博客第22楼
    发贴心情 
    我看了半天的 tableau 有没有个例子说明亚！！
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2005/1/27 13:23:00
     
     iamwym 帅哥哟，离线，有人找我吗？
      
      
      
      威望：9
      等级：计算机硕士学位(版主)
      文章：2454
      积分：17456
      门派：XML.ORG.CN
      注册：2004/11/14

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给iamwym发送一个短消息 把iamwym加入好友 查看iamwym的个人资料 搜索iamwym在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 访问iamwym的主页 引用回复这个贴子 回复这个贴子 查看iamwym的博客第23楼
    发贴心情 
    http://www.inf.unibz.it/~franconi/dl/course/dlhb/dlhb-01.pdf

    第一章在这里，后面01改成其它章节就可以

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2005/1/27 18:51:00
     
     sleepyboy 帅哥哟，离线，有人找我吗？
      
      
      等级：大一(高数修炼中)
      文章：25
      积分：165
      门派：XML.ORG.CN
      注册：2004/10/24

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给sleepyboy发送一个短消息 把sleepyboy加入好友 查看sleepyboy的个人资料 搜索sleepyboy在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看sleepyboy的博客第24楼
    发贴心情 
    Thanks!!!  you are 好人。。
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2005/1/29 19:46:00
     
     hata 帅哥哟，离线，有人找我吗？
      
      
      等级：大一新生
      文章：0
      积分：74
      门派：XML.ORG.CN
      注册：2005/2/13

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给hata发送一个短消息 把hata加入好友 查看hata的个人资料 搜索hata在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看hata的博客第25楼
    发贴心情 
    Racer surely can do ABox reasoning (instance reasoning),actually that is most important advantage of using it over other reaoners, e.g, FacT from Univ of Manchester. And it can support limited concrete domain reasoning too, e.g, domain constraint like X<3, X>5, Racer can conclude the obvious inconsistency here.
    Tableau rules do not explicit state the instance leve reasoning, but since ABox reasoning can reduce to TBox reasoning, it is not a big issue at all. And who can say that instances are not involved in Tableau rules??
    Actually Protege is just an ontology editor and its owl plugin just uses a very small part of Racer commands to do the consistency checking and inferring. For example its consistency checking is only TBox level (Concept level) and it will not return any error information if there is inconsistency in ABox, but using Racer you can get the warning.
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2005/2/13 0:40:00
     
     iamwym 帅哥哟，离线，有人找我吗？
      
      
      
      威望：9
      等级：计算机硕士学位(版主)
      文章：2454
      积分：17456
      门派：XML.ORG.CN
      注册：2004/11/14

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给iamwym发送一个短消息 把iamwym加入好友 查看iamwym的个人资料 搜索iamwym在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 访问iamwym的主页 引用回复这个贴子 回复这个贴子 查看iamwym的博客第26楼
    发贴心情 
    对楼上几个疑问：
    -racer如何实现instance推理？是否把一个individual算作一个类？如果是这样，protege owl plugin不支持这种方法的推理恐怕是因为效率太差。

    -tablueax算法如何对instance进行推理？能否举例，例出推理过程？

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2005/2/13 2:50:00
     
     yina 美女呀，离线，快来找我吧！
      
      
      等级：大二期末(C++考了100分!)
      文章：55
      积分：314
      门派：XML.ORG.CN
      注册：2004/9/2

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给yina发送一个短消息 把yina加入好友 查看yina的个人资料 搜索yina在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看yina的博客第27楼
    发贴心情 
    把racer放在protege的插件中，先打开racer，然后在打开protege就可以进行推理了
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2005/5/25 15:38:00
     
     yina 美女呀，离线，快来找我吧！
      
      
      等级：大二期末(C++考了100分!)
      文章：55
      积分：314
      门派：XML.ORG.CN
      注册：2004/9/2

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给yina发送一个短消息 把yina加入好友 查看yina的个人资料 搜索yina在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看yina的博客第28楼
    发贴心情 
    我也出错了，咋办？
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2005/5/25 15:42:00
     
     yina 美女呀，离线，快来找我吧！
      
      
      等级：大二期末(C++考了100分!)
      文章：55
      积分：314
      门派：XML.ORG.CN
      注册：2004/9/2

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给yina发送一个短消息 把yina加入好友 查看yina的个人资料 搜索yina在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看yina的博客第29楼
    发贴心情 
    windbird！你的问题解决没有啊？我也有同样的问题，求救啊！
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2005/5/25 15:44:00
     
     GoogleAdSense
      
      
      等级：大一新生
      文章：1
      积分：50
      门派：无门无派
      院校：未填写
      注册：2007-01-01
    给Google AdSense发送一个短消息 把Google AdSense加入好友 查看Google AdSense的个人资料 搜索Google AdSense在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 访问Google AdSense的主页 引用回复这个贴子 回复这个贴子 查看Google AdSense的博客广告
    2025/7/23 23:57:51

    本主题贴数29，分页： [1] [2] [3]

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