新书推介：《语义网技术体系》
作者：瞿裕忠，胡伟，程龚
   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)/描述逻辑/本体 』 → 谁能介绍一下Ｔ－Ｂｏｘ，Ａ－Ｂｏｘ以及Tableau算法的原理 ◇查看新帖 ◇ 用户列表 ◇

      发表一个新主题  发表一个新投票  回复主题  (订阅本版) 您是本帖的第 8793 个阅读者浏览上一篇主题  刷新本主题   树形显示贴子　浏览下一篇主题
     * 贴子主题： 谁能介绍一下Ｔ－Ｂｏｘ，Ａ－Ｂｏｘ以及Tableau算法的原理 举报  打印  推荐  IE收藏夹 
       本主题类别:     
     ewitt 帅哥哟，离线，有人找我吗？
      
      
      等级：大一(高数修炼中)
      文章：21
      积分：136
      门派：XML.ORG.CN
      注册：2005/3/11

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给ewitt发送一个短消息 把ewitt加入好友 查看ewitt的个人资料 搜索ewitt在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看ewitt的博客楼主
    发贴心情 谁能介绍一下Ｔ－Ｂｏｘ，Ａ－Ｂｏｘ以及Tableau算法的原理

    由于我的逻辑基础比较差，相向你们问一下关于这些知识的来龙去脉，这几天看的论文里有所涉及，不理解这些东西看不动呀，谢谢！！！！

       收藏   分享  
    顶(0)
      




    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/2/20 17:24:00
     
     jiexincao 帅哥哟，离线，有人找我吗？
      
      
      威望：6
      等级：计算机学士学位
      文章：394
      积分：2379
      门派：XML.ORG.CN
      注册：2005/1/27

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给jiexincao发送一个短消息 把jiexincao加入好友 查看jiexincao的个人资料 搜索jiexincao在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看jiexincao的博客第2楼
    发贴心情 
    描述逻辑手册里的第一和第二章讲的比较清楚，建议看看。
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/2/20 20:50:00
     
     kolapig 帅哥哟，离线，有人找我吗？
      
      
      威望：9
      等级：大三暑假(ITELS考了7分!)(版主)
      文章：127
      积分：1003
      门派：XML.ORG.CN
      注册：2005/7/15

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给kolapig发送一个短消息 把kolapig加入好友 查看kolapig的个人资料 搜索kolapig在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看kolapig的博客第3楼
    发贴心情 
    应该不会有人回答这个问题，还是要自己去看。
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/2/20 23:36:00
     
     wason21cn 帅哥哟，离线，有人找我吗？
      
      
      等级：大四(GRE考了1400分!)
      文章：117
      积分：1001
      门派：W3CHINA.ORG
      注册：2004/11/17

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给wason21cn发送一个短消息 把wason21cn加入好友 查看wason21cn的个人资料 搜索wason21cn在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看wason21cn的博客第4楼
    发贴心情 
    大家都是从不懂到入门, 学习DL最难可能就是入门了，我只能的帮你解释一些相关的联系，具体的还需要你自己看。在这个问题以前，你必须要知道几个最基本的概念，现在假设你已经知道了T－box和A－box的概念了，那么Tableau算法的目的是干什么？  首先提出一个关键字 inference problem。 对于研究DL的人来说 inference problem是一个非常感兴趣的问题。 那么什么又是inference problem？ 对于A－box 和 T－box来说他们有各自不同的inference problem？ 分别叫做assertional reasoning 和terminological reasoning， 所以我们最终的目的就是解决inference problem分别对t－box和a－box。 然后请你自己去看terminologic reasoning和assertional reasoning的概念，我现在只说结论。
    对于ALCN这个DL来说， 所有关于terminological reasoning的问题和assertional reasoning的问题都可以通过一个a－box正确性的问题来解决。（reduce to the consistence problem of ABox), 为什么可以这样，请你自己去看证明，总的思想是TBox的inference problem可以通过用A－box来表示，因为ALCN的snytax很丰富。 所以结论是， 要解决inference problem的问题，可以通过解决 consistency of ABox的问题来得到答案， 而Tableau算法的目的就是来解决consistency of ABox。    希望这些能够对你寻找答案有一些线索。  最后给你一个总的思路。
    inference problem(包括terminological reasoning 和 assertional reasoning)-> consistency problem of ABox(用Tableau算法来解决).
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/2/21 0:12:00
     
     ewitt 帅哥哟，离线，有人找我吗？
      
      
      等级：大一(高数修炼中)
      文章：21
      积分：136
      门派：XML.ORG.CN
      注册：2005/3/11

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给ewitt发送一个短消息 把ewitt加入好友 查看ewitt的个人资料 搜索ewitt在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看ewitt的博客第5楼
    发贴心情 
    谢谢！especially wason21cn！大概的思路已经有了。
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/2/21 14:23:00
     
     ewitt 帅哥哟，离线，有人找我吗？
      
      
      等级：大一(高数修炼中)
      文章：21
      积分：136
      门派：XML.ORG.CN
      注册：2005/3/11

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给ewitt发送一个短消息 把ewitt加入好友 查看ewitt的个人资料 搜索ewitt在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看ewitt的博客第6楼
    发贴心情 
    model theoretic semantics与一阶逻辑中的语义定义有什么差别？是不是model theoretic semantics中的domain of interest都是DL中的object,class,property,etc.
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/2/21 16:19: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的博客第7楼
    发贴心情 
    多谢4楼了，思路理顺的很好啊
    “Tableau算法”现在有中文译名吗
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/2/21 21:31:00
     
     wason21cn 帅哥哟，离线，有人找我吗？
      
      
      等级：大四(GRE考了1400分!)
      文章：117
      积分：1001
      门派：W3CHINA.ORG
      注册：2004/11/17

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给wason21cn发送一个短消息 把wason21cn加入好友 查看wason21cn的个人资料 搜索wason21cn在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看wason21cn的博客第8楼
    发贴心情 
    不知道中文叫什么，好像还没有
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/2/21 22:43:00
     
     ewitt 帅哥哟，离线，有人找我吗？
      
      
      等级：大一(高数修炼中)
      文章：21
      积分：136
      门派：XML.ORG.CN
      注册：2005/3/11

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给ewitt发送一个短消息 把ewitt加入好友 查看ewitt的个人资料 搜索ewitt在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看ewitt的博客第9楼
    发贴心情 
    还有个问题：ＤＬ中的Axioms 和constructors是怎么划分的？Abstract syntax axioms have a direct correspondence with Description Logic axioms　and they can also be mapped to a set of RDF tripls。这句话是怎么理解？

    在群有人帮我回答了前一个问题：Axiom表示关系，构建语句，有真假值； 构造器构造一个概念


    [此贴子已经被作者于2006-2-22 11:21:36编辑过]
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/2/22 10:50:00
     
     wason21cn 帅哥哟，离线，有人找我吗？
      
      
      等级：大四(GRE考了1400分!)
      文章：117
      积分：1001
      门派：W3CHINA.ORG
      注册：2004/11/17

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给wason21cn发送一个短消息 把wason21cn加入好友 查看wason21cn的个人资料 搜索wason21cn在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看wason21cn的博客第10楼
    发贴心情 
    首先DL是一种逻辑，属于一阶逻辑，这里的axioms应该就和一阶逻辑的axioms定义一样，至于constructors，DL好像没有特别给出，个人觉得像是defined concept之类东西.
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/2/22 15:41:00
     
     GoogleAdSense
      
      
      等级：大一新生
      文章：1
      积分：50
      门派：无门无派
      院校：未填写
      注册：2007-01-01
    给Google AdSense发送一个短消息 把Google AdSense加入好友 查看Google AdSense的个人资料 搜索Google AdSense在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 访问Google AdSense的主页 引用回复这个贴子 回复这个贴子 查看Google AdSense的博客广告
    2025/9/28 16:03:51

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

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