新书推介：《语义网技术体系》
作者：瞿裕忠，胡伟，程龚
   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讨论区 - Web新技术讨论 → 『 Semantic Web(语义Web)/描述逻辑/本体 』 → 推理ABC ◇查看新帖 ◇ 用户列表 ◇

      发表一个新主题  发表一个新投票  回复主题  (订阅本版) 您是本帖的第 8591 个阅读者浏览上一篇主题  刷新本主题   树形显示贴子　浏览下一篇主题
     * 贴子主题： 推理ABC 举报  打印  推荐  IE收藏夹 
       本主题类别:     
     zhinlang 帅哥哟，离线，有人找我吗？
      
      
      等级：大一新生
      文章：12
      积分：102
      门派：XML.ORG.CN
      注册：2007/10/26

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

    我很想下载东西，可是我的积分是多少啊？
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2007/11/14 17:35:00
     
     zhinlang 帅哥哟，离线，有人找我吗？
      
      
      等级：大一新生
      文章：12
      积分：102
      门派：XML.ORG.CN
      注册：2007/10/26

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给zhinlang发送一个短消息 把zhinlang加入好友 查看zhinlang的个人资料 搜索zhinlang在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看zhinlang的博客第12楼
    发贴心情 
    我只想到80分！
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2007/11/14 17:36:00
     
     jpz6311whu 帅哥哟，离线，有人找我吗？
      
      
      
      威望：9
      等级：研三(收到微软亚洲研究院的Offer了)(版主)
      文章：1718
      积分：10610
      门派：W3CHINA.ORG
      注册：2005/4/12

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给jpz6311whu发送一个短消息 把jpz6311whu加入好友 查看jpz6311whu的个人资料 搜索jpz6311whu在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看jpz6311whu的博客第13楼
    发贴心情 
    以下是引用cooperator在2007-11-14 11:34:00的发言：
    我应用了推理机，还是不行，启动了racerpro，使用classify taxonomy，然后看到a这个实例里还是只有b我给它定义的，没有推理得到c啊，我的做法不对吗？


    is part of 设置成传递Transitive型的就可以了
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2007/11/14 18:51:00
     
     jpz6311whu 帅哥哟，离线，有人找我吗？
      
      
      
      威望：9
      等级：研三(收到微软亚洲研究院的Offer了)(版主)
      文章：1718
      积分：10610
      门派：W3CHINA.ORG
      注册：2005/4/12

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给jpz6311whu发送一个短消息 把jpz6311whu加入好友 查看jpz6311whu的个人资料 搜索jpz6311whu在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看jpz6311whu的博客第14楼
    发贴心情 
    以下是引用szjing在2007-11-14 11:45:00的发言：
    借个地方问下：
    对于“推理”这个概念究竟应该如何理解？
    所谓推理是不是指隐性规则的显性化过程？
    如lz的例子，A is-part-of B，B is-part-of C,is-part-of是Transitive，这三条规则是显性的，是人为定义的，而A is-part-of C是隐性的，是没有经过人为明文定义的。但由于前三条规则的约束存在，使得第四条规则在概念上是客观存在的。所以推理的过程就是将隐性规则显性化过程。
    而我们使用的推理机便是用来进行此项工作的。
    但如果上述理解正确的话，
    那么，当某一个概念空间确定了后（即显性规则定义结束），其隐形规则也便形成，那使用推理机将隐形规则显性化的过程只有一次便结束。
    难道说，推理就是一次的过程？
    这个问题困扰我好久，对于推理，究竟应该如何理解？
    //thx
    //bow


    我觉得可以这样理解
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2007/11/14 19:15:00
     
     cooperator 帅哥哟，离线，有人找我吗？
      
      
      等级：大二期末(Java考了96分!)
      文章：61
      积分：400
      门派：XML.ORG.CN
      注册：2007/5/4

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给cooperator发送一个短消息 把cooperator加入好友 查看cooperator的个人资料 搜索cooperator在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看cooperator的博客第15楼
    发贴心情 
    is part of 是传递Transitive型的,不行啊,
    jpz6311whu ,
    你能帮我在你那边试试吗？要是能出来，给我发上来，行吗？
    是不是我的动手能力太弱了，麻烦你了
    ABC三个类，创建abc三个实例，is-part-of一个对象属性，传递型的，查询结果？？
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2007/11/14 19:23:00
     
     nihao620 美女呀，离线，快来找我吧！双子座1985-6-20
      
      
      等级：大一(猛啃高等数学)
      文章：23
      积分：184
      门派：XML.ORG.CN
      注册：2006/10/9

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给nihao620发送一个短消息 把nihao620加入好友 查看nihao620的个人资料 搜索nihao620在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看nihao620的博客第16楼
    发贴心情 
    我也推不出来啊...
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2007/11/17 17:20:00
     
     cooperator 帅哥哟，离线，有人找我吗？
      
      
      等级：大二期末(Java考了96分!)
      文章：61
      积分：400
      门派：XML.ORG.CN
      注册：2007/5/4

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给cooperator发送一个短消息 把cooperator加入好友 查看cooperator的个人资料 搜索cooperator在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看cooperator的博客第17楼
    发贴心情 
    恩,肯定是我们的想法有错误，不是这样推理的，要不就是推理机不是这样用的。我们把事情想的太简单了？
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2007/11/17 20:32:00
     
     jpz6311whu 帅哥哟，离线，有人找我吗？
      
      
      
      威望：9
      等级：研三(收到微软亚洲研究院的Offer了)(版主)
      文章：1718
      积分：10610
      门派：W3CHINA.ORG
      注册：2005/4/12

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给jpz6311whu发送一个短消息 把jpz6311whu加入好友 查看jpz6311whu的个人资料 搜索jpz6311whu在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看jpz6311whu的博客第18楼
    发贴心情 
    我也没有试出来，protege可能是没有这个功能吧
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2007/11/17 21:19:00
     
     baojie 帅哥哟，离线，有人找我吗？
      
      
      
      威望：9
      头衔：小学生
      等级：研一(参加了一年一度的XML大会)(贵宾)
      文章：667
      积分：4442
      门派：XML.ORG.CN
      注册：2003/11/24

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给baojie发送一个短消息 把baojie加入好友 查看baojie的个人资料 搜索baojie在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 点击这里发送电邮给baojie  访问baojie的主页 引用回复这个贴子 回复这个贴子 查看baojie的博客第19楼
    发贴心情 
    问题在于你怎么定义A is-part-of B. 在DL里，如果A，B是类，是定义成A \subclass \exists is-part-of.B ? F-logic我不清楚。不过我觉得Protege的推理应是对的，本来就应返回空集
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2007/11/18 4:15:00
     
     GoogleAdSense
      
      
      等级：大一新生
      文章：1
      积分：50
      门派：无门无派
      院校：未填写
      注册：2007-01-01
    给Google AdSense发送一个短消息 把Google AdSense加入好友 查看Google AdSense的个人资料 搜索Google AdSense在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 点击这里发送电邮给Google AdSense  访问Google AdSense的主页 引用回复这个贴子 回复这个贴子 查看Google AdSense的博客广告
    2025/10/10 6:33:54

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

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