新书推介:《语义网技术体系》
作者:瞿裕忠,胡伟,程龚
   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)/描述逻辑/本体 』 → 全国第一届语义Web会议 查看新帖用户列表

      发表一个新主题  发表一个新投票  回复主题  (订阅本版) 您是本帖的第 156437 个阅读者浏览上一篇主题  刷新本主题   树形显示贴子 浏览下一篇主题
     * 贴子主题: 全国第一届语义Web会议 举报  打印  推荐  IE收藏夹 
       本主题类别: 投稿信息    
     iamwym 帅哥哟,离线,有人找我吗?
      
      
      
      威望:9
      等级:计算机硕士学位(版主)
      文章:2454
      积分:17456
      门派:XML.ORG.CN
      注册:2004/11/14

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

    Mark,Jim和Rudi是一种类型,商人,他觉得能产生利益的事情就会认真的,米国拿到钱可以提成的吧,所以mark就可以一年来一个季度飞一次欧洲。2月来过,5月又要来了。Jim他们和美国军方关系很好,根本不愁钱,不愁人。
    KSL在stanford势力也不大吧,欧洲这里,主要是德国人的逻辑能力太BT了,Franz Baader走到哪里,哪里就是欧洲逻辑的中心啊。
    我个人对lehigh的印象不错,不张扬,比较扎实,不见得抛头露面,可惜做东西不出挑,名气也不大。或者考虑一下加拿大的学校?
    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2006/3/24 6:48:00
     
     wason21cn 帅哥哟,离线,有人找我吗?
      
      
      等级:大四(GRE考了1400分!)
      文章:117
      积分:1001
      门派:W3CHINA.ORG
      注册:2004/11/17

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给wason21cn发送一个短消息 把wason21cn加入好友 查看wason21cn的个人资料 搜索wason21cn在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看wason21cn的博客32
    发贴心情 
    偶现在在Baader手下做论文,看中的就是这个金字招牌啊.
    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2006/3/24 7:19:00
     
     baojie 帅哥哟,离线,有人找我吗?
      
      
      
      威望:9
      头衔:小学生
      等级:研一(参加了一年一度的XML大会)(贵宾)
      文章:667
      积分:4442
      门派:XML.ORG.CN
      注册:2003/11/24

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给baojie发送一个短消息 把baojie加入好友 查看baojie的个人资料 搜索baojie在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 点击这里发送电邮给baojie  访问baojie的主页 引用回复这个贴子 回复这个贴子 查看baojie的博客33
    发贴心情 
    以下是引用wason21cn在2006-3-24 7:19:00的发言:
    偶现在在Baader手下做论文,看中的就是这个金字招牌啊.

    你主要做哪个方向那?

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

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给baojie发送一个短消息 把baojie加入好友 查看baojie的个人资料 搜索baojie在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 点击这里发送电邮给baojie  访问baojie的主页 引用回复这个贴子 回复这个贴子 查看baojie的博客34
    发贴心情 
    以下是引用iamwym在2006-3-24 6:48:00的发言:
    Mark,Jim和Rudi是一种类型,商人,他觉得能产生利益的事情就会认真的,米国拿到钱可以提成的吧,所以mark就可以一年来一个季度飞一次欧洲。2月来过,5月又要来了。Jim他们和美国军方关系很好,根本不愁钱,不愁人。
    KSL在stanford势力也不大吧,欧洲这里,主要是德国人的逻辑能力太BT了,Franz Baader走到哪里,哪里就是欧洲逻辑的中心啊。
    我个人对lehigh的印象不错,不张扬,比较扎实,不见得抛头露面,可惜做东西不出挑,名气也不大。或者考虑一下加拿大的学校?

    你觉得欧洲逻辑比较强的,主要是那些学校?

    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2006/3/24 11:47:00
     
     wason21cn 帅哥哟,离线,有人找我吗?
      
      
      等级:大四(GRE考了1400分!)
      文章:117
      积分:1001
      门派:W3CHINA.ORG
      注册:2004/11/17

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给wason21cn发送一个短消息 把wason21cn加入好友 查看wason21cn的个人资料 搜索wason21cn在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看wason21cn的博客35
    发贴心情 
    比如说TU-Dresden,顺便宣传一下自己的学校, 我们的教授都是logic方面的鼻祖,其中就有大名鼎鼎的Franz Baader.
    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2006/3/24 15:48:00
     
     wason21cn 帅哥哟,离线,有人找我吗?
      
      
      等级:大四(GRE考了1400分!)
      文章:117
      积分:1001
      门派:W3CHINA.ORG
      注册:2004/11/17

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给wason21cn发送一个短消息 把wason21cn加入好友 查看wason21cn的个人资料 搜索wason21cn在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看wason21cn的博客36
    发贴心情 
    以下是引用baojie在2006-3-24 11:42:00的发言:
    [quote]以下是引用wason21cn在2006-3-24 7:19:00的发言:
    偶现在在Baader手下做论文,看中的就是这个金字招牌啊.
    [/quote]

    你主要做哪个方向那?


    主要做一个关于EL的TBOX推理算法, 大概意思是给出一个TBOX,这个TBOX可能非常大,可能成千上万个axioms,给出一个subsumption 或者一个concept, 当推理他们satisfiability的问题的时候可能只会用到一些relevent axiom在这个巨大的TBOX中,我的工作就是用一个算法找出这些relevent axiom并且还要是minimal。

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

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给baojie发送一个短消息 把baojie加入好友 查看baojie的个人资料 搜索baojie在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 点击这里发送电邮给baojie  访问baojie的主页 引用回复这个贴子 回复这个贴子 查看baojie的博客37
    发贴心情 
    EL好像是多项式时间的复杂性?

    我觉得你的问题可以转化为一个incremental reasoning 的问题。在推理时,把整个TBox interalizing是不经济的,应该有选择的把一小部分调入内存。最好的办法是在建立本体的时候就赋予模块化的结构。如果没有(如你现在所面对的),似乎就要找一个locally complete的子集了。我一直想做一个基于模块化本体的推理机,所以这样来理解。

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

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给baojie发送一个短消息 把baojie加入好友 查看baojie的个人资料 搜索baojie在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 点击这里发送电邮给baojie  访问baojie的主页 引用回复这个贴子 回复这个贴子 查看baojie的博客38
    发贴心情 
    另外请教一下: Many-Sorted Theories到底本质是什么,我看Baader 的文章不是很明白
    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2006/3/24 16:27:00
     
     wason21cn 帅哥哟,离线,有人找我吗?
      
      
      等级:大四(GRE考了1400分!)
      文章:117
      积分:1001
      门派:W3CHINA.ORG
      注册:2004/11/17

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给wason21cn发送一个短消息 把wason21cn加入好友 查看wason21cn的个人资料 搜索wason21cn在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看wason21cn的博客39
    发贴心情 
    EL 是DL最简单的语言,仅仅只有 conjunction 和 existence 两个操作符, 你说的对,如果用一般的tableau算法,EL最坏的情况可以是exponentially的,但是现在有一个算法能够把复杂度降低到polynomial的。 关于我要做的,现在有一种新的算法,暂且叫做non-standard reasoning for debugging, 我想可能也会是以后一个新的发展方向。 通常的tableau算法都是根据DL的句法,然后构造一个model,如果能成功,TBOX是正确的,但是这些算法通常都是对整个TBOX来进行操作的,这就大大加大了时间复杂度。 这个新算法是对于unsatisfiablity来说的,对于一个inconsistent的TBOX, 当检测一个defined concept的不正确性的时候, 我们先找出来跟这个defined concept相关的axiom, 因为导致这个defined concept不正确的原因可能只和相关的axiom有关联,比如说是多定义了,或者是其他原因。这个新算法大概可以分为两部分,一个是找出问题,二是修改问题,现在进行的阶段还是找出问题的阶段, 反正Baader认为肯定是可以的。 至于第二个阶段修改问题,比如找出导致clash的axiom,不仅仅是简单的删除之类的操作,因为所有的操作都是以考虑到不影响整个TBOX的consistency前提下进行的,这个又Baader的强项了。现在刚刚开始, 一个字难啊, Logic这个东西应该是学数学的人搞的,对于我们这类CS出生的人来说,梦魇啊。
    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2006/3/24 16:37:00
     
     baojie 帅哥哟,离线,有人找我吗?
      
      
      
      威望:9
      头衔:小学生
      等级:研一(参加了一年一度的XML大会)(贵宾)
      文章:667
      积分:4442
      门派:XML.ORG.CN
      注册:2003/11/24

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给baojie发送一个短消息 把baojie加入好友 查看baojie的个人资料 搜索baojie在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 点击这里发送电邮给baojie  访问baojie的主页 引用回复这个贴子 回复这个贴子 查看baojie的博客40
    发贴心情 
    你这个东东的几个方面都是我迫切需要的答案阿。模块化的本体的各个模块之间不可避免存在冲突。有一种办法就是defeasible logic, 就是设计不同模块之间的axiom的defeating rule。但是,如何产生这些defeating rule哪?如你所说,简单defeat一些axiom,可能导致TBox新的inconsistency。

    Grau的一篇文章提到了寻找local complete的模块问题,是不是和你的工作相关?

    [1] B. C. Grau, B. Parsia, E. Sirin, and A. Kalyanpur. Modularity and web ontologies. In KR2006, 2006.

    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2006/3/24 17:00: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/3/28 15:31:17

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

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