新书推介:《语义网技术体系》
作者:瞿裕忠,胡伟,程龚
   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)/描述逻辑/本体 』 → RACER FaCT KAON2和Jena的比较 - 几点个人看法 查看新帖用户列表

      发表一个新主题  发表一个新投票  回复主题  (订阅本版) 您是本帖的第 128739 个阅读者浏览上一篇主题  刷新本主题   树形显示贴子 浏览下一篇主题
     * 贴子主题: RACER FaCT KAON2和Jena的比较 - 几点个人看法 举报  打印  推荐  IE收藏夹 
       本主题类别: KAON | FaCT | RACER    
     kolapig 帅哥哟,离线,有人找我吗?
      
      
      威望:9
      等级:大三暑假(ITELS考了7分!)(版主)
      文章:127
      积分:1003
      门派:XML.ORG.CN
      注册:2005/7/15

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

    。。。。还不是牛人。。。。

    共同交流,互相帮助,是真的。

    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2005/7/26 20:08:00
     
     boycott2 帅哥哟,离线,有人找我吗?
      
      
      等级:大一(猛啃高等数学)
      文章:7
      积分:147
      门派:XML.ORG.CN
      注册:2005/6/2

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给boycott2发送一个短消息 把boycott2加入好友 查看boycott2的个人资料 搜索boycott2在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看boycott2的博客12
    发贴心情 
    欢迎欢迎,积极交流
    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2005/7/26 22:28:00
     
     davidking 帅哥哟,离线,有人找我吗?
      
      
      等级:大一(猛啃高等数学)
      文章:5
      积分:114
      门派:XML.ORG.CN
      注册:2004/10/9

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给davidking发送一个短消息 把davidking加入好友 查看davidking的个人资料 搜索davidking在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看davidking的博客13
    发贴心情 
    请教一下:iS是不是用数据库来进行instance的推理,用dig访问其他的reasoner做一致性检验?
    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2005/7/27 11:38:00
     
     iamwym 帅哥哟,离线,有人找我吗?
      
      
      
      威望:9
      等级:计算机硕士学位(版主)
      文章:2454
      积分:17456
      门派:XML.ORG.CN
      注册:2004/11/14

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给iamwym发送一个短消息 把iamwym加入好友 查看iamwym的个人资料 搜索iamwym在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 访问iamwym的主页 引用回复这个贴子 回复这个贴子 查看iamwym的博客14
    发贴心情 
    不是用数据库的。dig确实就是这个作用。
    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2005/7/28 0:11:00
     
     davidking 帅哥哟,离线,有人找我吗?
      
      
      等级:大一(猛啃高等数学)
      文章:5
      积分:114
      门派:XML.ORG.CN
      注册:2004/10/9

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给davidking发送一个短消息 把davidking加入好友 查看davidking的个人资料 搜索davidking在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看davidking的博客15
    发贴心情 
    那么,iS是不是用数据库来作为存储大量individual的Abox,用owl记载Tbox的内容,实际的推理还是由dig调用reasoner来完成的?
    这样是不是在处理海量数据时,与单独使用FaCT有更高的效率?
    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2005/7/28 1:04:00
     
     iamwym 帅哥哟,离线,有人找我吗?
      
      
      
      威望:9
      等级:计算机硕士学位(版主)
      文章:2454
      积分:17456
      门派:XML.ORG.CN
      注册:2004/11/14

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给iamwym发送一个短消息 把iamwym加入好友 查看iamwym的个人资料 搜索iamwym在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 访问iamwym的主页 引用回复这个贴子 回复这个贴子 查看iamwym的博客16
    发贴心情 
    我不是很了解instance store,但据我所知在推理中没有数据库这个说法吧,推理中访问数据库是很不现实的事情。

    感觉你的提法有点问题,普通reasoner处理individual的效率很低,就算不是海量也很低。

    owl中显然记载了整个本体的信息,无论abox还是tbox所需推理的东西。不好意思,我有点不是很明白你在问什么。

    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2005/7/28 2:22:00
     
     davidking 帅哥哟,离线,有人找我吗?
      
      
      等级:大一(猛啃高等数学)
      文章:5
      积分:114
      门派:XML.ORG.CN
      注册:2004/10/9

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给davidking发送一个短消息 把davidking加入好友 查看davidking的个人资料 搜索davidking在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看davidking的博客17
    发贴心情 
    那么,请问一下iS里面的数据库到底是起什么作用的呢?
    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2005/7/28 16:00:00
     
     iamwym 帅哥哟,离线,有人找我吗?
      
      
      
      威望:9
      等级:计算机硕士学位(版主)
      文章:2454
      积分:17456
      门派:XML.ORG.CN
      注册:2004/11/14

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给iamwym发送一个短消息 把iamwym加入好友 查看iamwym的个人资料 搜索iamwym在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 访问iamwym的主页 引用回复这个贴子 回复这个贴子 查看iamwym的博客18
    发贴心情 
    明白你的意思了。
    跟据我的理解,数据库是用于存储对于individual的描述,从而对个体进行实体化。

    见http://instancestore.man.ac.uk/中提到:

    The first operation (addAssertion) stores in the database the fact that individual is an instance of description, together with additional information gathered through calls to the reasoner, such as the atomic concepts in the ontology the individual is instance of, and, in an  optimised version, the taxomomy position of the description with respect to the ontology.

    The second operation (retrieve) again uses the database and the reasoner (with respect to the ontology) to retrieve all individuals which are instances of description.

    第一个是定义第二次是获取。其实这个实现就是我以前提到过的,把individual转化成普通类进行推理。由于访问数据库,进行加定义,和获取两个操作,这个效率是非常慢的,iS非常不完善的,基本上不可能在个人计算机上应用于实际推理。但是比起RACER等其他方法,已经要好上很多,至少支持了对于个体的推理。

    而值得注意的是,individual是不应该存储于数据库中的,如果这样本体就没用了,我觉得这其实是一个关于本体基本的概念的误解。。如果在数据中,谁都不会知道个体与类之间的关联,特别在不同本体中。

    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2005/7/28 18:38:00
     
     iamwym 帅哥哟,离线,有人找我吗?
      
      
      
      威望:9
      等级:计算机硕士学位(版主)
      文章:2454
      积分:17456
      门派:XML.ORG.CN
      注册:2004/11/14

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给iamwym发送一个短消息 把iamwym加入好友 查看iamwym的个人资料 搜索iamwym在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 访问iamwym的主页 引用回复这个贴子 回复这个贴子 查看iamwym的博客19
    发贴心情 
    题外话,很多技术的进步和美好的应用都是建立在硬件进步的基础上。如果现在的机器快上100倍,相信马上iS就可用了。想想一下33mhz处理器,和3.3ghz处理器之间的差别吧,相信这两种机器大家都见过。
    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2005/7/28 18:41:00
     
     kolapig 帅哥哟,离线,有人找我吗?
      
      
      威望:9
      等级:大三暑假(ITELS考了7分!)(版主)
      文章:127
      积分:1003
      门派:XML.ORG.CN
      注册:2005/7/15

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给kolapig发送一个短消息 把kolapig加入好友 查看kolapig的个人资料 搜索kolapig在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看kolapig的博客20
    发贴心情 
    把individual转化为普通类(spseudo-individuals)来推理是很不现实的,因为individual通常会很多,一个concept可能包含上百个individual,
    如果把所有的individual都转化成spseudo-individuals,那TBOX Reasoner 将变得效率很低,甚至崩掉.

    iS中的dababase 是用来存储ABOX的, 这个database也存储"a complete realisation of the ABox". 对于每个individual,都存储离他最近(most specific)的concept.

    iS中对ABox的推理是用reasoner(如 FaCT) 对TBox进行推理和对database对数据的存取相结合来实现的.可以这么理解: TBox对Concept进行推理,而database就负责most specific concept和individual的对应关系
    这样个说法可能不是很准确,但有助于理解.

    目前,iS确实是很不完善的,比如他只支持Role-free的ABox的推理,也就是说ABox中只包含x:C这样的axiom.

    当时写proposal的时候读过几篇iS的论文,现在基本淡忘,上面是残留的印象,有问题请批评指正,

    如果想进一步了解,可以看看几篇iS的文章,google一下

    The Instance Store Description Logic Reasoning with Large Numbers of Individuals

    Implementing the Instance Store

    Matchmaking Using an Instance Store:Some Preliminary Results
    ....

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

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

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