新书推介：《语义网技术体系》
作者：瞿裕忠，胡伟，程龚
   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讨论区 - Web新技术讨论 → 『 Semantic Web(语义Web)/描述逻辑/本体 』 → 请问一下使用protege进行本体推理的问题 ◇查看新帖 ◇ 用户列表 ◇

      发表一个新主题  发表一个新投票  回复主题  (订阅本版) 您是本帖的第 4616 个阅读者浏览上一篇主题  刷新本主题   树形显示贴子　浏览下一篇主题
     * 贴子主题： 请问一下使用protege进行本体推理的问题 举报  打印  推荐  IE收藏夹 
       本主题类别:     
     ryan2001 帅哥哟，离线，有人找我吗？
      
      
      等级：大一新生
      文章：2
      积分：65
      门派：XML.ORG.CN
      注册：2004/12/24

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

    请问一下，protege建类时，有一个asserted hierarchy，一般开始在这下面建类子类等，我都建了，但还有一个inferred hierarchy，却没法建立任何类，我觉得这必须经过推理才能建立的，只是不知道如何推理，请大家指点，我主要是想用OWLViz建立一个结构图，可是没有inferred hierarchy无法成功，这是怎么回事呢？

       收藏   分享  
    顶(0)
      




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

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给jiexincao发送一个短消息 把jiexincao加入好友 查看jiexincao的个人资料 搜索jiexincao在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看jiexincao的博客第2楼
    发贴心情 
    ProtegeOWLTutorial里面有。
    建立了本体之后，连接推理机，比如racer，推理机会根据类的定义（充分、必要、充要条件）进行推理。
    比如说已经建立类human，及其子类women，同时还有一个类unKnown。其中women的充要条件是human and  ∨hasSex (∨hasSex female)。unKnown的必要条件是human and  ∨hasSex (∨hasSex female)。这时推理机会将unKnown放到women类的子类的位置，推理结果出现在inferred hierarchy中。
    好像是这样，例子不知道举错了没，好久没看protege了，错了的话请大家指教啊。
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2005/5/4 22:48:00
     
     ryan2001 帅哥哟，离线，有人找我吗？
      
      
      等级：大一新生
      文章：2
      积分：65
      门派：XML.ORG.CN
      注册：2004/12/24

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给ryan2001发送一个短消息 把ryan2001加入好友 查看ryan2001的个人资料 搜索ryan2001在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看ryan2001的博客第3楼
    发贴心情 
    呵呵，多谢多谢，推理机是要下载的么？怎么用推理机呀，有没有一个教程，对了，仁兄现在不用pretege做语义网，用什么工具呢？
    unknown的必要条件还包括是female呀，这说不通呀？
    谢谢指导！
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2005/5/5 22:55:00
     
     dubistdumm 帅哥哟，离线，有人找我吗？
      
      
      等级：大一(高数修炼中)
      文章：17
      积分：134
      门派：XML.ORG.CN
      注册：2005/2/12

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给dubistdumm发送一个短消息 把dubistdumm加入好友 查看dubistdumm的个人资料 搜索dubistdumm在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看dubistdumm的博客第4楼
    发贴心情 
    你去google找ProtegeOWLTutorial.pdf这个文件,一找就能找到了,里面有详细的介绍,也有 race的下载地址.
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2005/5/7 11:29:00
     
     lingersoft 帅哥哟，离线，有人找我吗？
      
      
      等级：大一新生
      文章：4
      积分：78
      门派：XML.ORG.CN
      注册：2004/12/9

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给lingersoft发送一个短消息 把lingersoft加入好友 查看lingersoft的个人资料 搜索lingersoft在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看lingersoft的博客第5楼
    发贴心情 
    有没有那位大侠在用Jess对Protege本体进行推理的研究呀，可以给点资料吗，老板逼着做，急用！
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2005/5/10 10:07:00
     
     jiexincao 帅哥哟，离线，有人找我吗？
      
      
      威望：6
      等级：计算机学士学位
      文章：394
      积分：2379
      门派：XML.ORG.CN
      注册：2005/1/27

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给jiexincao发送一个短消息 把jiexincao加入好友 查看jiexincao的个人资料 搜索jiexincao在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看jiexincao的博客第6楼
    发贴心情 
    以下是引用ryan2001在2005-5-5 22:55:51的发言：
    unknown的必要条件还包括是female呀，这说不通呀？


    Tutorial里的例子也是建了一个未命名类，然后进行推理。我想这也是符合实际的，比如说你有了一个类，知道了它的定义（充分、必要、充要条件），然后通过推理在已有的类目树中找到它应该处的位置。
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2005/5/11 12:51:00
     
     微生物 帅哥哟，离线，有人找我吗？
      
      
      等级：大二期末(C++考了100分!)
      文章：23
      积分：313
      门派：XML.ORG.CN
      注册：2004/9/2

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给微生物发送一个短消息 把微生物加入好友 查看微生物的个人资料 搜索微生物在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看微生物的博客第7楼
    发贴心情 
    to lingersoft
         可到google上查查DAMLJessKB: A Tool for Reasoning with the Semantic Web一文，
    它有个例子可以下载。
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2005/5/17 12:45:00
     
     chris 帅哥哟，离线，有人找我吗？
      
      
      威望：1
      等级：大四寒假(收到CMU的Offer啦)
      文章：359
      积分：1751
      门派：XML.ORG.CN
      注册：2006/1/18

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给chris发送一个短消息 把chris加入好友 查看chris的个人资料 搜索chris在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看chris的博客第8楼
    发贴心情 
    可Racer现在没地方下载了
    谁能提供一下该软件阿
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/2/19 12:34:00
     
     GoogleAdSense
      
      
      等级：大一新生
      文章：1
      积分：50
      门派：无门无派
      院校：未填写
      注册：2007-01-01
    给Google AdSense发送一个短消息 把Google AdSense加入好友 查看Google AdSense的个人资料 搜索Google AdSense在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 访问Google AdSense的主页 引用回复这个贴子 回复这个贴子 查看Google AdSense的博客广告
    2025/8/2 23:02:55

    本主题贴数8，分页： [1]

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