新书推介：《语义网技术体系》
作者：瞿裕忠，胡伟，程龚
   >>中国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的比较 - 几点个人看法 ◇查看新帖 ◇ 用户列表 ◇

      发表一个新主题  发表一个新投票  回复主题  (订阅本版) 您是本帖的第 138144 个阅读者浏览上一篇主题  刷新本主题   树形显示贴子　浏览下一篇主题
     * 贴子主题： RACER FaCT KAON2和Jena的比较 - 几点个人看法 举报  打印  推荐  IE收藏夹 
       本主题类别: KAON | FaCT | RACER    
     iamwym 帅哥哟，离线，有人找我吗？
      
      
      
      威望：9
      等级：计算机硕士学位(版主)
      文章：2454
      积分：17456
      门派：XML.ORG.CN
      注册：2004/11/14

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

    把昨天有些没说的，在这里稍微补充一下吧，顺便也拿这个回了一个朋友的信息。

    KAON2和ontology连接使用的是自己的api，是直接调用kaon2的api去对ontology进行推理。kaon2有几个例子在它的软件包中，可以运行一下试试看。不过配置还是需要一点过程，要下载一个apache的ant，KAON2的网站上有guide。德国人做东西，功能什么都不错，就是易用性差了点。Uli Sattler就说过AIFB的人东西做了不错，就是不去prove它。

    FaCT可以和Protege连，应该是用DIG的，DIG是一个比较认可的接口，目的也就是为了统一不同reasoner的接口问题，其实也是他们那边帮人刚出来的。可以不使用DIG， 但是要开发自己的另外接口恐怕难度不小。FaCT其实现在有3个使用办法，一个是DIG，一个基于COBRA的客户/主机端连接，还有就是自己看LISP源码了。

    个人认为，对于开发自己的应用，需要用到本体的推理，如果对推理要求不高，Jena API就是一个不错的选择。如果对于推理的功能要求比较高，那还是推荐KAON2。而RACER和FaCT，都要使用DIG或者客户端的方式，显得不是非常直接，编程开发复杂程度都会相应增加。我想真正的Java程序员肯定会比较乐意使用API而不是外挂一堆东西。

    而RACER，应该说是比KAON2更加易用一些的推理器，适合大家在开发直接使用现成ontology的应用程序中，并且并不包含推理的过程。FaCT效率应该是比RACER好的(Ian这么声称的，有问题找他去:P)，不过相信大家如果是直接面向现成本体的开发，使用哪个推理器去验证本体的一致性和满足性，都不是很有所谓，凭自己喜欢就行。

    一家之言，候教大方。


       收藏   分享  
    顶(0)
      




    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2005/7/23 20:14:00
     
     jiexincao 帅哥哟，离线，有人找我吗？
      
      
      威望：6
      等级：计算机学士学位
      文章：394
      积分：2379
      门派：XML.ORG.CN
      注册：2005/1/27

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给jiexincao发送一个短消息 把jiexincao加入好友 查看jiexincao的个人资料 搜索jiexincao在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看jiexincao的博客第2楼
    发贴心情 
    看了上面的陈述对一些基本的问题有了很明确的了解了，但是想继续请教的问题还有几个：
    1.各种推理工具的推理算法是不是大差不离？有没有关于它们所使用的算法的比较的文章（或者言论）？
    2.这几个推理工具是不是除了jena工具包以外都不需要自定义规则？或者需要自定义规则，规则的语法是不是各个系统自定义的？
    3.除了功能上的一些问题，如支持不支持对Abox的推理外，对于都支持的推理（如，对Tbox的推理）各种推理工具有没有效率上的差异。

    这几个问题的答案一直不知道该从哪里找些什么资料能了解到。还请版主多多指导，或者指导指导在哪里可以获得上述问题的答案。也希望其他的高手给予帮助。

    －－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－
    还有一个想法：
    第三个问题如果目前没有答案的话，组织论坛的力量，做一个合适的例子，大家都使用这个例子对各种工具进行效率评估，然后对结果进行统计。这种方法可行吗？

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

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给iamwym发送一个短消息 把iamwym加入好友 查看iamwym的个人资料 搜索iamwym在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 访问iamwym的主页 引用回复这个贴子 回复这个贴子 查看iamwym的博客第3楼
    发贴心情 
    1.fact, racer, kaon2都是基于tableaux，有各自的特点，做了一定的优化，详情查阅作者的论文就可以。
    2.没错，它们的规则都是定义好的，不过你可以扩展。
    3.Abox的推理不是不支持，是支持了不够好。

    效率上差异并不明显，如果能统一硬件软件系统环境的情况下进行测试，将结果量化比较，肯定是一个不错的研究成果。如果要多视点，多平台，多种本体进行一个测试，完全是可行的。关键是一个不同的硬件平台都要尝试，不同的操作系统，这样得出的东西才有说服力。

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2005/7/23 22:37:00
     
     jiexincao 帅哥哟，离线，有人找我吗？
      
      
      威望：6
      等级：计算机学士学位
      文章：394
      积分：2379
      门派：XML.ORG.CN
      注册：2005/1/27

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


    多个平台，多个操作系统进行测试可能就比较麻烦了。应该多数都是windows的吧，可能还是D版，呵呵。

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

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给iamwym发送一个短消息 把iamwym加入好友 查看iamwym的个人资料 搜索iamwym在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 访问iamwym的主页 引用回复这个贴子 回复这个贴子 查看iamwym的博客第5楼
    发贴心情 
    只在windows下测试，就不大具有说服力了，比如可能java vm在windows下面的效率和其他平台不一样。
    偶还做过几个月测试，这个东东正规搞起来比较麻烦的，一个系统可以测上几个月。
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2005/7/24 17:40:00
     
     jiexincao 帅哥哟，离线，有人找我吗？
      
      
      威望：6
      等级：计算机学士学位
      文章：394
      积分：2379
      门派：XML.ORG.CN
      注册：2005/1/27

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给jiexincao发送一个短消息 把jiexincao加入好友 查看jiexincao的个人资料 搜索jiexincao在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看jiexincao的博客第6楼
    发贴心情 
    我本来还以为多几个人做测试不几天就可以获得一个结果呢，想不到还需要那么长的时间。
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2005/7/24 18:34:00
     
     iamwym 帅哥哟，离线，有人找我吗？
      
      
      
      威望：9
      等级：计算机硕士学位(版主)
      文章：2454
      积分：17456
      门派：XML.ORG.CN
      注册：2004/11/14

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给iamwym发送一个短消息 把iamwym加入好友 查看iamwym的个人资料 搜索iamwym在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 访问iamwym的主页 引用回复这个贴子 回复这个贴子 查看iamwym的博客第7楼
    发贴心情 
    有个初步结果问题不大，比如某种软硬件环境下的比较吧，大概1个礼拜可以搞出来了。这样的结果价值不大，就说明了在这台机器上用哪个推理器在哪方面表现好些。
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2005/7/25 7:50:00
     
     kolapig 帅哥哟，离线，有人找我吗？
      
      
      威望：9
      等级：大三暑假(ITELS考了7分!)(版主)
      文章：127
      积分：1003
      门派：XML.ORG.CN
      注册：2005/7/15

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给kolapig发送一个短消息 把kolapig加入好友 查看kolapig的个人资料 搜索kolapig在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看kolapig的博客第8楼
    发贴心情 
    关于ABox 的推理， Man的Isatance store 还不错，算是用空间换取时间的一个技术，但目前还在不断完善中，有兴趣可以参考：http://instancestore.man.ac.uk/
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2005/7/26 0:59:00
     
     iamwym 帅哥哟，离线，有人找我吗？
      
      
      
      威望：9
      等级：计算机硕士学位(版主)
      文章：2454
      积分：17456
      门派：XML.ORG.CN
      注册：2004/11/14

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给iamwym发送一个短消息 把iamwym加入好友 查看iamwym的个人资料 搜索iamwym在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 访问iamwym的主页 引用回复这个贴子 回复这个贴子 查看iamwym的博客第9楼
    发贴心情 
    嗯，介绍一下，楼上的kolapig同学马上就是Ian的PhD了。大家欢迎。
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2005/7/26 16:33:00
     
     jiexincao 帅哥哟，离线，有人找我吗？
      
      
      威望：6
      等级：计算机学士学位
      文章：394
      积分：2379
      门派：XML.ORG.CN
      注册：2005/1/27

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给jiexincao发送一个短消息 把jiexincao加入好友 查看jiexincao的个人资料 搜索jiexincao在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看jiexincao的博客第10楼
    发贴心情 
    又来了一个牛人，欢迎欢迎！以后还请多多指教啊！
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2005/7/26 17:30:00
     
     GoogleAdSense
      
      
      等级：大一新生
      文章：1
      积分：50
      门派：无门无派
      院校：未填写
      注册：2007-01-01
    给Google AdSense发送一个短消息 把Google AdSense加入好友 查看Google AdSense的个人资料 搜索Google AdSense在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 访问Google AdSense的主页 引用回复这个贴子 回复这个贴子 查看Google AdSense的博客广告
    2024/11/21 21:25:10

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

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