楼主

用Pellet推理 結果一樣??[求助] 請問大大們: 小弟把Pellet推理機放進去,為啥沒推理出來?? 預期推論結果:LION(獅子)屬於Carnivore(肉食動物) 程式如下: OntModel m = null;         InputStreamReader in;         try{             Model cmodel=ModelFactory.createDefaultModel();             Resource conf=cmodel.createResource();             conf.addProperty(ReasonerVocabulary.EXT_REASONER_URL,cmodel.createResource("http://localhost:8081"));             DIGReasonerFactory drf=(DIGReasonerFactory) ReasonerRegistry.theRegistry().getFactory(DIGReasonerFactory.URI);             DIGReasoner r=(DIGReasoner) drf.create(conf);             OntModelSpec spec=new OntModelSpec(OntModelSpec.OWL_DL_MEM);             spec.setReasoner(r);            m= ModelFactory.createOntologyModel(spec,null);             FileInputStream file=new FileInputStream("Animal.owl");             in =new InputStreamReader(file,"UTF-8");             m.read(in,null);             m.write(System.out);         }catch(FileNotFoundException e){             System.out.println("無法打開本體論檔案");             System.exit(0);         }catch(IOException e){             e.printStackTrace();         } OWL: <?xml version="1.0"?> <rdf:RDF     xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"     xmlns="http://www.owl-ontologies.com/Ontology1195606282.owl#"     xmlns:xsd="http://www.w3.org/2001/XMLSchema#"     xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"     xmlns:owl="http://www.w3.org/2002/07/owl#"   xml:base="http://www.owl-ontologies.com/Ontology1195606282.owl">   <owl:Ontology rdf:about=""/>   <owl:Class rdf:ID="Giraffe">     <rdfs:subClassOf>       <owl:Class rdf:ID="Herbivore"/>     </rdfs:subClassOf>     <rdfs:subClassOf>       <owl:Restriction>         <owl:onProperty>           <owl:ObjectProperty rdf:ID="eat"/>         </owl:onProperty>         <owl:allValuesFrom>           <owl:Class rdf:ID="Leaf"/>         </owl:allValuesFrom>       </owl:Restriction>     </rdfs:subClassOf>   </owl:Class>   <owl:Class rdf:ID="Branch">     <rdfs:subClassOf>       <owl:Class rdf:ID="Plant"/>     </rdfs:subClassOf>     <rdfs:subClassOf>       <owl:Restriction>         <owl:allValuesFrom>           <owl:Class rdf:ID="Tree"/>         </owl:allValuesFrom>         <owl:onProperty>           <owl:TransitiveProperty rdf:ID="is_part_of"/>         </owl:onProperty>       </owl:Restriction>     </rdfs:subClassOf>   </owl:Class>   <owl:Class rdf:ID="Lion">     <rdfs:subClassOf>       <owl:Restriction>         <owl:onProperty>           <owl:ObjectProperty rdf:about="#eat"/>         </owl:onProperty>         <owl:allValuesFrom>           <owl:Class rdf:about="#Herbivore"/>         </owl:allValuesFrom>       </owl:Restriction>     </rdfs:subClassOf>     <rdfs:subClassOf>       <owl:Class rdf:ID="Animal"/>     </rdfs:subClassOf>   </owl:Class>   <owl:Class rdf:about="#Tree">     <rdfs:subClassOf>       <owl:Class rdf:about="#Plant"/>     </rdfs:subClassOf>   </owl:Class>   <owl:Class rdf:about="#Animal">     <owl:disjointWith>       <owl:Class rdf:about="#Plant"/>     </owl:disjointWith>   </owl:Class>   <owl:Class rdf:about="#Plant">     <owl:disjointWith rdf:resource="#Animal"/>   </owl:Class>   <owl:Class rdf:about="#Leaf">     <rdfs:subClassOf rdf:resource="#Plant"/>     <rdfs:subClassOf>       <owl:Restriction>         <owl:allValuesFrom rdf:resource="#Branch"/>         <owl:onProperty>           <owl:TransitiveProperty rdf:about="#is_part_of"/>         </owl:onProperty>       </owl:Restriction>     </rdfs:subClassOf>   </owl:Class>   <owl:Class rdf:ID="Carnivore">     <owl:equivalentClass>       <owl:Class>         <owl:intersectionOf rdf:parseType="Collection">           <owl:Class rdf:about="#Animal"/>           <owl:Restriction>             <owl:onProperty>               <owl:ObjectProperty rdf:ID="maineat"/>             </owl:onProperty>             <owl:allValuesFrom rdf:resource="#Animal"/>           </owl:Restriction>         </owl:intersectionOf>       </owl:Class>     </owl:equivalentClass>   </owl:Class>   <owl:Class rdf:about="#Herbivore">     <rdfs:subClassOf rdf:resource="#Animal"/>     <rdfs:subClassOf>       <owl:Restriction>         <owl:allValuesFrom rdf:resource="#Plant"/>         <owl:onProperty>           <owl:ObjectProperty rdf:about="#eat"/>         </owl:onProperty>       </owl:Restriction>     </rdfs:subClassOf>   </owl:Class>   <owl:ObjectProperty rdf:ID="eated">     <owl:inverseOf>       <owl:ObjectProperty rdf:about="#eat"/>     </owl:inverseOf>     <rdfs:range rdf:resource="#Animal"/>   </owl:ObjectProperty>   <owl:ObjectProperty rdf:about="#maineat">     <rdfs:subPropertyOf>       <owl:ObjectProperty rdf:about="#eat"/>     </rdfs:subPropertyOf>   </owl:ObjectProperty>   <owl:ObjectProperty rdf:about="#eat">     <owl:inverseOf rdf:resource="#eated"/>     <rdfs:domain rdf:resource="#Animal"/>   </owl:ObjectProperty>   <owl:TransitiveProperty rdf:about="#is_part_of">     <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#ObjectProperty"/>   </owl:TransitiveProperty> </rdf:RDF>    收藏   分享   顶(0)

	第2楼

推理的结果  m.write(System.out);这样是显示不出来的 你可以试试listStatements

	第3楼

謝謝提點!! 小弟還有個問題，假如在OWL裡已經設定條件如下： (1) 某個Class：NoteBook 它有一個instance：ACER_TravelMate_6291 另一個Class：Laptop 底下沒有instance 已設定Class：NoteBook 等於 Class：Laptop這個條件 那查詢Class：Laptop 有哪些instance 時，會找出：ACER_TravelMate_6291 (2) 已設好條件subject:組織 property:導入 object:IS，且企業和學校屬於組織的subclass 那查詢 ?subject  property:導入 object:IS時，會找出subject：組織、企業、學校 以上這兩個要用推理機推出來嗎??

	第4楼

都要用推理