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

      发表一个新主题  发表一个新投票  回复主题  (订阅本版) 您是本帖的第 122602 个阅读者浏览上一篇主题  刷新本主题   树形显示贴子 浏览下一篇主题
     * 贴子主题: Semantic Web中的推理,又一个银弹?——自己对SW的看法,大家批判! 举报  打印  推荐  IE收藏夹 
       本主题类别:     
     zhaonix 帅哥哟,离线,有人找我吗?
      
      
      威望:2
      头衔:博士
      等级:研一(日夜苦读RDF Semantics)
      文章:242
      积分:3185
      门派:W3CHINA.ORG
      注册:2005/4/18

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

    以下是引用wolfel在2007-6-14 13:50:00的发言:
    逻辑程序的基础,我上面贴的那个Barral和Gelfond的文章就差不多了。在citeseer里面还可以通过那篇文章找到一些其他的综述,不过都大同小异
        ……
    大概主要就是这些吧。smileidiot是这方面的专家,我班门弄斧了


    对初学者太有价值了!学习之。 非常感谢wolfel!
    我猜出来smileidiot是谁了,05年在国内发了一篇中文的《语义Web上本体与规则》,也是一个不错的小综述。敬仰。
    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2007/6/14 16:03:00
     
     smileidiot 美女呀,离线,快来找我吧!
      
      
      威望:9
      等级:大三(研究MFC有点眉目了!)
      文章:54
      积分:571
      门派:W3CHINA.ORG
      注册:2004/7/12

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

    好问题,好问题

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

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

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


    Thanks a lot for your attention

    我这里想强调一些事情,DL是基于FOL,采用任意论域作为解释,而LP一般基于Herbrand论域,即当无函词时由所有named individuals组成,这样,两者DL+LP时不可避免存在语义差异--如Wolfgang后面所言,我也强烈推荐Jos de Bruijn的文章(http://www.inf.unibz.it/~jdebruijn/publications-all/publications-all.html)。。。这个家伙很有前途的说。。。

    因此,由于LP论域固定在Herbrand域中,只要不涉及函词,那么都是可判定的。。。因为最笨的方法就是枚举有穷啊。。。

    此外,我最近确实关注演绎数据库,感觉除了recursive rules,其余都可以用SQL重写(当然貌似最新SQL也提供recursion,但效率不佳)。。。其实,这也是一种实际可行的做法,站在RDBMS巨人肩膀之上。。。

    事实上,我个人观点依旧是RDF Schema作为light weight本体,再加上OWL关于属性的属性,如传递性,对称性等--其实这些都在规则表达力之内,余后还有Datalog规则(暂不论否定词)。。。也就是说,类似Orcale 10g提供的特性,而后台的RDB是性能保障的关键。。。

    本人愚见,见笑了。。。嘿嘿

    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2007/6/15 10:16:00
     
     mmyytt_2000 帅哥哟,离线,有人找我吗?
      
      等级:大一(高数修炼中)
      文章:6
      积分:155
      门派:IEEE.ORG.CN
      注册:2004/8/23

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给mmyytt_2000发送一个短消息 把mmyytt_2000加入好友 查看mmyytt_2000的个人资料 搜索mmyytt_2000在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看mmyytt_2000的博客33
    发贴心情 
    Boris Motik, Ian Horrocks, and Ulrike Sattler. Bridging the gap between OWL and relational databases. In Proc. of the Sixteenth International World Wide Web Conference (WWW 2007), 2007.
    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2007/6/15 11:35:00
     
     baojie 帅哥哟,离线,有人找我吗?
      
      
      
      威望:9
      头衔:小学生
      等级:研一(参加了一年一度的XML大会)(贵宾)
      文章:667
      积分:4442
      门派:XML.ORG.CN
      注册:2003/11/24

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给baojie发送一个短消息 把baojie加入好友 查看baojie的个人资料 搜索baojie在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 点击这里发送电邮给baojie  访问baojie的主页 引用回复这个贴子 回复这个贴子 查看baojie的博客34
    发贴心情 
    Machester和DERI对此一直争吵不休, 到底是DL好还是LP好.

    其实我也一直在想是不是可以把DL推理(不只是查询) reduce到SQL上. 也许某个子集是可行的吧.

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

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给smileidiot发送一个短消息 把smileidiot加入好友 查看smileidiot的个人资料 搜索smileidiot在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看smileidiot的博客35
    发贴心情 
    以下是引用baojie在2007-6-15 14:44:00的发言:
    Machester和DERI对此一直争吵不休, 到底是DL好还是LP好.

    其实我也一直在想是不是可以把DL推理(不只是查询) reduce到SQL上. 也许某个子集是可行的吧.


    除了这两家,Italy也有一些学者对此贡献不小。。。如Rosati等。。。
    btw:Jos已经从DERI毕业去the KRDB group at the University of Bolzano做assistant-professor,值得关注的说。。。
    用SQL做些restrictive DL已经有工作DL-Lite,其系统称之为QuOnto(http://www.dis.uniroma1.it/~quonto/)
    此外,OWL1.1有研究tractable DL,参考http://www.w3.org/Submission/owl11-tractable/
    嘿嘿,不过,个人还是不看好DL--感觉semantic web要实现,就不可能有这么重AI味道。。。起码短期内能将RDF(S)有效推广就很不错了

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

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给wolfel发送一个短消息 把wolfel加入好友 查看wolfel的个人资料 搜索wolfel在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看wolfel的博客36
    发贴心情 
    以下是引用smileidiot在2007-6-15 19:39:00的发言:
    [quote]以下是引用baojie在2007-6-15 14:44:00的发言:
    Machester和DERI对此一直争吵不休, 到底是DL好还是LP好.

      其实我也一直在想是不是可以把DL推理(不只是查询) reduce到SQL上. 也许某个子集是可行的吧.
    [/quote]

    除了这两家,Italy也有一些学者对此贡献不小。。。如Rosati等。。。
    btw:Jos已经从DERI毕业去the KRDB group at the University of Bolzano做assistant-professor,值得关注的说。。。
    用SQL做些restrictive DL已经有工作DL-Lite,其系统称之为QuOnto(http://www.dis.uniroma1.it/~quonto/)
    此外,OWL1.1有研究tractable DL,参考http://www.w3.org/Submission/owl11-tractable/
    嘿嘿,不过,个人还是不看好DL--感觉semantic web要实现,就不可能有这么重AI味道。。。起码短期内能将RDF(S)有效推广就很不错了


    嗯,anyway,这个东东我已经没有做的打算了,因为语义上的鸿沟基本上是无法逾越的,除非任何一个系统做出了妥协。否则,做出来的东西总归是几种不同语义杂合起来的,看上去很笨重。即便现在有很多full integration的工作,可是用到的逻辑也忒复杂了,最后成了逻辑学家的toy。

    不过还是很期待梅师姐以后的工作哦~hoho

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

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

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给smileidiot发送一个短消息 把smileidiot加入好友 查看smileidiot的个人资料 搜索smileidiot在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看smileidiot的博客37
    发贴心情 
    以下是引用wolfel在2007-6-15 23:21:00的发言:
    嗯,anyway,这个东东我已经没有做的打算了,因为语义上的鸿沟基本上是无法逾越的,除非任何一个系统做出了妥协。否则,做出来的东西总归是几种不同语义杂合起来的,看上去很笨重。即便现在有很多full integration的工作,可是用到的逻辑也忒复杂了,最后成了逻辑学家的toy。

    不过还是很期待梅师姐以后的工作哦~hoho



    嗯,有道理。。。由于笨重以至于toy。。。这种说法赞啊。。。
    嘿嘿,我也不做这个方向了,保持关注吧。。。
    至于以后的工作,暂无想法的说。。。或许越发的忽悠了啦。。。但,不得不承认semantic web整个领域还是非常active的,各种技术(理论的,实践的)都在推陈出新。。。此外,一直还觉得,做semantic web的学者们都是工作狂人啊。。。或许,做科研的都这样吧。。。没有8小时工作时间之说,文章项目没个止境啊。。。
    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2007/6/16 7:46:00
     
     baojie 帅哥哟,离线,有人找我吗?
      
      
      
      威望:9
      头衔:小学生
      等级:研一(参加了一年一度的XML大会)(贵宾)
      文章:667
      积分:4442
      门派:XML.ORG.CN
      注册:2003/11/24

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给baojie发送一个短消息 把baojie加入好友 查看baojie的个人资料 搜索baojie在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 点击这里发送电邮给baojie  访问baojie的主页 引用回复这个贴子 回复这个贴子 查看baojie的博客38
    发贴心情 
    学习中学习中。你们有机会到这里一定要通知我。如果愿意屈尊来做我老板的博士后,那就再好不过了。
    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2007/6/16 11:06:00
     
     baojie 帅哥哟,离线,有人找我吗?
      
      
      
      威望:9
      头衔:小学生
      等级:研一(参加了一年一度的XML大会)(贵宾)
      文章:667
      积分:4442
      门派:XML.ORG.CN
      注册:2003/11/24

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给baojie发送一个短消息 把baojie加入好友 查看baojie的个人资料 搜索baojie在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 点击这里发送电邮给baojie  访问baojie的主页 引用回复这个贴子 回复这个贴子 查看baojie的博客39
    发贴心情 
    为什么大家不能用Hierarchy来做些事情呢?比如Wikipedia, MySpace, Flicker,给tag加上分类,不就可以实现很简单的语义查询了吗?其实,虽然ontology语言很复杂,但是真正最有用的部分,大概就是分类吧。我没有field research, 不过大家给自己个人主页加meta data,分email,给文件分目录,不都是分类吗?分类,或许是数据库不能表达,而又最重要的“语义”了吧。

    简单的场合,当然很容易作分类。对某些复杂的场合,比如我们设想一个情况:我们先用DL之类复杂的建模工具,建好一个本体,然后对他作classification,得到一个DAG。当然,如果有些无名节点很重要,可以优化一下这个本体的结构,给它们以名字。然后,我们在语义网的前端,就发布这个DAG,作为这个本体的逼近。可以肯定,表达力是弱了。但是,如果90%的应用可以用分类表达,who cares the other 10%?

    DL的背景是专家系统,知识表现。应该说,它也最适合做一群知识分子的toy。作为老爷爷,老奶奶都能用的工具,Web真的需要DL吗?甚至,Web真的需要RDF吗?

    DAG的查询是线性的,如果稍加优化,常数时间。当然,优化分布式的,动态的,triliion规模的DAG的推理也不是一个简单的工作。

    回顾一下Google,(最初的)PageRank的核心问题无非是计算大规模稀疏矩阵的特征向量。如果我们开发一个DAG的推理机,可以处理以百亿记的网页上的DAG的transitive closure, 或许真的可以做一些Semantic Search呢 (Swoogle能做什么?)毕竟,常数时间复杂性才是现实的bussiness.

    7年之痒,也许真应该看看基于逻辑的语义网是不是大超前了。或许,RDF都似乎过强了些。如果我们有一个语义网的“逼近”,只有subclassof的,也许是一个现实的选择吧。毕竟分类在图书馆里作为一个行之有效的方法,已经用了几百年了。

    PS 我对某些人宣称的用EL来建模Gene Ontology很怀疑。据我对身边所有搞生物信息学的人的统计,无任何一人用到超出DAG的功能。

    欢迎拍砖。

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

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给baojie发送一个短消息 把baojie加入好友 查看baojie的个人资料 搜索baojie在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 点击这里发送电邮给baojie  访问baojie的主页 引用回复这个贴子 回复这个贴子 查看baojie的博客40
    发贴心情 
    ESWC 2007和ISWC 2006都提供RDF元数据了。不过,有什么用呢?对一个没有接触过SW的人,他能看出这两个网站和别的web 1.0的网站有什么区别?有什么新颖的功能?解决了什么以前的技术不能提供的功能?比如,我想查询“Logic Prgramming”方向上美国来的文章,他们能提供什么样的一个查询接口?(比如一个文章的关键词是ASP,我希望它也能被查询到。)

    同理, Mindswap,"the first semantic web site",用户能从它那里得到什么“实用”的新功能?

    当然,解决这些问题并不需要特别复杂的技术(很大程度上,分类树+RSS就可以)。一个Killer Application,不应该是因为自己用了RDF或者OWL或者有一个后台的DL推理机而沾沾自喜,而应该是彻底的面向傻瓜用户,提供简单而有用的功能。

    folkonomy, 大概是最现实可行的吧。

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

    本主题贴数70,分页: [1] [2] [3] [4] [5] [6] [7]

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