新书推介：《语义网技术体系》
作者：瞿裕忠，胡伟，程龚
   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讨论区 - 语义网·描述逻辑·本体·RDF·OWL → W3CHINA.ORG讨论区 - Web新技术讨论 → 『 Semantic Web(语义Web)/描述逻辑/本体 』 → Semantic Web中的推理，又一个银弹？——自己对SW的看法，大家批判！ ◇查看新帖 ◇ 用户列表 ◇

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

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

    以下是引用baojie在2007-6-11 10:23:00的发言：
    把RDF存储等同于一张表是一个很大的误解。实际上，关系数据库也可以用一张表作所有的事（第一范式）。

    RDF用关系数据库存储，只是一个syntax，关键在于RDF推理规则，这是超越关系数据库的。


    如果说RDF推理规则，那么何不回到Deductive Database（或称Datalog）？貌似工业界并没有对此推崇，依旧是Relational Database的天下。。。如果说Datalog比SQL就是多了个Recursion问题，那么除去性能之外，据我所知，已有多年研究工作，如semi-naive方法，为何依旧没有市场呢？是需求问题，还是效率问题呢？我不得解

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2007/6/11 17:52:00
     
     baojie 帅哥哟，离线，有人找我吗？
      
      
      
      威望：9
      头衔：小学生
      等级：研一(参加了一年一度的XML大会)(贵宾)
      文章：667
      积分：4442
      门派：XML.ORG.CN
      注册：2003/11/24

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给baojie发送一个短消息 把baojie加入好友 查看baojie的个人资料 搜索baojie在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 点击这里发送电邮给baojie  访问baojie的主页 引用回复这个贴子 回复这个贴子 查看baojie的博客第22楼
    发贴心情 
    以下是引用smileidiot在2007-6-11 17:52:00的发言：
    如果说RDF推理规则，那么何不回到Deductive Database（或称Datalog）？貌似工业界并没有对此推崇，依旧是Relational Database的天下。。。如果说Datalog比SQL就是多了个Recursion问题，那么除去性能之外，据我所知，已有多年研究工作，如semi-naive方法，为何依旧没有市场呢？是需求问题，还是效率问题呢？我不得解

    好问题，好问题

    Datalog的问题是很多问题根本不可判定，更谈不上复杂性了。RDF要比Datalog“肤浅”的多。RDF的一些子集，有很好的查询复杂性（见ESWC2007的最佳paper）。

    Datalog比SQL多了当然不只Recursion。毕竟Logic Programming比RDB的建模能力还是强出很多。应该说，当前的SW研究，在寻找一个在关系数据库和演绎数据库之间的数据建模手段，也即在表达力之间和复杂性之间寻找“合理”的折衷。

    当前这方面的研究及其火爆。描述逻辑+规则，或者描述逻辑+ Datalog, 都是极有潜力的问题

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2007/6/12 15:26:00
     
     wolfel 帅哥哟，离线，有人找我吗？
      
      
      威望：2
      等级：计算机学士学位
      文章：280
      积分：2178
      门派：W3CHINA.ORG
      注册：2005/3/17

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给wolfel发送一个短消息 把wolfel加入好友 查看wolfel的个人资料 搜索wolfel在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看wolfel的博客第23楼
    发贴心情 
    以下是引用baojie在2007-6-12 15:26:00的发言：
    [quote]以下是引用smileidiot在2007-6-11 17:52:00的发言：
      如果说RDF推理规则，那么何不回到Deductive Database（或称Datalog）？貌似工业界并没有对此推崇，依旧是Relational Database的天下。。。如果说Datalog比SQL就是多了个Recursion问题，那么除去性能之外，据我所知，已有多年研究工作，如semi-naive方法，为何依旧没有市场呢？是需求问题，还是效率问题呢？我不得解
    [/quote]

    好问题，好问题

    Datalog的问题是很多问题根本不可判定，更谈不上复杂性了。RDF要比Datalog“肤浅”的多。RDF的一些子集，有很好的查询复杂性（见ESWC2007的最佳paper）。

    Datalog比SQL多了当然不只Recursion。毕竟Logic Programming比RDB的建模能力还是强出很多。应该说，当前的SW研究，在寻找一个在关系数据库和演绎数据库之间的数据建模手段，也即在表达力之间和复杂性之间寻找“合理”的折衷。

    当前这方面的研究及其火爆。描述逻辑+规则，或者描述逻辑+ Datalog, 都是极有潜力的问题


    不明白了，弱问一下鲍师兄和梅师姐，为啥Datalog不可判定？？

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

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2007/6/12 23:30:00
     
     baojie 帅哥哟，离线，有人找我吗？
      
      
      
      威望：9
      头衔：小学生
      等级：研一(参加了一年一度的XML大会)(贵宾)
      文章：667
      积分：4442
      门派：XML.ORG.CN
      注册：2003/11/24

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给baojie发送一个短消息 把baojie加入好友 查看baojie的个人资料 搜索baojie在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 点击这里发送电邮给baojie  访问baojie的主页 引用回复这个贴子 回复这个贴子 查看baojie的博客第24楼
    发贴心情 
    我说错了。Disjunctive Datalog在Stable Model Semantics下是\Pi^P_2复杂（那是可判定了？一直没有搞太明白polynominal hierarhcy complexity class）。Full LP 是\Pi_1^1复杂，是不可判定的。

    有没有大拿出来说说这些个复杂性和decidability之间的关系？我一直一头雾水。

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2007/6/13 12:52:00
     
     wolfel 帅哥哟，离线，有人找我吗？
      
      
      威望：2
      等级：计算机学士学位
      文章：280
      积分：2178
      门派：W3CHINA.ORG
      注册：2005/3/17

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给wolfel发送一个短消息 把wolfel加入好友 查看wolfel的个人资料 搜索wolfel在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看wolfel的博客第25楼
    发贴心情 
    以下是引用baojie在2007-6-13 12:52:00的发言：
    我说错了。Disjunctive Datalog在Stable Model Semantics下是\Pi^P_2复杂（那是可判定了？一直没有搞太明白polynominal hierarhcy complexity class）。Full LP 是\Pi_1^1复杂，是不可判定的。

    有没有大拿出来说说这些个复杂性和decidability之间的关系？我一直一头雾水。


    嗯，这样来说就是可判定的了。含有头部析取和NAF的datalog也是可判定的，复杂度是NEXP^NP-complete.

    多项式谱系是从DP开始往上到达PH（<=PSPACE）终止。

    此外不明白你说的Full LP是什么意思。

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

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2007/6/14 1:22:00
     
     baojie 帅哥哟，离线，有人找我吗？
      
      
      
      威望：9
      头衔：小学生
      等级：研一(参加了一年一度的XML大会)(贵宾)
      文章：667
      积分：4442
      门派：XML.ORG.CN
      注册：2003/11/24

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给baojie发送一个短消息 把baojie加入好友 查看baojie的个人资料 搜索baojie在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 点击这里发送电邮给baojie  访问baojie的主页 引用回复这个贴子 回复这个贴子 查看baojie的博客第26楼
    发贴心情 
    我看的这篇文章

    E. Dantsin, T. Eiter, G. Gottlob, and A. Voronkov. Complexity and expressive power of logic programming. In Proceedings of the 12th Annual IEEE Conference on Computational Complexity, pages 82--101, Ulm, Germany, 1997.
    http://citeseer.ist.psu.edu/454462.html

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2007/6/14 3:14:00
     
     wolfel 帅哥哟，离线，有人找我吗？
      
      
      威望：2
      等级：计算机学士学位
      文章：280
      积分：2178
      门派：W3CHINA.ORG
      注册：2005/3/17

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给wolfel发送一个短消息 把wolfel加入好友 查看wolfel的个人资料 搜索wolfel在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看wolfel的博客第27楼
    发贴心情 
    那篇文章中Eiter用多很不习惯的表达方法和术语，看得让人头疼 :(

    关于LP/Datalog的一篇不错的Tutorial是

    http://citeseer.ist.psu.edu/baral94logic.html

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

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2007/6/14 10:06:00
     
     光荣之翼 帅哥哟，离线，有人找我吗？金牛座1985-5-9
      
      
      等级：大一(猛啃高等数学)
      文章：14
      积分：111
      门派：W3CHINA.ORG
      注册：2007/1/30

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给光荣之翼发送一个短消息 把光荣之翼加入好友 查看光荣之翼的个人资料 搜索光荣之翼在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看光荣之翼的博客第28楼
    发贴心情 
    能看到这么好的讨论帖子实在太幸福了

    ----------------------------------------------
    我不在乎我在哪里，我只在乎我和我的车。

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2007/6/14 10:46:00
     
     baojie 帅哥哟，离线，有人找我吗？
      
      
      
      威望：9
      头衔：小学生
      等级：研一(参加了一年一度的XML大会)(贵宾)
      文章：667
      积分：4442
      门派：XML.ORG.CN
      注册：2003/11/24

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

    如果你要推荐5篇最重要的文章，关于LP基础及在语义网方面的应用，你会推荐哪5篇？ 多谢了。

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2007/6/14 11:58:00
     
     wolfel 帅哥哟，离线，有人找我吗？
      
      
      威望：2
      等级：计算机学士学位
      文章：280
      积分：2178
      门派：W3CHINA.ORG
      注册：2005/3/17

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给wolfel发送一个短消息 把wolfel加入好友 查看wolfel的个人资料 搜索wolfel在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看wolfel的博客第30楼
    发贴心情 
    以下是引用baojie在2007-6-14 11:58:00的发言：
    请问wolfel ：

    如果你要推荐5篇最重要的文章，关于LP基础及在语义网方面的应用，你会推荐哪5篇？ 多谢了。


    逻辑程序的基础，我上面贴的那个Barral和Gelfond的文章就差不多了。在citeseer里面还可以通过那篇文章找到一些其他的综述，不过都大同小异。

    近几年的LP上的进展没有著名的综述，只能自己去查阅文献了。主要是看两个人的主页：

    德州大学，V. Lifchitz的主页：http://www.cs.utexas.edu/users/vl/
    港科大，林方真老师的主页：http://www.cs.ust.hk/~flin/

    主要集中在逻辑程序的化简，逻辑程序于其他非单调系统之间的关系以及逻辑程序的各种扩展来做的。

    逻辑程序/规则在SW上的应用，Rewerse在05年3月出了一篇综述，基本囊括了从96～05年的主要结果：http://rewerse.net/deliverables/m12/i3-d3.pdf

    05年之后的工作主要靠自己follow了，比较重要的是R.Rosati的两篇：

    On the decidability and complexity of integrating ontologies and rules. Web Semantics 3(1):61–73

    DL+log: Tight Integration of Description Logics and Disjunctive Datalog, in KR-06

    逻辑程序和规则相结合面临的表示问题：
    06年KSEM的特邀报告：Jos de Bruijn, Thomas Eiter, Axel Polleres, Hans Tompits:
    On representational issues about combinations of classical theories with nonmonotonic rules. （http://rewerse.net/publications/download/REWERSE-RP-2006-159.pdf）

    逻辑程序和规则相结合的计算问题：
    Boris Motik, Ulrike Sattler, and Rudi Studer: Query Answering for OWL-DL with Rules, in ISWC2004

    大概主要就是这些吧。smileidiot是这方面的专家，我班门弄斧了

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

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

    本主题贴数70，分页： [1] [2] [3] [4] [5] [6]... [7]

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