新书推介:《语义网技术体系》
作者:瞿裕忠,胡伟,程龚
   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)/描述逻辑/本体 』 → [推荐]在Protege中使用KAON2进行推理 查看新帖用户列表

      发表一个新主题  发表一个新投票  回复主题  (订阅本版) 您是本帖的第 44405 个阅读者浏览上一篇主题  刷新本主题   树形显示贴子 浏览下一篇主题
     * 贴子主题: [推荐]在Protege中使用KAON2进行推理 举报  打印  推荐  IE收藏夹 
       本主题类别: KAON | Protege    
     iamwym 帅哥哟,离线,有人找我吗?
      
      
      
      威望:9
      等级:计算机硕士学位(版主)
      文章:2454
      积分:17456
      门派:XML.ORG.CN
      注册:2004/11/14

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

    http://semantic.nodix.net/2005/11/kaon2-and-protege.html

    KAON2的优点在于对于ABox的推理,有兴趣的朋友可以用用看,还是挺方便的~


    -------------
    admin注:下面摘抄了一段,供大家预览:

    KAON2 and Protege
    KAON2 is the Karlsruhe Ontology infrastructure. It is an industry strength reasoner for OWL ontologies, pretty fast and comparable to reasoners like Fact and Racer, who gained from years of development. Since a few days KAON2 also implements the DIG Interface! Yeah, now you can use it with your tools! Go and grab KAON2 and get a feeling for how good it fulfills your needs.

    Here's a step to step description of how you can use KAON2 with Protégé (other DIG based tools should be pretty the same). Get the KAON2 package, unpack it and then go to the folder with the kaon2.jar file in it. This is the Java library that does all the magic.

    Be sure to have Java 5 installed and in your path. No, Java 1.4 won't do it, KAON2 builds heavily on some of the very nice Java 5 features.

    You can start KAON2 now with the following command:
    java -cp kaon2.jar org.semanticweb.kaon2.server.ServerMain -registry -rmi -ontologies server_root -dig -digport 8088
    Quite lengthy, I know. You will probably want to stuff this into a shell-script or batch-file so you can start your KAON2 reasoner with a simple doubleclick.

    The last argument - 8088 in our example - is the port of the DIG service. Fire up your Protege with the OWL plugin, and check in the OWL menu the preferences window. The reasoner URL will tell you where Protege looks for a reasoner - with the above DIG port it should be http://localhost:8088. If you chose another port, be sure to enter the correct adress here.

    Now you can use the consistency checks and automatic classification and all this as provided by Protege (or any other Ontology Engineering tool featuring the DIG interface). Protege tells you also the time your reasoner took for its tasks - compare it with Racer and Fact, if you like. I'd be interested in your findings!

    But don't forget - this is the very first release of the DIG interface. If you find any bugs, say so! They must be squeezed! And don't forget: KAON2 is quite different than your usual tableaux reasoner, and so some questions are simply not possible. But the restrictions shouldn't be too severe. If you want more information, go to the KAON2 web site and check the references.

    [此贴子已经被admin于2005-12-13 0:48:57编辑过]

       收藏   分享  
    顶(0)
      




    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2005/12/1 19:02:00
     
     Lamer 帅哥哟,离线,有人找我吗?
      
      
      等级:大一新生
      文章:3
      积分:88
      门派:XML.ORG.CN
      注册:2005/11/25

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给Lamer发送一个短消息 把Lamer加入好友 查看Lamer的个人资料 搜索Lamer在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看Lamer的博客2
    发贴心情 
    以下是引用iamwym在2005-12-1 19:02:00的发言:
    http://semantic.nodix.net/2005/11/kaon2-and-protege.html

    KAON2的优点在于对于ABox的推理,有兴趣的朋友可以用用看,还是挺方便的~

    [此贴子已经被作者于2005-12-2 0:45:14编辑过]



    能否解释一下什么是ABox?多谢
    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2005/12/12 22:32:00
     
     janny 美女呀,离线,快来找我吧!
      
      
      等级:大一(高数修炼中)
      文章:21
      积分:162
      门派:XML.ORG.CN
      注册:2005/9/11

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给janny发送一个短消息 把janny加入好友 查看janny的个人资料 搜索janny在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看janny的博客3
    发贴心情 
    感谢推荐!看了!很好啊!
    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2005/12/13 9:37:00
     
     anew88 帅哥哟,离线,有人找我吗?
      
      
      等级:大二期末(C++考了100分!)
      文章:76
      积分:397
      门派:XML.ORG.CN
      注册:2005/8/20

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给anew88发送一个短消息 把anew88加入好友 查看anew88的个人资料 搜索anew88在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看anew88的博客4
    发贴心情 
    谢谢
    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2005/12/13 16:06:00
     
     icebuddy 帅哥哟,离线,有人找我吗?
      
      
      等级:大三(面向对象是个好东东!)
      文章:145
      积分:610
      门派:XML.ORG.CN
      注册:2005/3/15

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给icebuddy发送一个短消息 把icebuddy加入好友 查看icebuddy的个人资料 搜索icebuddy在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看icebuddy的博客5
    发贴心情 
    还有TBOX,用于表示术语表及术语之间的关系
    ABOX是,个体的申明和实例之间关系的断言。
    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2005/12/15 11:12:00
     
     fanfanfly 美女呀,离线,快来找我吧!
      
      
      等级:大一(高数修炼中)
      文章:13
      积分:124
      门派:XML.ORG.CN
      注册:2005/9/9

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给fanfanfly发送一个短消息 把fanfanfly加入好友 查看fanfanfly的个人资料 搜索fanfanfly在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看fanfanfly的博客6
    发贴心情 
    我在用racer,不知两者有何区别
    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2005/12/20 10:17:00
     
     trureal 帅哥哟,离线,有人找我吗?射手座1981-12-11
      
      
      等级:大二(研究汇编)
      文章:46
      积分:233
      门派:W3CHINA.ORG
      注册:2005/6/8

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给trureal发送一个短消息 把trureal加入好友 查看trureal的个人资料 搜索trureal在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 点击这里发送电邮给trureal  引用回复这个贴子 回复这个贴子 查看trureal的博客7
    发贴心情 我也想问这个,能将将吗?
    我也想问这个,能将将吗?还有Racer就仅仅是检查一下本体的关系逻辑吗?不明白...

    ----------------------------------------------
    人各有志,天佑英才...

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

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给iamwym发送一个短消息 把iamwym加入好友 查看iamwym的个人资料 搜索iamwym在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 访问iamwym的主页 引用回复这个贴子 回复这个贴子 查看iamwym的博客8
    发贴心情 
    以下是引用fanfanfly在2005-12-20 10:17:00的发言:
    我在用racer,不知两者有何区别


    racer不是免费的,kaon2免费
    racer用tableaux,在cardinality上面做了好。
    kaon2在abox推理上做了好。
    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2006/3/17 0:24:00
     
     摩登原始人 美女呀,离线,快来找我吧!
      
      
      等级:大一新生
      文章:0
      积分:55
      门派:XML.ORG.CN
      注册:2006/3/16

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给摩登原始人发送一个短消息 把摩登原始人加入好友 查看摩登原始人的个人资料 搜索摩登原始人在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看摩登原始人的博客9
    发贴心情 
    多谢了
    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2006/3/17 8:59:00
     
     Ambrosia 美女呀,离线,快来找我吧!
      
      
      威望:1
      头衔:天使
      等级:计算机学士学位
      文章:377
      积分:2304
      门派:XHTML.ORG.CN
      注册:2006/2/23

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给Ambrosia发送一个短消息 把Ambrosia加入好友 查看Ambrosia的个人资料 搜索Ambrosia在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看Ambrosia的博客10
    发贴心情 
    excellent tool!
    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2006/3/17 9:54: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 7:11:46

    本主题贴数16,分页: [1] [2]

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