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

      发表一个新主题  发表一个新投票  回复主题  (订阅本版) 您是本帖的第 11306 个阅读者浏览上一篇主题  刷新本主题   平板显示贴子 浏览下一篇主题
     * 贴子主题: 使用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
     
     GoogleAdSense
      
      
      等级:大一新生
      文章:1
      积分:50
      门派:无门无派
      院校:未填写
      注册:2007-01-01
    给Google AdSense发送一个短消息 把Google AdSense加入好友 查看Google AdSense的个人资料 搜索Google AdSense在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 访问Google AdSense的主页 引用回复这个贴子 回复这个贴子 查看Google AdSense的博客广告
    2024/5/3 23:51:33

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

     *树形目录 (最近20个回帖) 顶端 
    主题:  使用pellet api进行swrl推理的失败,希望哪位高人指点原因(4147字) - zhangxm,2008年4月8日
        回复:  我来告诉你吧,PELETE是不支持SWRL规则语言的,这才是正解哈!!!!!..(66字) - HONGDAXIANG,2011年3月16日
        回复:  楼主能多介绍一下推理机的用法吗?谢谢了!(42字) - fanwander,2008年8月14日
        回复:  是啊,文档太少,例子更少啊,且大都是英文地。对了,楼主,pellet在protege中有可视化的插..(91字) - sdc_1225,2008年8月5日
        回复:  swrl:ClassAtom> <swrl:classPredicate rdf:r..(205字) - zhangxm,2008年4月8日
        回复:  indivdual="http://adr.avic1/loan#money1"; ..(984字) - zhangxm,2008年4月8日

    W3C Contributing Supporter! W 3 C h i n a ( since 2003 ) 旗 下 站 点
    苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
    85.938ms