新书推介：《语义网技术体系》
作者：瞿裕忠，胡伟，程龚
   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)/描述逻辑/本体 』 → Franz Baader, Ian Horrocks等的最新关于DL的介绍--Description Logic 2003 的2007版本，强力推荐 ◇查看新帖 ◇ 用户列表 ◇

      发表一个新主题  发表一个新投票  回复主题  (订阅本版) 您是本帖的第 30780 个阅读者浏览上一篇主题  刷新本主题   树形显示贴子　浏览下一篇主题
     * 贴子主题： Franz Baader, Ian Horrocks等的最新关于DL的介绍--Description Logic 2003 的2007版本，强力推荐 举报  打印  推荐  IE收藏夹 
       本主题类别:     
     micropuss 帅哥哟，离线，有人找我吗？
      
      
      威望：3
      等级：大四(GRE考了1400分!)
      文章：193
      积分：1384
      门派：W3CHINA.ORG
      注册：2007/9/5

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给micropuss发送一个短消息 把micropuss加入好友 查看micropuss的个人资料 搜索micropuss在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看micropuss的博客楼主
    发贴心情 Franz Baader, Ian Horrocks等的最新关于DL的介绍--Description Logic 2003 的2007版本，强力推荐


    http://www.cs.man.ac.uk/~horrocks/Publications/download/2007/BaHS07a.pdf

    Franz Baader, Ian Horrocks, and Ulrike Sattler. Description Logics. In Frank van Harmelen, Vladimir Lifschitz, and Bruce Porter, editors, Handbook of Knowledge Representation. Elsevier, 2007

    下载不了附件的可以通过链接下载，这是2003年DL手册的几个作者Franz Baader, Ian Horrocks, and Ulrike Sattler为新书Handbook of Knowledge Representation. Elsevier, 2007写的第三章，也可以说是DL handbook 2003的简化版本，我浏览了一下，我觉得比2003年那个版本又向前走了一大步，对于相关定义、概念更加概括，写论文时引用比DL 2003要好，此外加入了2003～2007年这段时间的业界发展情况，所以具有一定的时代性。以下是这个chapter的摘要部分：

    In this chapter we will introduce description logics, a family of logic-based knowledge representation
    languages that can be used to represent the terminological knowledge of an application
    domain in a structured way. We will first review their provenance and history, and show how the
    field has developed. We will then introduce the basic description logic ALC in some detail, including
    definitions of syntax, semantics and basic reasoning services, and describe important extensions
    such as inverse roles, number restrictions, and concrete domains. Next, we will discuss the relationship
    between description logics and other formalisms, in particular first order and modal logics;
    the most commonly used reasoning techniques, in particular tableau, resolution and automata based
    techniques; and the computational complexity of basic reasoning problems. After reviewing some of
    the most prominent applications of description logics, in particular ontology language applications,
    we will conclude with an overview of other aspects of description logic research, and with pointers
    to the relevant literature.


       收藏   分享  
    顶(0)
      




    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2008/3/30 18:01:00
     
     beyondlei 帅哥哟，离线，有人找我吗？天秤座1982-9-24
      
      
      威望：1
      等级：大三(研究MFC有点眉目了!)
      文章：69
      积分：644
      门派：XML.ORG.CN
      注册：2007/8/9

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给beyondlei发送一个短消息 把beyondlei加入好友 查看beyondlei的个人资料 搜索beyondlei在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看beyondlei的博客第2楼
    发贴心情 
    先谢了
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2008/3/30 18:24:00
     
     wolfel 帅哥哟，离线，有人找我吗？
      
      
      威望：2
      等级：计算机学士学位
      文章：280
      积分：2178
      门派：W3CHINA.ORG
      注册：2005/3/17

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给wolfel发送一个短消息 把wolfel加入好友 查看wolfel的个人资料 搜索wolfel在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看wolfel的博客第3楼
    发贴心情 
    恩，这本Handbook of Knowledge Representation编得相当好,Amazon上的价格是$200+

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

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2008/3/30 19:31:00
     
     flyingcats 帅哥哟，离线，有人找我吗？
      
      
      等级：大一新生
      文章：10
      积分：95
      门派：XML.ORG.CN
      注册：2008/3/4

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给flyingcats发送一个短消息 把flyingcats加入好友 查看flyingcats的个人资料 搜索flyingcats在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看flyingcats的博客第4楼
    发贴心情 
    超赞
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2008/3/31 14:30:00
     
     funson 帅哥哟，离线，有人找我吗？
      
      
      等级：大二(研究C++)
      文章：47
      积分：260
      门派：W3CHINA.ORG
      注册：2006/8/13

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给funson发送一个短消息 把funson加入好友 查看funson的个人资料 搜索funson在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看funson的博客第5楼
    发贴心情 
    不错!只有第三章吗?
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2008/3/31 22:06:00
     
     micropuss 帅哥哟，离线，有人找我吗？
      
      
      威望：3
      等级：大四(GRE考了1400分!)
      文章：193
      积分：1384
      门派：W3CHINA.ORG
      注册：2007/9/5

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给micropuss发送一个短消息 把micropuss加入好友 查看micropuss的个人资料 搜索micropuss在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看micropuss的博客第6楼
    发贴心情 
    以下是引用funson在2008-3-31 22:06:00的发言：
    不错!只有第三章吗?

    第三章是DL的，其余的不是，这是07年新书，我目前还没有发现完整的书的电子版！！

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2008/4/1 8:43:00
     
     tntht 帅哥哟，离线，有人找我吗？
      
      
      等级：大二期末(数据结构考了98分!)
      文章：68
      积分：437
      门派：W3CHINA.ORG
      注册：2006/5/21

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给tntht发送一个短消息 把tntht加入好友 查看tntht的个人资料 搜索tntht在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 点击这里发送电邮给tntht 引用回复这个贴子 回复这个贴子 查看tntht的博客第7楼
    发贴心情 
    太贵太贵了……学校图书馆也不给买:(
    KR方面的书实在很少，这本也算是近年来最好的了

    ----------------------------------------------
    Wir müssen wissen, Wir werden wissen.

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2008/4/2 14:25:00
     
     itshere 帅哥哟，离线，有人找我吗？
      
      
      等级：大二(研究C++)
      文章：13
      积分：271
      门派：XML.ORG.CN
      注册：2005/5/14

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









    昨天没上传成功，重新上载了。

    [此贴子已经被作者于2008-4-4 9:25:03编辑过]
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2008/4/3 15:23:00
     
     micro 帅哥哟，离线，有人找我吗？
      
      
      等级：大二(研究汇编)
      文章：5
      积分：212
      门派：XML.ORG.CN
      注册：2004/9/25

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给micro发送一个短消息 把micro加入好友 查看micro的个人资料 搜索micro在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看micro的博客第9楼
    发贴心情 
    好像少一个文件，请查看一下，谢谢
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2008/4/4 15:31:00
     
     itshere 帅哥哟，离线，有人找我吗？
      
      
      等级：大二(研究C++)
      文章：13
      积分：271
      门派：XML.ORG.CN
      注册：2005/5/14

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给itshere发送一个短消息 把itshere加入好友 查看itshere的个人资料 搜索itshere在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看itshere的博客第10楼
    发贴心情 
    五个文件，都传了啊，4个1M的，一个890k
    另外，我把整个文件都放到网盘里了，需要的可以到下面地址下载。

    您上传的文件：
    大小 文件名
    11M  Handbook of Knowledge Representation.pdf

      
    已经成功地保存在Mofile  
    文件提取码： 9714008299180274
      
        当您的朋友需要提取此文件时只需:
         匿名提取文件连接 http://pickup.mofile.com/9714008299180274  
         或登录Mofile，使用提取码 9714008299180274 提取文件


    [此贴子已经被作者于2008-4-5 8:20:08编辑过]
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2008/4/5 0:15:00
     
     GoogleAdSense
      
      
      等级：大一新生
      文章：1
      积分：50
      门派：无门无派
      院校：未填写
      注册：2007-01-01
    给Google AdSense发送一个短消息 把Google AdSense加入好友 查看Google AdSense的个人资料 搜索Google AdSense在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 访问Google AdSense的主页 引用回复这个贴子 回复这个贴子 查看Google AdSense的博客广告
    2026/3/6 23:53:10

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

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