新书推介：《语义网技术体系》
作者：瞿裕忠，胡伟，程龚
   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讨论区 - 语义网·描述逻辑·本体·RDF·OWL → W3CHINA.ORG讨论区 - Web新技术讨论 → 『 Semantic Web(语义Web)/描述逻辑/本体 』 → 使用pellet api进行swrl推理的失败,希望哪位高人指点原因 ◇查看新帖 ◇ 用户列表 ◇

      发表一个新主题  发表一个新投票  回复主题  (订阅本版) 您是本帖的第 11301 个阅读者浏览上一篇主题  刷新本主题   树形显示贴子　浏览下一篇主题
     * 贴子主题： 使用pellet api进行swrl推理的失败,希望哪位高人指点原因 举报  打印  推荐  IE收藏夹 
       本主题类别:     
     zhangxm 帅哥哟，离线，有人找我吗？
      
      
      等级：大二(研究汇编)
      文章：22
      积分：208
      门派：XML.ORG.CN
      注册：2007/4/22

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给zhangxm发送一个短消息 把zhangxm加入好友 查看zhangxm的个人资料 搜索zhangxm在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看zhangxm的博客楼主
    发贴心情 使用pellet api进行swrl推理的失败,希望哪位高人指点原因

    本体文件如下
    <?xml version="1.0" encoding="gbk"?>
    <!DOCTYPE rdf:RDF [
        
         <!ENTITY owl  "http://www.w3.org/2002/07/owl#" >
         <!ENTITY xsd  "http://www.w3.org/2001/XMLSchema#" >
         
         <!ENTITY loan  "http://adr.avic1/loan#" >
         
       ]>
    <rdf:RDF
        xml:base=""
        xmlns="http://adr.avic1/loan#"
        xmlns:owl="http://www.w3.org/2002/07/owl#"
        xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
        xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
       
        xmlns:loan="http://adr.avic1/loan#"
        
        
    xmlns:swrla="http://swrl.stanford.edu/ontologies/3.3/swrla.owl#"
    xmlns:query="http://swrl.stanford.edu/ontologies/built-ins/3.3/query.owl#"
    xmlns:swrl="http://www.w3.org/2003/11/swrl#"
    xmlns:swlrx="http://swrl.stanford.edu/ontologies/built-ins/3.3/swrlx.owl#"
    xmlns:swrlb="http://www.w3.org/2003/11/swrlb#"
    xmlns:tbox="http://swrl.stanford.edu/ontologies/built-ins/3.3/tbox.owl#"
    >
    <owl:Ontology rdf:about="loan.owl">
      <rdfs:comment></rdfs:comment>
      <owl:versionInfo>
          $Id: test.html,v 1.0 2003/03/20 22:22:00 Lxp $
      </owl:versionInfo>
      
      
      
      <owl:imports rdf:resource="common/swrl.owl" />
      <owl:imports rdf:resource="common/swrlb.owl" />
      <owl:imports rdf:resource="common/swrla.owl" />

      <owl:imports rdf:resource="common/abox.owl" />
      <owl:imports rdf:resource="common/tbox.owl" />
      <owl:imports rdf:resource="common/swrlx.owl" />
      <owl:imports rdf:resource="common/query.owl" />
    </owl:Ontology>

    <!--定义loanMoney是借款项类,loan;amount是借款金额类 loan;value是连接二者的R-->
    <owl:Class rdf:about="&owl;Thing"/>
    <owl:Class rdf:about="&loan;loanMoney"/>
    <owl:Class rdf:about="&loan;amount"/>  

    <owl:ObjectProperty rdf:about="&loan;value">
        <rdfs:domain rdf:resource="&loan;loanMoney"/>
        <rdfs:range rdf:resource="&loan;amount"/>
    </owl:ObjectProperty>


    <loan:amount rdf:about="&loan;A1"/>
    <loan:amount rdf:about="&loan;A2"/>
    <loan:amount rdf:about="&loan;A3"/>


    <!--可以看出来,这三个"借款项类"实例在"loan;value"上是一致的-->
    <loan:loanMoney rdf:about="&loan;money1">
    <loan:value rdf:resource="&loan;A1"/>
    </loan:loanMoney>

    <loan:loanMoney rdf:about="&loan;money2">
    <loan:value rdf:resource="&loan;A1"/>
    </loan:loanMoney>

    <loan:loanMoney rdf:about="&loan;money3">
    <loan:value rdf:resource="&loan;A1"/>
    </loan:loanMoney>


    <owl:ObjectProperty rdf:about="&loan;same">
        <rdfs:domain rdf:resource="&loan;loanMoney"/>
        <rdfs:range rdf:resource="&loan;loanMoney"/>
    </owl:ObjectProperty>

    <swrl:Variable rdf:about="&loan;x"/>
    <swrl:Variable rdf:about="&loan;y"/>
    <swrl:Variable rdf:about="&loan;z"/>

    <swrl:Impl rdf:ID="rule-1">

      


        <swrl:head rdf:parseType="Collection">
            <swrl:IndividualPropertyAtom>
                <swrl:propertyPredicate rdf:resource="&loan;same"/>
                <swrl:argument1 rdf:resource="&loan;x"/>
                <swrl:argument2 rdf:resource="&loan;z"/>
            </swrl:IndividualPropertyAtom>
           
        </swrl:head>
        <swrl:body rdf:parseType="Collection">
        
        <swrl:ClassAtom>
          <swrl:classPredicate rdf:resource="&loan;loanMoney"/>
          <swrl:argument1 rdf:resource="&loan;x" />
        </swrl:ClassAtom>
        
        <swrl:ClassAtom>
          <swrl:classPredicate rdf:resource="&loan;loanMoney"/>
          <swrl:argument1 rdf:resource="&loan;y" />
        </swrl:ClassAtom>
        
        <swrl:ClassAtom>
          <swrl:classPredicate rdf:resource="&loan;loanMoney"/>
          <swrl:argument1 rdf:resource="&loan;z" />
        </swrl:ClassAtom>
        
        
        
             <swrl:IndividualPropertyAtom>
                <swrl:propertyPredicate rdf:resource="&loan;value"/>
                <swrl:argument1 rdf:resource="&loan;x"/>
                <swrl:argument2 rdf:resource="&loan;y"/>
            </swrl:IndividualPropertyAtom>
             <swrl:IndividualPropertyAtom>
                <swrl:propertyPredicate rdf:resource="&loan;value"/>
                <swrl:argument1 rdf:resource="&loan;z"/>
                <swrl:argument2 rdf:resource="&loan;y"/>
       </swrl:IndividualPropertyAtom>
       
        </swrl:body>
    </swrl:Impl>


    </rdf:RDF>


       收藏   分享  
    顶(0)
      




    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2008/4/8 1:50:00
     
     zhangxm 帅哥哟，离线，有人找我吗？
      
      
      等级：大二(研究汇编)
      文章：22
      积分：208
      门派：XML.ORG.CN
      注册：2007/4/22

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给zhangxm发送一个短消息 把zhangxm加入好友 查看zhangxm的个人资料 搜索zhangxm在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看zhangxm的博客第2楼
    发贴心情 
    indivdual="http://adr.avic1/loan#money1";
             ObjProperty ="http://adr.avic1/loan#same";   
             OWLIndividual loanMoney = reasoner.getIndividual(new URI(indivdual));
             
             System.out.println("完成导入主语");
           
            
             OWLObjectProperty same = reasoner.getObjectProperty(new URI(ObjProperty));
             System.out.println("完成导入谓语");
             results = reasoner.getPropertyValues(john, sameRoom);
             System.out.println("检索记录个数:"+results.size());
              iter = results.iterator();
             
             while(iter.hasNext())
             {
              System.out.println (iter.next());
              
             }


    以上是使用swrl进行推理的代码.
    使用pellet api对本体进行导入的时候,很正常.包括加载swrl段.
    但是进行推理的时候,检索结果个数为0.

    但是从本体文件来看.与http://adr.avic1/loan#money1实例有same关系的实例还有
    http://adr.avic1/loan#money2,http://adr.avic1/loan#money3
    两个.

    不知道为什么,请高人指点了.谢谢.

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2008/4/8 1:52:00
     
     zhangxm 帅哥哟，离线，有人找我吗？
      
      
      等级：大二(研究汇编)
      文章：22
      积分：208
      门派：XML.ORG.CN
      注册：2007/4/22

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给zhangxm发送一个短消息 把zhangxm加入好友 查看zhangxm的个人资料 搜索zhangxm在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看zhangxm的博客第3楼
    发贴心情 
    swrl:ClassAtom>
          <swrl:classPredicate rdf:resource="&loan;loanMoney"/>
          <swrl:argument1 rdf:resource="&loan;z" />
        </swrl:ClassAtom>
    这一段,加不加结果都是一样的.气人呀.
    唉.文档太少了.
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2008/4/8 1:56:00
     
     sdc_1225 帅哥哟，离线，有人找我吗？
      
      
      等级：大一(猛啃高等数学)
      文章：10
      积分：106
      门派：XML.ORG.CN
      注册：2007/12/17

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给sdc_1225发送一个短消息 把sdc_1225加入好友 查看sdc_1225的个人资料 搜索sdc_1225在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看sdc_1225的博客第4楼
    发贴心情 
    是啊，文档太少，例子更少啊，且大都是英文地。对了，楼主，pellet在protege中有可视化的插件吗？
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2008/8/5 16:04:00
     
     fanwander 帅哥哟，离线，有人找我吗？
      
      
      等级：大一(猛啃高等数学)
      文章：34
      积分：186
      门派：XML.ORG.CN
      注册：2008/3/8

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给fanwander发送一个短消息 把fanwander加入好友 查看fanwander的个人资料 搜索fanwander在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看fanwander的博客第5楼
    发贴心情 
    楼主能多介绍一下推理机的用法吗？
    谢谢了！
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2008/8/14 9:14:00
     
     HONGDAXIANG 帅哥哟，离线，有人找我吗？
      
      
      等级：大一(猛啃高等数学)
      文章：24
      积分：153
      门派：XML.ORG.CN
      注册：2010/12/29

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给HONGDAXIANG发送一个短消息 把HONGDAXIANG加入好友 查看HONGDAXIANG的个人资料 搜索HONGDAXIANG在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看HONGDAXIANG的博客第6楼
    发贴心情 
    我来告诉你吧，PELETE是不支持SWRL规则语言的，这才是正解哈！！！！！
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2011/3/16 1:03:00
     
     GoogleAdSense
      
      
      等级：大一新生
      文章：1
      积分：50
      门派：无门无派
      院校：未填写
      注册：2007-01-01
    给Google AdSense发送一个短消息 把Google AdSense加入好友 查看Google AdSense的个人资料 搜索Google AdSense在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 访问Google AdSense的主页 引用回复这个贴子 回复这个贴子 查看Google AdSense的博客广告
    2024/4/23 15:14:45

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

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