新书推介：《语义网技术体系》
作者：瞿裕忠，胡伟，程龚
   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)/描述逻辑/本体 』 → Deductive Database vs. RDF Database ◇查看新帖 ◇ 用户列表 ◇

      发表一个新主题  发表一个新投票  回复主题  (订阅本版) 您是本帖的第 5252 个阅读者浏览上一篇主题  刷新本主题   树形显示贴子　浏览下一篇主题
     * 贴子主题： Deductive Database vs. RDF Database 举报  打印  推荐  IE收藏夹 
       本主题类别:     
     smileidiot 美女呀，离线，快来找我吧！
      
      
      威望：9
      等级：大三(研究MFC有点眉目了!)
      文章：54
      积分：571
      门派：W3CHINA.ORG
      注册：2004/7/12

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

    回顾：Deductive Database = Relational Database + Logic Programming (evolved during the 1980s) which aims to increasing the expressive power of relational query language,
    in particular, to express recursive queries
    回顾：Datalog clause is a range-restricted clause without function symbols, and relational algebra has the same expressive power as non-recursive datalog.
    愚见：如果说RDF Database是潮流，那么其作用应该是增强Relational Databas语义信息了，所谓linked data having semantics
    逻辑：准确的说是知识表示与推理，通过语法描述世界，语义解释世界，并提出算法演绎世界。常说的系统可靠sound是指，算法推导所得的都是语义可满足的；系统完备complete是指，当语义可满足时算法可推导。
    Logic Programming采用Herbrand解释，比一阶逻辑解释受限，前者只考虑一个解释域即Herbrand域，后者是任意论域，两者的差异也密切相关于所谓开放世界（任意论域）和封闭世界（特定论域）。当然，ＤＬ是一阶逻辑子集，因此，与ＬＰ结合时，如何确定解释域是首要问题，也就需要确定是开放还是封闭。不过，数据库显然是封闭世界，至于ＲＤＦ，其语义W3C规范采用了高阶逻辑，再次成为逻辑学者的ｔｏｙ。
    嗯，关注RDF Database进展，学习Deductive Database技术，欢迎拍砖，谢谢！


    [此贴子已经被作者于2007-6-19 11:20:47编辑过]

       收藏   分享  
    顶(0)
      




    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2007/6/19 9:42:00
     
     smileidiot 美女呀，离线，快来找我吧！
      
      
      威望：9
      等级：大三(研究MFC有点眉目了!)
      文章：54
      积分：571
      门派：W3CHINA.ORG
      注册：2004/7/12

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给smileidiot发送一个短消息 把smileidiot加入好友 查看smileidiot的个人资料 搜索smileidiot在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看smileidiot的博客第2楼
    发贴心情 
    忽然又想到另外一个问题，现在很多RDF database（如Oracle 10g），包括OWL repository，如OWLIM等，都是采用物化方法，materialized，即所谓knowledge compilation，这样可以make implicit information explicit，但必定造成update麻烦。。。其实，之所以采用rule就是不想穷举所有，而通过if-then模式表达知识。。。因此，query evaluation才是真正技术突破点。。。物化后全部存储数据库，这是最直观也最容易实现的方法，但个人觉得，real application中updating是不能容忍这种naive物化方法的。
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2007/6/19 10:03:00
     
     baojie 帅哥哟，离线，有人找我吗？
      
      
      
      威望：9
      头衔：小学生
      等级：研一(参加了一年一度的XML大会)(贵宾)
      文章：667
      积分：4442
      门派：XML.ORG.CN
      注册：2003/11/24

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给baojie发送一个短消息 把baojie加入好友 查看baojie的个人资料 搜索baojie在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 点击这里发送电邮给baojie  访问baojie的主页 引用回复这个贴子 回复这个贴子 查看baojie的博客第3楼
    发贴心情 
    好题目，可惜我现在还跟不上你的思路。等这个暑假结束，把LP认真过一遍，再回来想你说的问题。

    偶的一个愚见是，relational database + transitive property就可以解决大多数问题。你以为呢？

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2007/6/19 11:27:00
     
     smileidiot 美女呀，离线，快来找我吧！
      
      
      威望：9
      等级：大三(研究MFC有点眉目了!)
      文章：54
      积分：571
      门派：W3CHINA.ORG
      注册：2004/7/12

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给smileidiot发送一个短消息 把smileidiot加入好友 查看smileidiot的个人资料 搜索smileidiot在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看smileidiot的博客第4楼
    发贴心情 
    transitive property是一种recursive rule，其实Deductive Database= Relational Database + recursive rule，原因是relational algebra has the same expressive power as non-recursive datalog，也就说，现有relational database采用的是关系代数，这与non-recursive datalog相当，那么自然只要解决recursive rule就好了。。。对此，ＬＰ文献中有各种query evaluation优化算法，我也正在学习中，希望能多多讨论。。。谢了先！嘿嘿
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2007/6/19 13:29:00
     
     zhaonix 帅哥哟，离线，有人找我吗？
      
      
      威望：2
      头衔：博士
      等级：研一(日夜苦读RDF Semantics)
      文章：242
      积分：3185
      门派：W3CHINA.ORG
      注册：2005/4/18

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给zhaonix发送一个短消息 把zhaonix加入好友 查看zhaonix的个人资料 搜索zhaonix在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 点击这里发送电邮给zhaonix 引用回复这个贴子 回复这个贴子 查看zhaonix的博客第5楼
    发贴心情 
    目前只有学习的份:)

    不过，说起“linked data have semantics”，我想起James Hendler的一句话“linking is power!”。估计大家见过吧，出自《[URL=http://csdl.computer.org/comp/mags/ex/2007/01/x1002.pdf]The Dark Side of the Semantic Web[/URL]》IEEE IS 2007 Jan/Feb）。 或许值得回顾一下的是，这里还说到：SW比起DB的优势，好比当年www比起FTP一样。

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2007/6/20 21:07:00
     
     Leon.Essence 帅哥哟，离线，有人找我吗？
      
      
      
      威望：9
      等级：大四寒假(收到Microsoft的Offer啦)(贵宾)
      文章：129
      积分：1409
      门派：W3CHINA.ORG
      注册：2005/9/4

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给Leon.Essence发送一个短消息 把Leon.Essence加入好友 查看Leon.Essence的个人资料 搜索Leon.Essence在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 点击这里发送电邮给Leon.Essence 引用回复这个贴子 回复这个贴子 查看Leon.Essence的博客第6楼
    发贴心情 
    逻辑真的很有意思，跟着各位高人学习！

    ----------------------------------------------
    做个勤奋者,思考者,更要做个偏执狂!

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2007/6/22 11:12: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/5 19:24:02

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

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