新书推介：《语义网技术体系》
作者：瞿裕忠，胡伟，程龚
   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)/描述逻辑/本体 』 → 大家帮着讨论一下，研究某一特定领域的本体的完备性有意义吗？ ◇查看新帖 ◇ 用户列表 ◇

      发表一个新主题  发表一个新投票  回复主题  (订阅本版) 您是本帖的第 6412 个阅读者浏览上一篇主题  刷新本主题   树形显示贴子　浏览下一篇主题
     * 贴子主题： 大家帮着讨论一下，研究某一特定领域的本体的完备性有意义吗？ 举报  打印  推荐  IE收藏夹 
       本主题类别:     
     lloyd 帅哥哟，离线，有人找我吗？
      
      
      等级：大一(高数修炼中)
      文章：26
      积分：185
      门派：XML.ORG.CN
      注册：2006/3/13

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给lloyd发送一个短消息 把lloyd加入好友 查看lloyd的个人资料 搜索lloyd在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看lloyd的博客楼主
    发贴心情 大家帮着讨论一下，研究某一特定领域的本体的完备性有意义吗？

    大家好，有谁知道怎么证明领域本体的完备性，就是它把该领域的知识描述全了，从这个角度考虑有意义吗

       收藏   分享  
    顶(0)
      




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

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给iamwym发送一个短消息 把iamwym加入好友 查看iamwym的个人资料 搜索iamwym在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 访问iamwym的主页 引用回复这个贴子 回复这个贴子 查看iamwym的博客第2楼
    发贴心情 
    是一致性检测，不是完备吧
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/4/28 16:32:00
     
     superc_7 帅哥哟，离线，有人找我吗？射手座1983-12-15
      
      
      威望：6
      等级：研一(彻夜钻研J2EE)
      文章：504
      积分：3396
      门派：XML.ORG.CN
      注册：2005/4/22

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给superc_7发送一个短消息 把superc_7加入好友 查看superc_7的个人资料 搜索superc_7在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 点击这里发送电邮给superc_7  引用回复这个贴子 回复这个贴子 查看superc_7的博客第3楼
    发贴心情 
    像DL和OWL都是OWA
    前提就是认为KB的知识是不完备的
    而且实际感觉上来看
    知识是动态变化的
    完备性不太可能吧
    不过如何将CWA应用到OWL中表示上来好像还是个open issue
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/4/28 16:53:00
     
     lloyd 帅哥哟，离线，有人找我吗？
      
      
      等级：大一(高数修炼中)
      文章：26
      积分：185
      门派：XML.ORG.CN
      注册：2006/3/13

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给lloyd发送一个短消息 把lloyd加入好友 查看lloyd的个人资料 搜索lloyd在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看lloyd的博客第4楼
    发贴心情 
    to iamwym:
       我知道你是个高手，给我点意见吧，你说的一致性检测是什么意思？感觉我和你说的不是一个意思。我的意思是说比如我做了一个医学领域的本体，我怎么能证明它把所有医学领域的知识都涵盖了，如果本体不能涵盖所有的知识，那怎么能界定它描述到什么程度了？
    to superc_7：
            你说的OWA是什么？CWA又是什么？也请你帮我解答一下上面的问题，谢谢大家
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/4/28 18:13:00
     
     horizonman 帅哥哟，离线，有人找我吗？
      
      
      等级：大二(研究C++)
      文章：49
      积分：297
      门派：W3CHINA.ORG
      注册：2005/9/27

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给horizonman发送一个短消息 把horizonman加入好友 查看horizonman的个人资料 搜索horizonman在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看horizonman的博客第5楼
    发贴心情 
    不大可能！其实本体的理念是让大家来一起完善，你觉得该加什么就加点，他觉得该加什么就加点。某个领域的知识是否完备谁都不知道。
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/4/28 19:13:00
     
     superc_7 帅哥哟，离线，有人找我吗？射手座1983-12-15
      
      
      威望：6
      等级：研一(彻夜钻研J2EE)
      文章：504
      积分：3396
      门派：XML.ORG.CN
      注册：2005/4/22

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给superc_7发送一个短消息 把superc_7加入好友 查看superc_7的个人资料 搜索superc_7在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 点击这里发送电邮给superc_7  引用回复这个贴子 回复这个贴子 查看superc_7的博客第6楼
    发贴心情 
    以下是引用lloyd在2006-4-28 18:13:00的发言：
    to iamwym:
        我知道你是个高手，给我点意见吧，你说的一致性检测是什么意思？感觉我和你说的不是一个意思。我的意思是说比如我做了一个医学领域的本体，我怎么能证明它把所有医学领域的知识都涵盖了，如果本体不能涵盖所有的知识，那怎么能界定它描述到什么程度了？
    to superc_7：
             你说的OWA是什么？CWA又是什么？也请你帮我解答一下上面的问题，谢谢大家

    OWA是open world assumption，开放世界假定
    CWA是close world assumption，封闭世界假定

    一个领域内的知识究竟有多少很难说
    因而一般都认为知识库中的知识并不是完备的
    可能根本不会有所谓的“所有知识”
    因为人们无时无刻不在产生新的知识
    因而说知识库的完备性感觉没有什么意义
    呵呵，个人理解

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/4/28 19:50:00
     
     iamwym 帅哥哟，离线，有人找我吗？
      
      
      
      威望：9
      等级：计算机硕士学位(版主)
      文章：2454
      积分：17456
      门派：XML.ORG.CN
      注册：2004/11/14

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给iamwym发送一个短消息 把iamwym加入好友 查看iamwym的个人资料 搜索iamwym在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 访问iamwym的主页 引用回复这个贴子 回复这个贴子 查看iamwym的博客第7楼
    发贴心情 
    同意楼上，不可能有人搞完备性检测，都是satisfiablity, consistency checking之类的
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/4/28 23:07:00
     
     wason21cn 帅哥哟，离线，有人找我吗？
      
      
      等级：大四(GRE考了1400分!)
      文章：117
      积分：1001
      门派：W3CHINA.ORG
      注册：2004/11/17

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给wason21cn发送一个短消息 把wason21cn加入好友 查看wason21cn的个人资料 搜索wason21cn在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看wason21cn的博客第8楼
    发贴心情 
    好像没有听说过关于证明领域本体的完备性， 楼主是不是想说明一个推理机制的完备性，对于本体而言没有完备性可说，但是对于一个推理机制（inference machanism）来说是有的。 比如说有一个推理在一个ontology进行推理，关于这个推理机，我们可以说他的完备性（completeness），正确性（soundness）和可决定性（decidablity）。 什么叫完备性，对于正确的答案，推理机总能找到，如果对于一个正确的答案，推理机找不到的话，那么这个inference machanism就是不完备的（incompleteness）。 什么叫正确性？ 对于一个正确的答案，推理机总是回答yes， 如果有一个错误的答案，回答了yes，那么就是不正确的。 可决定性是指推理机是可以停止的，对于一个输入总能找到正确或者错误的答案。  还有一个是部分可决定的，semi-decidable or partially decidable, 总是停止，并且对于正确的答案，能够回答yes.
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/4/28 23:31:00
     
     wolfel 帅哥哟，离线，有人找我吗？
      
      
      威望：2
      等级：计算机学士学位
      文章：280
      积分：2178
      门派：W3CHINA.ORG
      注册：2005/3/17

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给wolfel发送一个短消息 把wolfel加入好友 查看wolfel的个人资料 搜索wolfel在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看wolfel的博客第9楼
    发贴心情 
    楼主说的本体的完备性，应该不是楼上所说的逻辑上的完备性。

    可能是信息的completeness。就是本体的形式化完全的对一个领域进行了建模。这个问题有没有具体的形式化的方法，我还没有看到过。

    ----------------------------------------------
    Correct reasoning is our business.

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/4/29 0:02:00
     
     lloyd 帅哥哟，离线，有人找我吗？
      
      
      等级：大一(高数修炼中)
      文章：26
      积分：185
      门派：XML.ORG.CN
      注册：2006/3/13

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给lloyd发送一个短消息 把lloyd加入好友 查看lloyd的个人资料 搜索lloyd在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看lloyd的博客第10楼
    发贴心情 
    谢谢大家的帮忙解释，我的意思就是wolfel说的，可能我没有把意思表达表达清楚，如果有熟悉这方面的朋友，请继续给些帮助啊，如果有这方面的资料给我推荐一些，如果没有能不能帮我解释一下为什么本体中信息不能completeness的原因，谢谢大家的帮忙
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/4/29 6:19:00
     
     GoogleAdSense
      
      
      等级：大一新生
      文章：1
      积分：50
      门派：无门无派
      院校：未填写
      注册：2007-01-01
    给Google AdSense发送一个短消息 把Google AdSense加入好友 查看Google AdSense的个人资料 搜索Google AdSense在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 访问Google AdSense的主页 引用回复这个贴子 回复这个贴子 查看Google AdSense的博客广告
    2025/10/1 10:00:48

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

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