新书推介:《语义网技术体系》
作者:瞿裕忠,胡伟,程龚
   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运行中的错误 查看新帖用户列表

      发表一个新主题  发表一个新投票  回复主题  (订阅本版) 您是本帖的第 22627 个阅读者浏览上一篇主题  刷新本主题   树形显示贴子 浏览下一篇主题
     * 贴子主题: 大家帮忙看看Pellet运行中的错误 举报  打印  推荐  IE收藏夹 
       本主题类别:     
     yayatu 美女呀,离线,快来找我吧!双子座1981-6-1
      
      
      
      威望:1
      等级:大三暑假(2个月背完了红宝书)(贵宾)
      文章:134
      积分:965
      门派:XML.ORG.CN
      注册:2004/7/6

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给yayatu发送一个短消息 把yayatu加入好友 查看yayatu的个人资料 搜索yayatu在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看yayatu的博客楼主
    发贴心情 大家帮忙看看Pellet运行中的错误

    我用protege3.1创建了一个本体,并且添加了规则。
    但是运行的时候,出现了这样的错误,请高手指教
    WARN [main] (OntDocumentManager.java:1212) - An error occurred while attempting to read from http://www.daml.org/rules/proposal/swrlb.owl. Msg was 'Not found: http://www.daml.org/rules/proposal/swrlb.owl'.
    com.hp.hpl.jena.shared.NotFoundException: Not found: http://www.daml.org/rules/proposal/swrlb.owl
     at com.hp.hpl.jena.util.FileManager.readModelWorker(FileManager.java:378)
     at com.hp.hpl.jena.util.FileManager.readModel(FileManager.java:332)
     at com.hp.hpl.jena.util.FileManager.readModel(FileManager.java:316)
     at com.hp.hpl.jena.ontology.OntDocumentManager.read(OntDocumentManager.java:1198)
     at com.hp.hpl.jena.ontology.OntDocumentManager$1.readModel(OntDocumentManager.java:1168)
     at com.hp.hpl.jena.rdf.model.impl.ModelMakerImpl.getModel(ModelMakerImpl.java:105)
     at com.hp.hpl.jena.ontology.OntDocumentManager.fetchLoadedImportModel(OntDocumentManager.java:1165)
     at com.hp.hpl.jena.ontology.OntDocumentManager.fetchPossiblyCachedImportModel(OntDocumentManager.java:1138)
     at com.hp.hpl.jena.ontology.OntDocumentManager.loadImport(OntDocumentManager.java:1111)
     at com.hp.hpl.jena.ontology.OntDocumentManager.loadImports(OntDocumentManager.java:889)
     at com.hp.hpl.jena.ontology.OntDocumentManager.loadImports(OntDocumentManager.java:827)
     at com.hp.hpl.jena.ontology.impl.OntModelImpl.loadImports(OntModelImpl.java:1848)
     at com.hp.hpl.jena.ontology.impl.OntModelImpl.read(OntModelImpl.java:2134)
     at com.hp.hpl.jena.rdf.model.impl.ModelCom.read(ModelCom.java:215)
     at com.hp.hpl.jena.ontology.impl.OntModelImpl.read(OntModelImpl.java:2093)
     at com.hp.hpl.jena.ontology.impl.OntModelImpl.read(OntModelImpl.java:2063)
     at com.hp.hpl.jena.ontology.impl.OntModelImpl.read(OntModelImpl.java:2024)
     at com.lre.utils.Ugu.main(Ugu.java:34)

       收藏   分享  
    顶(0)
      




    ----------------------------------------------
    研究描述逻辑,努力中……

    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2007/8/1 10:59:00
     
     jpz6311whu 帅哥哟,离线,有人找我吗?
      
      
      
      威望:9
      等级:研三(收到微软亚洲研究院的Offer了)(版主)
      文章:1718
      积分:10610
      门派:W3CHINA.ORG
      注册:2005/4/12

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给jpz6311whu发送一个短消息 把jpz6311whu加入好友 查看jpz6311whu的个人资料 搜索jpz6311whu在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看jpz6311whu的博客2
    发贴心情 
    要在OntDocumentManager中注册alt uri
    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2007/8/1 11:04:00
     
     yayatu 美女呀,离线,快来找我吧!双子座1981-6-1
      
      
      
      威望:1
      等级:大三暑假(2个月背完了红宝书)(贵宾)
      文章:134
      积分:965
      门派:XML.ORG.CN
      注册:2004/7/6

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给yayatu发送一个短消息 把yayatu加入好友 查看yayatu的个人资料 搜索yayatu在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看yayatu的博客3
    发贴心情 
    请问如何注册,非常感谢哦~~~

    ----------------------------------------------
    研究描述逻辑,努力中……

    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2007/8/3 8:06:00
     
     jpz6311whu 帅哥哟,离线,有人找我吗?
      
      
      
      威望:9
      等级:研三(收到微软亚洲研究院的Offer了)(版主)
      文章:1718
      积分:10610
      门派:W3CHINA.ORG
      注册:2005/4/12

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给jpz6311whu发送一个短消息 把jpz6311whu加入好友 查看jpz6311whu的个人资料 搜索jpz6311whu在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看jpz6311whu的博客4
    发贴心情 
    Controlling imports processing
    To load an ontology without building the imports closure, call the method setProcessImports( false ) on the document manager object, or set the processImports property in the policy file. To be more selective, it is possible to ignore certain URI's when loading the imported documents. Call the method addIgnoreImport( String uri ) on the document manager object, or set the ignoreImport property in the policy.

    A strength of working with ontologies is that we can reuse work done by other ontologists by importing their published ontologies. Often, however, this means that the ontology is only retrievable by traversing an Internet firewall. Even if this is possible, by using an HTTP proxy, it may impose unacceptable delay in loading an application. In the worst case, an ontology on which our application depends is temporarily or permanently unavailable from the original published URL. To assist with this common problem, the ontology document manager allows a local indirection, so that an attempt to import a document from a given published URL means that a local copy of the document is retrieved instead. This may be a file copy or simply duplicated on an internal mirror web site.

    To specify this local redirection in the policy file, we use the following declarations:

    <OntologySpec>
      <!-- local version of the RDFS vocabulary -->
      <publicURI rdf:resource="http://www.w3.org/2000/01/rdf-schema"    />
      <altURL rdf:resource="file:vocabularies/rdf-schema.rdf" />
      <language rdf:resource="http://www.w3.org/2000/01/rdf-schema" />
      <prefix rdf:datatype="&xsd;string">rdfs</prefix>
    </OntologySpec>This specifies that an attempt to load the RDFS vocabulary from http://www.w3.org/2000/01/rdf-schema will transparently cause file:vocabularies/rdf-schema.rdf to be fetched instead. Any number of such re-directions may be specified in the policy file, or they can be added to the document manager object directly by calling the various 'add' methods (see the Javadoc for details). As a side-effect, this mechanism also means that ontologies can be named with any legal URI (not necessarily resolvable) - so long as the altURL is itself resolvable.

    Specifying prefixes
    A model keeps a table of URI prefixes that can be used to render URI's in the shortened prefix:name form, which is useful in displaying URI's in a readable way in user interfaces, and is essential in producing legal XML names that denote arbitrary URI's. The ontology model's table of prefixes can be initialized from a table kept by the document manager, which contains the standard prefixes plus any that are declared by in the policy file (or added to subsequently by method calls). To prevent the model's prefix table from being initialized in this way, use the property useDeclaredNsPrefixes in the policy file (with value 'false'), or call the method setUseDeclaredPrefixes on the ontology object.

    Caching models
    The final behaviour that the document manager provides to assist with loading ontology documents is a model cache. Suppose two ontologies, A and B both import ontology C. It would be nice not to have to read C twice when loading A and B. The document manager supports this use case by optionally caching C's model, indexed by C's URI. Then an attempt to import C from B, it previously having been loaded by A, would result in a significant time saving, and a reuse of the same model for C in both A and B.

    To turn model caching on or off, use the policy property cacheModels, or call the method setCacheModels( boolean caching ). The default is caching on. The document manager's current model cache can be cleared at any time by calling clearCache().

    Example
    In the following example, we programmatically declare that the camera ontology is copied locally, and then load it using the public URL. Assume that the constant JENA has been initialized to the directory in which Jena is installed.

    OntModel m = ModelFactory.createOntologyModel();
    OntDocumentManager dm = m.getDocumentManager();
    dm.addAltEntry( "http://www.xfront.com/owl/ontologies/camera/",
                    "file:" + JENA + "src-examples/data/camera.owl"    );
    m.read( "http://www.xfront.com/owl/ontologies/camera/" );

    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2007/8/3 10:02:00
     
     yayatu 美女呀,离线,快来找我吧!双子座1981-6-1
      
      
      
      威望:1
      等级:大三暑假(2个月背完了红宝书)(贵宾)
      文章:134
      积分:965
      门派:XML.ORG.CN
      注册:2004/7/6

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给yayatu发送一个短消息 把yayatu加入好友 查看yayatu的个人资料 搜索yayatu在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看yayatu的博客5
    发贴心情 
    请问在我下面的程序中,注册了uri了吗?
    public class Ugu {
     public static void main(String[] args){
      System.out.println("We want to reason about instances of Ugu in our Ontology ---------");
      String ont = "http://www.owl-ontologies.com/Ontology1168914056.owl";
      String ns = "http://www.owl-ontologies.com/Ontology1168914056.owl#";
      
      OntModel model = ModelFactory.createOntologyModel( PelletReasonerFactory.THE_SPEC, null );
      OntDocumentManager dm = model.getDocumentManager();
      dm.addAltEntry("http://www.owl-ontologies.com/Ontology1168914056.owl","file:///g:/ontology.owl");
      model.read( ont );
      System.out.println("The ontology is --------------");
      OntClass c = model.getOntClass( ns + "优股" );         
            printIterator(c.listSuperClasses(), "All super classes of " + c.getLocalName());
            // OntClass provides function to print *only* the direct subclasses
            printIterator(c.listSuperClasses(true), "Direct superclasses of " + c.getLocalName());
            
            System.out.println();
          
            OWLReasoner reasoner = new OWLReasoner();
      reasoner.load(model);
      Resource 优股 = model.getOntClass("http://www.owl-ontologies.com/Ontology1168914056.owl/优股");
      Set individuals = reasoner.getInstances(优股);
      for(Iterator i = individuals.iterator(); i.hasNext(); ) {
          Resource ind = (Resource) i.next();
          System.out.println(ind);
     }
     }
     public static void printInstances(OntClass cls) {
      System.out.print( cls.getLocalName() + " instances: " );
      printIterator( cls.listInstances() );
     }

     public static void printIterator(Iterator i) {
      if( !i.hasNext() ) {
       System.out.print( "none" );
      }
      else {
       while( i.hasNext() ) {
        Resource val = (Resource) i.next();
        System.out.print( val.getLocalName() );
        if( i.hasNext() )
         System.out.print( ", " );
       }
      }
      System.out.println();
     } 
     public static void printIterator(Iterator i, String header) {
              System.out.println(header);
              for(int c = 0; c < header.length(); c++)
                  System.out.print("=");
              System.out.println();
              
              if(i.hasNext()) {
               while (i.hasNext())
                   System.out.println( i.next() );
              }       
              else
                  System.out.println("<EMPTY>");
              
              System.out.println();
     }

    }

    ----------------------------------------------
    研究描述逻辑,努力中……

    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2007/8/3 10:13:00
     
     yayatu 美女呀,离线,快来找我吧!双子座1981-6-1
      
      
      
      威望:1
      等级:大三暑假(2个月背完了红宝书)(贵宾)
      文章:134
      积分:965
      门派:XML.ORG.CN
      注册:2004/7/6

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给yayatu发送一个短消息 把yayatu加入好友 查看yayatu的个人资料 搜索yayatu在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看yayatu的博客6
    发贴心情 
    程序能够运行到输出优股的父类和直接父类。但是不能推理出本体中哪些实例属于优股。我已经在本体中添加了规则,就是判断一个股票是否是优股的公理。
    但是输出这样的错误 WARN [main] (OWLLoader.java:346) - Unsupported axiom: Ignoring SWRL DatavaluedPropertyAtom: -80beb2a:1142984218a:-7feb
    WARN [main] (OWLLoader.java:346) - Unsupported axiom: Ignoring SWRL rule: http://www.owl-ontologies.com/Ontology1168914056.owl#Rule-1
    是我的规则写错了吗?
    我是在protege3.1中的SWRL Tab中编辑的啊~而且本体的OWL文本文件也能看到规则。不知道是哪里的问题。

    ----------------------------------------------
    研究描述逻辑,努力中……

    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2007/8/3 10:19:00
     
     jpz6311whu 帅哥哟,离线,有人找我吗?
      
      
      
      威望:9
      等级:研三(收到微软亚洲研究院的Offer了)(版主)
      文章:1718
      积分:10610
      门派:W3CHINA.ORG
      注册:2005/4/12

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给jpz6311whu发送一个短消息 把jpz6311whu加入好友 查看jpz6311whu的个人资料 搜索jpz6311whu在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看jpz6311whu的博客7
    发贴心情 
    已经注册了

    请楼主把OWL文件内容和推理规则内容贴出来看看

    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2007/8/3 11:25:00
     
     yayatu 美女呀,离线,快来找我吧!双子座1981-6-1
      
      
      
      威望:1
      等级:大三暑假(2个月背完了红宝书)(贵宾)
      文章:134
      积分:965
      门派:XML.ORG.CN
      注册:2004/7/6

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给yayatu发送一个短消息 把yayatu加入好友 查看yayatu的个人资料 搜索yayatu在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看yayatu的博客8
    发贴心情 
    这就是我的本体文件 ontology.owl
    <?xml version="1.0"?>
    <rdf:RDF
        xmlns:swrlb="http://www.w3.org/2003/11/swrlb#"
        xmlns:swrl="http://www.w3.org/2003/11/swrl#"
        xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
        xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
        xmlns="http://www.owl-ontologies.com/Ontology1168914056.owl#"
        xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
        xmlns:owl="http://www.w3.org/2002/07/owl#"
        xmlns:swrlImport="http://www.daml.org/rules/proposal/swrl.owl#"
        xmlns:swrlbImport="http://www.daml.org/rules/proposal/swrlb.owl#"
        xmlns:daml="http://www.daml.org/2001/03/daml+oil#"
        xmlns:dc="http://purl.org/dc/elements/1.1/"
      xml:base="http://www.owl-ontologies.com/Ontology1168914056.owl">
      <owl:Ontology rdf:about="">
        <owl:imports rdf:resource="http://www.daml.org/rules/proposal/swrlb.owl"/>
        <owl:imports rdf:resource="http://www.daml.org/rules/proposal/swrl.owl"/>
      </owl:Ontology>
      <owl:Class rdf:ID="板块"/>
      <owl:Class rdf:ID="上海B股">
        <rdfs:subClassOf>
          <owl:Class rdf:ID="普通股"/>
        </rdfs:subClassOf>
      </owl:Class>
      <owl:Class rdf:ID="优股">
        <rdfs:subClassOf>
          <owl:Class rdf:about="#普通股"/>
        </rdfs:subClassOf>
      </owl:Class>
      <owl:Class rdf:ID="证监会分类">
        <rdfs:subClassOf>
          <owl:Class rdf:ID="行业板块"/>
        </rdfs:subClassOf>
      </owl:Class>
      <owl:Class rdf:ID="净利润实体">
        <rdfs:subClassOf>
          <owl:Class rdf:ID="统计实体"/>
        </rdfs:subClassOf>
      </owl:Class>
      <owl:Class rdf:ID="优先股">
        <rdfs:subClassOf>
          <owl:Class rdf:ID="股票"/>
        </rdfs:subClassOf>
      </owl:Class>
      <owl:Class rdf:ID="公司"/>
      <owl:Class rdf:ID="业绩报告"/>
      <owl:Class rdf:ID="深圳B股">
        <rdfs:subClassOf>
          <owl:Class rdf:about="#普通股"/>
        </rdfs:subClassOf>
      </owl:Class>
      <owl:Class rdf:ID="市场参与者"/>
      <owl:Class rdf:ID="上海A股">
        <rdfs:subClassOf>
          <owl:Class rdf:about="#普通股"/>
        </rdfs:subClassOf>
      </owl:Class>
      <owl:Class rdf:ID="律师事务所">
        <rdfs:subClassOf>
          <owl:Class rdf:ID="中介机构"/>
        </rdfs:subClassOf>
      </owl:Class>
      <owl:Class rdf:about="#行业板块">
        <rdfs:subClassOf rdf:resource="#板块"/>
      </owl:Class>
      <owl:Class rdf:about="#股票">
        <rdfs:subClassOf>
          <owl:Class rdf:ID="金融工具"/>
        </rdfs:subClassOf>
      </owl:Class>
      <owl:Class rdf:ID="gufenyouxiangongsi">
        <rdfs:subClassOf rdf:resource="#公司"/>
      </owl:Class>
      <owl:Class rdf:ID="H股股票">
        <rdfs:subClassOf>
          <owl:Class rdf:about="#普通股"/>
        </rdfs:subClassOf>
      </owl:Class>
      <owl:Class rdf:ID="证券承销商">
        <rdfs:subClassOf>
          <owl:Class rdf:about="#中介机构"/>
        </rdfs:subClassOf>
      </owl:Class>
      <owl:Class rdf:about="#普通股">
        <rdfs:subClassOf rdf:resource="#股票"/>
      </owl:Class>
      <owl:Class rdf:ID="后配股">
        <rdfs:subClassOf rdf:resource="#股票"/>
      </owl:Class>
      <owl:Class rdf:ID="年报实体">
        <rdfs:subClassOf>
          <owl:Class rdf:ID="报告实体"/>
        </rdfs:subClassOf>
      </owl:Class>
      <owl:Class rdf:ID="资产评估机构">
        <rdfs:subClassOf>
          <owl:Class rdf:about="#中介机构"/>
        </rdfs:subClassOf>
      </owl:Class>
      <owl:Class rdf:ID="上证所行业分类">
        <rdfs:subClassOf rdf:resource="#行业板块"/>
      </owl:Class>
      <owl:Class rdf:about="#中介机构">
        <rdfs:subClassOf>
          <owl:Class rdf:ID="机构"/>
        </rdfs:subClassOf>
      </owl:Class>
      <owl:Class rdf:ID="股份有限公司">
        <rdfs:subClassOf rdf:resource="#公司"/>
      </owl:Class>
      <owl:Class rdf:ID="证券交易所">
        <rdfs:subClassOf rdf:resource="#中介机构"/>
      </owl:Class>
      <owl:Class rdf:ID="采掘行业">
        <rdfs:subClassOf rdf:resource="#上证所行业分类"/>
      </owl:Class>
      <owl:Class rdf:ID="概念板块">
        <rdfs:subClassOf rdf:resource="#板块"/>
      </owl:Class>
      <owl:Class rdf:about="#统计实体">
        <rdfs:subClassOf>
          <owl:Restriction>
            <owl:onProperty>
              <owl:DatatypeProperty rdf:ID="增长"/>
            </owl:onProperty>
            <owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#int"
            >1</owl:maxCardinality>
          </owl:Restriction>
        </rdfs:subClassOf>
        <rdfs:subClassOf rdf:resource="http://www.w3.org/2002/07/owl#Thing"/>
      </owl:Class>
      <owl:Class rdf:ID="审计机构">
        <rdfs:subClassOf rdf:resource="#中介机构"/>
      </owl:Class>
      <owl:Class rdf:ID="深圳A股">
        <rdfs:subClassOf rdf:resource="#普通股"/>
      </owl:Class>
      <owl:Class rdf:about="#机构">
        <rdfs:subClassOf rdf:resource="#市场参与者"/>
      </owl:Class>
      <owl:Class rdf:about="#报告实体">
        <rdfs:subClassOf>
          <owl:Restriction>
            <owl:allValuesFrom rdf:resource="#净利润实体"/>
            <owl:onProperty>
              <owl:ObjectProperty rdf:ID="净利润"/>
            </owl:onProperty>
          </owl:Restriction>
        </rdfs:subClassOf>
        <rdfs:subClassOf>
          <owl:Restriction>
            <owl:onProperty>
              <owl:DatatypeProperty rdf:ID="报告描述时间"/>
            </owl:onProperty>
            <owl:cardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#int"
            >1</owl:cardinality>
          </owl:Restriction>
        </rdfs:subClassOf>
        <rdfs:subClassOf rdf:resource="#业绩报告"/>
      </owl:Class>
      <owl:ObjectProperty rdf:ID="所在交易所">
        <rdfs:domain rdf:resource="#股票"/>
      </owl:ObjectProperty>
      <owl:ObjectProperty rdf:ID="统计分析">
        <rdfs:range rdf:resource="#统计实体"/>
        <rdfs:domain rdf:resource="#报告实体"/>
      </owl:ObjectProperty>
      <owl:ObjectProperty rdf:ID="上市地">
        <rdfs:range rdf:resource="#证券交易所"/>
        <rdfs:domain rdf:resource="#股份有限公司"/>
      </owl:ObjectProperty>
      <owl:ObjectProperty rdf:ID="所属公司">
        <rdfs:domain rdf:resource="#股票"/>
        <rdfs:range rdf:resource="#股份有限公司"/>
        <owl:inverseOf>
          <owl:ObjectProperty rdf:ID="股票发行"/>
        </owl:inverseOf>
      </owl:ObjectProperty>
      <owl:ObjectProperty rdf:ID="被审计">
        <rdfs:range rdf:resource="#审计机构"/>
        <rdfs:domain rdf:resource="#股份有限公司"/>
      </owl:ObjectProperty>
      <owl:ObjectProperty rdf:about="#净利润">
        <rdfs:domain rdf:resource="#报告实体"/>
        <rdfs:range rdf:resource="#净利润实体"/>
        <rdfs:subPropertyOf rdf:resource="#统计分析"/>
      </owl:ObjectProperty>
      <owl:ObjectProperty rdf:ID="资产评估">
        <rdfs:range rdf:resource="#资产评估机构"/>
        <rdfs:domain rdf:resource="#股份有限公司"/>
      </owl:ObjectProperty>
      <owl:ObjectProperty rdf:ID="年报">
        <rdfs:range rdf:resource="#年报实体"/>
        <rdfs:domain rdf:resource="#股份有限公司"/>
      </owl:ObjectProperty>
      <owl:ObjectProperty rdf:ID="委托发行">
        <rdfs:domain rdf:resource="#股票"/>
        <rdfs:range rdf:resource="#证券承销商"/>
      </owl:ObjectProperty>
      <owl:ObjectProperty rdf:ID="所属板块">
        <rdfs:range rdf:resource="#板块"/>
        <rdfs:domain rdf:resource="#股票"/>
      </owl:ObjectProperty>
      <owl:ObjectProperty rdf:about="#股票发行">
        <rdfs:range rdf:resource="#股票"/>
        <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#InverseFunctionalProperty"/>
        <owl:inverseOf rdf:resource="#所属公司"/>
        <rdfs:domain rdf:resource="#股份有限公司"/>
      </owl:ObjectProperty>
      <owl:DatatypeProperty rdf:ID="经营状况">
        <rdfs:domain rdf:resource="#股份有限公司"/>
        <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#string"/>
      </owl:DatatypeProperty>
      <owl:DatatypeProperty rdf:ID="注册地">
        <rdfs:domain rdf:resource="#股份有限公司"/>
        <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#string"/>
      </owl:DatatypeProperty>
      <owl:DatatypeProperty rdf:ID="上市时间">
        <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#date"/>
        <rdfs:domain rdf:resource="#股份有限公司"/>
      </owl:DatatypeProperty>
      <owl:DatatypeProperty rdf:ID="注册资本">
        <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#float"/>
        <rdfs:domain rdf:resource="#股份有限公司"/>
      </owl:DatatypeProperty>
      <owl:DatatypeProperty rdf:ID="公司名称">
        <rdfs:domain rdf:resource="#股份有限公司"/>
        <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#string"/>
      </owl:DatatypeProperty>
      <owl:DatatypeProperty rdf:ID="股票代码">
        <rdfs:domain rdf:resource="#股票"/>
        <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#int"/>
      </owl:DatatypeProperty>
      <owl:DatatypeProperty rdf:ID="股票简称">
        <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#string"/>
        <rdfs:domain rdf:resource="#股票"/>
      </owl:DatatypeProperty>
      <owl:DatatypeProperty rdf:about="#报告描述时间">
        <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#date"/>
        <rdfs:domain rdf:resource="#报告实体"/>
      </owl:DatatypeProperty>
      <owl:DatatypeProperty rdf:about="#增长">
        <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#float"/>
        <rdfs:domain rdf:resource="#统计实体"/>
      </owl:DatatypeProperty>
      <owl:DatatypeProperty rdf:ID="成立日期">
        <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#date"/>
        <rdfs:domain rdf:resource="#股份有限公司"/>
      </owl:DatatypeProperty>
      <owl:DatatypeProperty rdf:ID="经营范围">
        <rdfs:domain rdf:resource="#股份有限公司"/>
        <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#string"/>
      </owl:DatatypeProperty>
      <owl:DatatypeProperty rdf:ID="发行价">
        <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#float"/>
        <rdfs:domain rdf:resource="#股票"/>
      </owl:DatatypeProperty>
      <owl:DatatypeProperty rdf:ID="发行日期">
        <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#date"/>
        <rdfs:domain rdf:resource="#股票"/>
      </owl:DatatypeProperty>
      <swrl:Variable rdf:ID="y"/>
      <swrl:Imp rdf:ID="Rule-1">
        <swrl:body>
          <swrl:AtomList>
            <rdf:first>
              <swrl:IndividualPropertyAtom>
                <swrl:argument1>
                  <swrl:Variable rdf:ID="x"/>
                </swrl:argument1>
                <swrl:argument2 rdf:resource="#y"/>
                <swrl:propertyPredicate rdf:resource="#股票发行"/>
              </swrl:IndividualPropertyAtom>
            </rdf:first>
            <rdf:rest>
              <swrl:AtomList>
                <rdf:rest>
                  <swrl:AtomList>
                    <rdf:rest>
                      <swrl:AtomList>
                        <rdf:first>
                          <swrl:IndividualPropertyAtom>
                            <swrl:propertyPredicate rdf:resource="#年报"/>
                            <swrl:argument1 rdf:resource="#x"/>
                            <swrl:argument2>
                              <swrl:Variable rdf:ID="z"/>
                            </swrl:argument2>
                          </swrl:IndividualPropertyAtom>
                        </rdf:first>
                        <rdf:rest>
                          <swrl:AtomList>
                            <rdf:first>
                              <swrl:ClassAtom>
                                <swrl:argument1 rdf:resource="#z"/>
                                <swrl:classPredicate rdf:resource="#年报实体"/>
                              </swrl:ClassAtom>
                            </rdf:first>
                            <rdf:rest>
                              <swrl:AtomList>
                                <rdf:first>
                                  <swrl:IndividualPropertyAtom>
                                    <swrl:propertyPredicate rdf:resource="#净利润"/>
                                    <swrl:argument2>
                                      <swrl:Variable rdf:ID="a"/>
                                    </swrl:argument2>
                                    <swrl:argument1 rdf:resource="#z"/>
                                  </swrl:IndividualPropertyAtom>
                                </rdf:first>
                                <rdf:rest>
                                  <swrl:AtomList>
                                    <rdf:first>
                                      <swrl:ClassAtom>
                                        <swrl:classPredicate rdf:resource="#净利润实体"/>
                                        <swrl:argument1 rdf:resource="#a"/>
                                      </swrl:ClassAtom>
                                    </rdf:first>
                                    <rdf:rest>
                                      <swrl:AtomList>
                                        <rdf:rest rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#nil"/>
                                        <rdf:first>
                                          <swrl:DatavaluedPropertyAtom>
                                            <swrl:argument1 rdf:resource="#a"/>
                                            <swrl:argument2>
                                              <swrl:Variable rdf:ID="b"/>
                                            </swrl:argument2>
                                            <swrl:propertyPredicate rdf:resource="#增长"/>
                                          </swrl:DatavaluedPropertyAtom>
                                        </rdf:first>
                                      </swrl:AtomList>
                                    </rdf:rest>
                                  </swrl:AtomList>
                                </rdf:rest>
                              </swrl:AtomList>
                            </rdf:rest>
                          </swrl:AtomList>
                        </rdf:rest>
                      </swrl:AtomList>
                    </rdf:rest>
                    <rdf:first>
                      <swrl:ClassAtom>
                        <swrl:classPredicate rdf:resource="#股票"/>
                        <swrl:argument1 rdf:resource="#y"/>
                      </swrl:ClassAtom>
                    </rdf:first>
                  </swrl:AtomList>
                </rdf:rest>
                <rdf:first>
                  <swrl:ClassAtom>
                    <swrl:argument1 rdf:resource="#x"/>
                    <swrl:classPredicate rdf:resource="#股份有限公司"/>
                  </swrl:ClassAtom>
                </rdf:first>
              </swrl:AtomList>
            </rdf:rest>
          </swrl:AtomList>
        </swrl:body>
        <swrl:head>
          <swrl:AtomList>
            <rdf:rest rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#nil"/>
            <rdf:first>
              <swrl:ClassAtom>
                <swrl:classPredicate rdf:resource="#优股"/>
                <swrl:argument1 rdf:resource="#y"/>
              </swrl:ClassAtom>
            </rdf:first>
          </swrl:AtomList>
        </swrl:head>
      </swrl:Imp>
      <上海A股 rdf:ID="招商银行">
        <所属公司>
          <股份有限公司 rdf:ID="中国招商银行">
            <年报>
              <年报实体 rdf:ID="年报实体_14">
                <净利润>
                  <净利润实体 rdf:ID="净利润实体_10">
                    <增长 rdf:datatype="http://www.w3.org/2001/XMLSchema#float"
                    >0.22</增长>
                  </净利润实体>
                </净利润>
              </年报实体>
            </年报>
            <股票发行 rdf:resource="#招商银行"/>
          </股份有限公司>
        </所属公司>
      </上海A股>
      <gufenyouxiangongsi rdf:ID="gufenyouxiangongsi_29"/>
      <gufenyouxiangongsi rdf:ID="gufenyouxiangongsi_27"/>
      <净利润实体 rdf:ID="净利润实体_12">
        <增长 rdf:datatype="http://www.w3.org/2001/XMLSchema#float"
        >0.08</增长>
      </净利润实体>
      <年报实体 rdf:ID="年报实体_19">
        <净利润 rdf:resource="#净利润实体_10"/>
        <净利润>
          <净利润实体 rdf:ID="净利润实体_13">
            <增长 rdf:datatype="http://www.w3.org/2001/XMLSchema#float"
            >0.05</增长>
          </净利润实体>
        </净利润>
      </年报实体>
      <股份有限公司 rdf:ID="中国石化股份有限公司">
        <股票发行>
          <上海A股 rdf:ID="中国石化">
            <所属公司 rdf:resource="#中国石化股份有限公司"/>
          </上海A股>
        </股票发行>
        <年报>
          <年报实体 rdf:ID="年报实体_15">
            <净利润>
              <净利润实体 rdf:ID="净利润实体_11">
                <增长 rdf:datatype="http://www.w3.org/2001/XMLSchema#float"
                >0.21</增长>
              </净利润实体>
            </净利润>
          </年报实体>
        </年报>
      </股份有限公司>
      <gufenyouxiangongsi rdf:ID="gufenyouxiangongsi_28"/>
      <净利润实体 rdf:ID="净利润实体_6">
        <增长 rdf:datatype="http://www.w3.org/2001/XMLSchema#float"
        >0.15</增长>
      </净利润实体>
      <年报实体 rdf:ID="年报实体_18">
        <净利润 rdf:resource="#净利润实体_12"/>
      </年报实体>
      <gufenyouxiangongsi rdf:ID="gufenyouxiangongsi_24"/>
      <股份有限公司 rdf:ID="郑州宇通客车有限公司">
        <年报 rdf:resource="#年报实体_18"/>
        <股票发行>
          <上海A股 rdf:ID="郑州宇通">
            <所属公司 rdf:resource="#郑州宇通客车有限公司"/>
          </上海A股>
        </股票发行>
      </股份有限公司>
      <年报实体 rdf:ID="年报实体_5">
        <净利润 rdf:resource="#净利润实体_6"/>
        <净利润 rdf:resource="#净利润实体_11"/>
      </年报实体>
      <年报实体 rdf:ID="年报实体_16">
        <净利润 rdf:resource="#净利润实体_6"/>
        <净利润 rdf:resource="#净利润实体_13"/>
      </年报实体>
      <gufenyouxiangongsi rdf:ID="gufenyouxiangongsi_30"/>
      <gufenyouxiangongsi rdf:ID="gufenyouxiangongsi_26"/>
      <gufenyouxiangongsi rdf:ID="gufenyouxiangongsi_25"/>
      <gufenyouxiangongsi rdf:ID="gufenyouxiangongsi_31"/>
      <年报实体 rdf:ID="年报实体_17">
        <净利润 rdf:resource="#净利润实体_10"/>
        <净利润 rdf:resource="#净利润实体_12"/>
      </年报实体>
    </rdf:RDF>

    <!-- Created with Protege (with OWL Plugin 2.1, Build 284)  http://protege.stanford.edu -->

    ----------------------------------------------
    研究描述逻辑,努力中……

    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2007/8/3 15:48:00
     
     jpz6311whu 帅哥哟,离线,有人找我吗?
      
      
      
      威望:9
      等级:研三(收到微软亚洲研究院的Offer了)(版主)
      文章:1718
      积分:10610
      门派:W3CHINA.ORG
      注册:2005/4/12

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给jpz6311whu发送一个短消息 把jpz6311whu加入好友 查看jpz6311whu的个人资料 搜索jpz6311whu在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看jpz6311whu的博客9
    发贴心情 
    楼主你在5楼贴的代码无法编译,请贴完整正确的代码出来看看
    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2007/8/3 17:26:00
     
     yayatu 美女呀,离线,快来找我吧!双子座1981-6-1
      
      
      
      威望:1
      等级:大三暑假(2个月背完了红宝书)(贵宾)
      文章:134
      积分:965
      门派:XML.ORG.CN
      注册:2004/7/6

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给yayatu发送一个短消息 把yayatu加入好友 查看yayatu的个人资料 搜索yayatu在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 引用回复这个贴子 回复这个贴子 查看yayatu的博客10
    发贴心情 
    import java.util.ArrayList;
    import java.util.Iterator;
    import java.util.List;
    import java.util.Set;

    import org.mindswap.pellet.exceptions.UnsupportedFeatureException;
    import org.mindswap.pellet.jena.NodeFormatter;
    import org.mindswap.pellet.jena.OWLReasoner;
    import org.mindswap.pellet.jena.PelletQueryExecution;
    import org.mindswap.pellet.jena.PelletReasonerFactory;
    import org.mindswap.pellet.output.TableData;
    import org.mindswap.pellet.utils.QNameProvider;

    import com.hp.hpl.jena.ontology.OntClass;
    import com.hp.hpl.jena.ontology.OntDocumentManager;
    import com.hp.hpl.jena.ontology.OntModel;
    import com.hp.hpl.jena.rdf.model.ModelFactory;
    import com.hp.hpl.jena.rdf.model.RDFNode;
    import com.hp.hpl.jena.rdf.model.Resource;
    import com.hp.hpl.jena.query.Query;
    import com.hp.hpl.jena.query.QueryExecution;
    import com.hp.hpl.jena.query.QueryFactory;
    import com.hp.hpl.jena.query.ResultSet;
    public class Ugu {
     public static void main(String[] args){
      System.out.println("We want to reason about instances of Ugu in our Ontology ---------");
      String ont = "http://www.owl-ontologies.com/Ontology1168914056.owl";
      String ns = "http://www.owl-ontologies.com/Ontology1168914056.owl#";
      
      OntModel model = ModelFactory.createOntologyModel( PelletReasonerFactory.THE_SPEC, null );
      OntDocumentManager dm = model.getDocumentManager();
      dm.addAltEntry("http://www.owl-ontologies.com/Ontology1168914056.owl","file:///g:/ontology.owl");
      model.read( ont );
      System.out.println("The ontology is --------------");
      OntClass c = model.getOntClass( ns + "优股" );         
            printIterator(c.listSuperClasses(), "All super classes of " + c.getLocalName());
            // OntClass provides function to print *only* the direct subclasses
            printIterator(c.listSuperClasses(true), "Direct superclasses of " + c.getLocalName());
            
            System.out.println();
          
            OWLReasoner reasoner = new OWLReasoner();
      reasoner.load(model);
      Resource 优股 = model.getOntClass(ns+"优股");
      Set individuals = reasoner.getInstances(优股);
      for(Iterator i = individuals.iterator(); i.hasNext(); ) {
          Resource ind = (Resource) i.next();
          System.out.println(ind);
     }
     }
     public static void printInstances(OntClass cls) {
      System.out.print( cls.getLocalName() + " instances: " );
      printIterator( cls.listInstances() );
     }

     public static void printIterator(Iterator i) {
      if( !i.hasNext() ) {
       System.out.print( "none" );
      }
      else {
       while( i.hasNext() ) {
        Resource val = (Resource) i.next();
        System.out.print( val.getLocalName() );
        if( i.hasNext() )
         System.out.print( ", " );
       }
      }
      System.out.println();
     } 
     public static void printIterator(Iterator i, String header) {
              System.out.println(header);
              for(int c = 0; c < header.length(); c++)
                  System.out.print("=");
              System.out.println();
              
              if(i.hasNext()) {
               while (i.hasNext())
                   System.out.println( i.next() );
              }       
              else
                  System.out.println("<EMPTY>");
              
              System.out.println();
     }

    }

    ----------------------------------------------
    研究描述逻辑,努力中……

    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2007/8/4 14:16:00
     
     GoogleAdSense双子座1981-6-1
      
      
      等级:大一新生
      文章:1
      积分:50
      门派:无门无派
      院校:未填写
      注册:2007-01-01
    给Google AdSense发送一个短消息 把Google AdSense加入好友 查看Google AdSense的个人资料 搜索Google AdSense在『 Semantic Web(语义Web)/描述逻辑/本体 』的所有贴子 访问Google AdSense的主页 引用回复这个贴子 回复这个贴子 查看Google AdSense的博客广告
    2024/4/28 18:54:06

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

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