楼主

[求助]Pellet推理的顯示?? 小弟請問各位大大: 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);       OntModel m=ModelFactory.createOntologyModel(spec,null);       m.read("http://protege.stanford.edu/plugins/owl/owl-library/koala.owl"); StmtIterator i=m.listStatements(null, OWL.equivalentClass,OWL.Nothing);//---->這行代表什麼意思??       while(i.hasNext()){           System.out.println("Class"+i.nextStatement().getSubject()+"is unsatisfiable");       } 結果出來: Class-4bed98e2:116951241b1:-7ff3is unsatisfiable Classhttp://protege.stanford.edu/plugins/owl/owl-library/koala.owl#Koalais unsatisfiable Classhttp://protege.stanford.edu/plugins/owl/owl-library/koala.owl#Quokkais unsatisfiable Classhttp://protege.stanford.edu/plugins/owl/owl-library/koala.owl#KoalaWithPhDis unsatisfiable Classhttp://www.w3.org/2002/07/owl#Nothingis unsatisfiable 雖然文件有寫但還不懂什麼意思?? 能說明一下嗎?    收藏   分享   顶(0)

	第2楼

StmtIterator i=m.listStatements(null, OWL.equivalentClass,OWL.Nothing);//---->這行代表什麼意思?? -- 列出符合条件的三元组，也就是符合subject为任意，predicate为OWL.equivalentClass，object为OWL.Nothing的那些三元组

	第3楼

謝謝大大解說!! 那如何顯示他推論出OWL檔哪些東西出來? 可以寫寫個sample小弟參考

	第4楼

以下是引用j08102728在2007-12-1 18:18:00的发言： 謝謝大大解說!! 那如何顯示他推論出OWL檔哪些東西出來? 可以寫寫個sample小弟參考 你贴出来的sample就是呀

	第5楼

了解 剛剛小弟改寫一下: 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);       OntModel ontmodel = null;         InputStreamReader in;          FileInputStream file=new FileInputStream("Animal.owl");             in =new InputStreamReader(file,"UTF-8");             ontmodel= (OntModel) ModelFactory.createOntologyModel();             ontmodel.read(in,null);             in.close();       Model im=ModelFactory.createInfModel(r,ontmodel);       im.write(System.out); 結果是 <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#"     xmlns:daml="http://www.daml.org/2001/03/daml+oil#" >   <rdf:Description rdf:about="http://www.w3.org/2002/07/owl#ObjectProperty">     <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Class"/>     <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Resource"/>   </rdf:Description>   <rdf:Description rdf:about="http://www.w3.org/2000/01/rdf-schema#isDefinedBy">     <rdfs:subPropertyOf rdf:resource="http://www.w3.org/2000/01/rdf-schema#isDefinedBy"/>     <rdfs:subPropertyOf rdf:resource="http://www.w3.org/2000/01/rdf-schema#seeAlso"/>     <rdf:type rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#Property"/>     <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Resource"/>   </rdf:Description>   <rdf:Description rdf:nodeID="A0">     <owl:onProperty rdf:resource="http://www.owl-ontologies.com/Ontology1195606282.owl#is_part_of"/>     <owl:allValuesFrom rdf:resource="http://www.owl-ontologies.com/Ontology1195606282.owl#Tree"/>     <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Restriction"/>     <rdfs:subClassOf rdf:nodeID="A0"/>     <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Class"/>     <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Resource"/>   </rdf:Description>   <rdf:Description rdf:nodeID="A1">     <owl:allValuesFrom rdf:resource="http://www.owl-ontologies.com/Ontology1195606282.owl#Leaf"/>     <owl:onProperty rdf:resource="http://www.owl-ontologies.com/Ontology1195606282.owl#eat"/>     <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Restriction"/>     <rdfs:subClassOf rdf:nodeID="A1"/>     <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Class"/>     <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Resource"/>   </rdf:Description>   <rdf:Description rdf:about="http://www.w3.org/2000/01/rdf-schema#Datatype">     <rdfs:subClassOf rdf:resource="http://www.w3.org/2000/01/rdf-schema#Datatype"/>     <rdfs:subClassOf rdf:resource="http://www.w3.org/2000/01/rdf-schema#Class"/>     <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Class"/>     <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Resource"/>   </rdf:Description>   <rdf:Description rdf:about="http://www.w3.org/2000/01/rdf-schema#subClassOf">     <rdfs:domain rdf:resource="http://www.w3.org/2000/01/rdf-schema#Class"/>     <rdfs:range rdf:resource="http://www.w3.org/2000/01/rdf-schema#Class"/>     <rdf:type rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#Property"/>     <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Resource"/>   </rdf:Description>   <rdf:Description rdf:about="http://www.owl-ontologies.com/Ontology1195606282.owl">     <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Ontology"/>   </rdf:Description>   <rdf:Description rdf:about="http://www.w3.org/2002/07/owl#Restriction">     <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Class"/>     <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Resource"/>   </rdf:Description>   <rdf:Description rdf:about="http://www.owl-ontologies.com/Ontology1195606282.owl#eat">     <rdfs:domain rdf:resource="http://www.owl-ontologies.com/Ontology1195606282.owl#Animal"/>     <owl:inverseOf rdf:resource="http://www.owl-ontologies.com/Ontology1195606282.owl#eated"/>     <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#ObjectProperty"/>     <rdfs:subPropertyOf rdf:resource="http://www.owl-ontologies.com/Ontology1195606282.owl#eat"/>     <rdf:type rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#Property"/>     <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Resource"/>   </rdf:Description>   <rdf:Description rdf:about="http://www.w3.org/2000/01/rdf-schema#domain">     <rdfs:domain rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#Property"/>     <rdfs:range rdf:resource="http://www.w3.org/2000/01/rdf-schema#Class"/>     <rdf:type rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#Property"/>     <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Resource"/>   </rdf:Description>   <rdf:Description rdf:about="http://www.w3.org/1999/02/22-rdf-syntax-ns#nil">     <rdf:type rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#List"/>     <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Resource"/>   </rdf:Description>   <rdf:Description rdf:about="http://www.w3.org/1999/02/22-rdf-syntax-ns#object">     <rdf:type rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#Property"/>     <rdfs:domain rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#Statement"/>     <rdfs:subPropertyOf rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#object"/>     <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Resource"/>   </rdf:Description>   <rdf:Description rdf:about="http://www.owl-ontologies.com/Ontology1195606282.owl#Giraffe">     <rdfs:subClassOf rdf:nodeID="A1"/>     <rdfs:subClassOf rdf:resource="http://www.owl-ontologies.com/Ontology1195606282.owl#Herbivore"/>     <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Class"/>     <rdfs:subClassOf rdf:resource="http://www.owl-ontologies.com/Ontology1195606282.owl#Giraffe"/>     <rdfs:subClassOf rdf:resource="http://www.owl-ontologies.com/Ontology1195606282.owl#Animal"/>     <rdfs:subClassOf rdf:nodeID="A2"/>     <rdfs:subClassOf rdf:resource="http://www.w3.org/2000/01/rdf-schema#Resource"/>     <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Class"/>     <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Resource"/>   </rdf:Description>   <rdf:Description rdf:nodeID="A3">     <owl:onProperty rdf:resource="http://www.owl-ontologies.com/Ontology1195606282.owl#is_part_of"/>     <owl:allValuesFrom rdf:resource="http://www.owl-ontologies.com/Ontology1195606282.owl#Branch"/>     <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Restriction"/>     <rdfs:subClassOf rdf:nodeID="A3"/>     <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Class"/>     <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Resource"/>   </rdf:Description>   <rdf:Description rdf:about="http://www.owl-ontologies.com/Ontology1195606282.owl#Lion">     <rdfs:subClassOf rdf:resource="http://www.owl-ontologies.com/Ontology1195606282.owl#Animal"/>     <rdfs:subClassOf rdf:nodeID="A4"/>     <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Class"/>     <rdfs:subClassOf rdf:resource="http://www.owl-ontologies.com/Ontology1195606282.owl#Lion"/>     <rdfs:subClassOf rdf:resource="http://www.w3.org/2000/01/rdf-schema#Resource"/>     <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Class"/>     <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Resource"/>   </rdf:Description>   <rdf:Description rdf:about="http://www.owl-ontologies.com/Ontology1195606282.owl#Animal">     <rdfs:subClassOf rdf:resource="http://www.w3.org/2000/01/rdf-schema#Resource"/>     <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Class"/>     <owl:disjointWith rdf:resource="http://www.owl-ontologies.com/Ontology1195606282.owl#Plant"/>     <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Class"/>     <rdfs:subClassOf rdf:resource="http://www.owl-ontologies.com/Ontology1195606282.owl#Animal"/>     <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Resource"/>   </rdf:Description>   <rdf:Description rdf:about="http://www.owl-ontologies.com/Ontology1195606282.owl#Leaf">     <rdfs:subClassOf rdf:nodeID="A3"/>     <rdfs:subClassOf rdf:resource="http://www.owl-ontologies.com/Ontology1195606282.owl#Plant"/>     <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Class"/>     <rdfs:subClassOf rdf:resource="http://www.owl-ontologies.com/Ontology1195606282.owl#Leaf"/>     <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Class"/>     <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Resource"/>   </rdf:Description>   <rdf:Description rdf:about="http://www.owl-ontologies.com/Ontology1195606282.owl#Herbivore">     <rdfs:subClassOf rdf:nodeID="A2"/>     <rdfs:subClassOf rdf:resource="http://www.owl-ontologies.com/Ontology1195606282.owl#Animal"/>     <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Class"/>     <rdfs:subClassOf rdf:resource="http://www.owl-ontologies.com/Ontology1195606282.owl#Herbivore"/>     <rdfs:subClassOf rdf:resource="http://www.w3.org/2000/01/rdf-schema#Resource"/>     <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Class"/>     <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Resource"/>   </rdf:Description>   <rdf:Description rdf:about="http://www.w3.org/1999/02/22-rdf-syntax-ns#predicate">     <rdf:type rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#Property"/>     <rdfs:domain rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#Statement"/>     <rdfs:subPropertyOf rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#predicate"/>     <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Resource"/>   </rdf:Description>   <rdf:Description rdf:about="http://www.owl-ontologies.com/Ontology1195606282.owl#eated">     <rdfs:range rdf:resource="http://www.owl-ontologies.com/Ontology1195606282.owl#Animal"/>     <owl:inverseOf rdf:resource="http://www.owl-ontologies.com/Ontology1195606282.owl#eat"/>     <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#ObjectProperty"/>     <rdf:type rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#Property"/>     <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Resource"/>   </rdf:Description>   <rdf:Description rdf:about="http://www.w3.org/1999/02/22-rdf-syntax-ns#type">     <rdfs:range rdf:resource="http://www.w3.org/2000/01/rdf-schema#Class"/>     <rdf:type rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#Property"/>     <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Resource"/>   </rdf:Description>   <rdf:Description rdf:about="http://www.w3.org/2000/01/rdf-schema#seeAlso">     <rdfs:subPropertyOf rdf:resource="http://www.w3.org/2000/01/rdf-schema#seeAlso"/>     <rdf:type rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#Property"/>     <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Resource"/>   </rdf:Description>   <rdf:Description rdf:about="http://www.w3.org/1999/02/22-rdf-syntax-ns#Seq">     <rdfs:subClassOf rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#Seq"/>     <rdfs:subClassOf rdf:resource="http://www.w3.org/2000/01/rdf-schema#Container"/>     <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Class"/>     <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Resource"/>   </rdf:Description>   <rdf:Description rdf:nodeID="A5">     <owl:allValuesFrom rdf:resource="http://www.owl-ontologies.com/Ontology1195606282.owl#Animal"/>     <owl:onProperty rdf:resource="http://www.owl-ontologies.com/Ontology1195606282.owl#maineat"/>     <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Restriction"/>   </rdf:Description>   <rdf:Description rdf:about="http://www.w3.org/1999/02/22-rdf-syntax-ns#Property">     <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Class"/>     <rdfs:subClassOf rdf:resource="http://www.w3.org/2000/01/rdf-schema#Resource"/>     <rdfs:subClassOf rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#Property"/>     <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Resource"/>   </rdf:Description>   <rdf:Description rdf:about="http://www.w3.org/1999/02/22-rdf-syntax-ns#XMLLiteral">     <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Datatype"/>     <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Class"/>     <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Resource"/>   </rdf:Description>   <rdf:Description rdf:nodeID="A6">     <rdf:rest rdf:nodeID="A7"/>     <rdf:first rdf:resource="http://www.owl-ontologies.com/Ontology1195606282.owl#Animal"/>     <rdf:type rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#List"/>     <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Resource"/>   </rdf:Description>   <rdf:Description rdf:about="http://www.w3.org/1999/02/22-rdf-syntax-ns#subject">     <rdf:type rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#Property"/>     <rdfs:domain rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#Statement"/>     <rdfs:subPropertyOf rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#subject"/>     <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Resource"/>   </rdf:Description>   <rdf:Description rdf:nodeID="A8">     <owl:intersectionOf rdf:nodeID="A6"/>     <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Class"/>   </rdf:Description>   <rdf:Description rdf:about="http://www.w3.org/2000/01/rdf-schema#ContainerMembershipProperty">     <rdfs:subClassOf rdf:resource="http://www.w3.org/2000/01/rdf-schema#ContainerMembershipProperty"/>     <rdfs:subClassOf rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#Property"/>     <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Class"/>     <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Resource"/>   </rdf:Description>   <rdf:Description rdf:about="http://www.owl-ontologies.com/Ontology1195606282.owl#maineat">     <rdfs:subPropertyOf rdf:resource="http://www.owl-ontologies.com/Ontology1195606282.owl#eat"/>     <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#ObjectProperty"/>     <rdfs:subPropertyOf rdf:resource="http://www.owl-ontologies.com/Ontology1195606282.owl#maineat"/>     <rdf:type rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#Property"/>     <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Resource"/>   </rdf:Description>   <rdf:Description rdf:about="http://www.w3.org/2000/01/rdf-schema#Container">     <rdfs:subClassOf rdf:resource="http://www.w3.org/2000/01/rdf-schema#Container"/>     <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Class"/>     <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Resource"/>   </rdf:Description>   <rdf:Description rdf:about="http://www.w3.org/1999/02/22-rdf-syntax-ns#Alt">     <rdfs:subClassOf rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#Alt"/>     <rdfs:subClassOf rdf:resource="http://www.w3.org/2000/01/rdf-schema#Container"/>     <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Class"/>     <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Resource"/>   </rdf:Description>   <rdf:Description rdf:about="http://www.w3.org/2002/07/owl#Class">     <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Class"/>     <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Resource"/>   </rdf:Description>   <rdf:Description rdf:nodeID="A7">     <rdf:rest rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#nil"/>     <rdf:first rdf:nodeID="A5"/>     <rdf:type rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#List"/>     <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Resource"/>   </rdf:Description>   <rdf:Description rdf:about="http://www.w3.org/1999/02/22-rdf-syntax-ns#first">     <rdf:type rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#Property"/>     <rdfs:domain rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#List"/>     <rdfs:subPropertyOf rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#first"/>     <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Resource"/>   </rdf:Description>   <rdf:Description rdf:nodeID="A4">     <owl:allValuesFrom rdf:resource="http://www.owl-ontologies.com/Ontology1195606282.owl#Herbivore"/>     <owl:onProperty rdf:resource="http://www.owl-ontologies.com/Ontology1195606282.owl#eat"/>     <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Restriction"/>     <rdfs:subClassOf rdf:nodeID="A4"/>     <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Class"/>     <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Resource"/>   </rdf:Description>   <rdf:Description rdf:about="http://www.w3.org/2000/01/rdf-schema#comment">     <rdfs:range rdf:resource="http://www.w3.org/2000/01/rdf-schema#Literal"/>     <rdf:type rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#Property"/>     <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Resource"/>   </rdf:Description>   <rdf:Description rdf:about="http://www.w3.org/1999/02/22-rdf-syntax-ns#Statement">     <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Class"/>     <rdfs:subClassOf rdf:resource="http://www.w3.org/2000/01/rdf-schema#Resource"/>     <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Resource"/>   </rdf:Description>   <rdf:Description rdf:about="http://www.owl-ontologies.com/Ontology1195606282.owl#Branch">     <rdfs:subClassOf rdf:nodeID="A0"/>     <rdfs:subClassOf rdf:resource="http://www.owl-ontologies.com/Ontology1195606282.owl#Plant"/>     <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Class"/>     <rdfs:subClassOf rdf:resource="http://www.owl-ontologies.com/Ontology1195606282.owl#Branch"/>     <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Class"/>     <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Resource"/>   </rdf:Description>   <rdf:Description rdf:about="http://www.owl-ontologies.com/Ontology1195606282.owl#Plant">     <owl:disjointWith rdf:resource="http://www.owl-ontologies.com/Ontology1195606282.owl#Animal"/>     <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Class"/>     <rdfs:subClassOf rdf:resource="http://www.owl-ontologies.com/Ontology1195606282.owl#Plant"/>     <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Class"/>     <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Resource"/>   </rdf:Description>   <rdf:Description rdf:about="http://www.w3.org/1999/02/22-rdf-syntax-ns#rest">     <rdf:type rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#Property"/>     <rdfs:domain rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#List"/>     <rdfs:range rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#List"/>     <rdfs:subPropertyOf rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#rest"/>     <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Resource"/>   </rdf:Description>   <rdf:Description rdf:about="http://www.w3.org/2000/01/rdf-schema#label">     <rdfs:range rdf:resource="http://www.w3.org/2000/01/rdf-schema#Literal"/>     <rdf:type rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#Property"/>     <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Resource"/>   </rdf:Description>   <rdf:Description rdf:about="http://www.w3.org/2000/01/rdf-schema#Literal">     <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Class"/>     <rdfs:subClassOf rdf:resource="http://www.w3.org/2000/01/rdf-schema#Resource"/>     <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Resource"/>   </rdf:Description>   <rdf:Description rdf:about="http://www.w3.org/1999/02/22-rdf-syntax-ns#List">     <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Class"/>     <rdfs:subClassOf rdf:resource="http://www.w3.org/2000/01/rdf-schema#Resource"/>     <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Resource"/>   </rdf:Description>   <rdf:Description rdf:about="http://www.w3.org/2002/07/owl#TransitiveProperty">     <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Class"/>     <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Resource"/>   </rdf:Description>   <rdf:Description rdf:nodeID="A2">     <owl:onProperty rdf:resource="http://www.owl-ontologies.com/Ontology1195606282.owl#eat"/>     <owl:allValuesFrom rdf:resource="http://www.owl-ontologies.com/Ontology1195606282.owl#Plant"/>     <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Restriction"/>     <rdfs:subClassOf rdf:nodeID="A2"/>     <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Class"/>     <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Resource"/>   </rdf:Description>   <rdf:Description rdf:about="http://www.w3.org/1999/02/22-rdf-syntax-ns#Bag">     <rdfs:subClassOf rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#Bag"/>     <rdfs:subClassOf rdf:resource="http://www.w3.org/2000/01/rdf-schema#Container"/>     <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Class"/>     <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Resource"/>   </rdf:Description>   <rdf:Description rdf:about="http://www.w3.org/2000/01/rdf-schema#Class">     <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Class"/>     <rdfs:subClassOf rdf:resource="http://www.w3.org/2000/01/rdf-schema#Resource"/>     <rdfs:subClassOf rdf:resource="http://www.w3.org/2000/01/rdf-schema#Class"/>     <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Resource"/>   </rdf:Description>   <rdf:Description rdf:about="http://www.owl-ontologies.com/Ontology1195606282.owl#Carnivore">     <owl:equivalentClass rdf:nodeID="A8"/>     <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Class"/>   </rdf:Description>   <rdf:Description rdf:about="http://www.w3.org/2002/07/owl#Ontology">     <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Class"/>     <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Resource"/>   </rdf:Description>   <rdf:Description rdf:about="http://www.w3.org/2000/01/rdf-schema#range">     <rdfs:domain rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#Property"/>     <rdfs:range rdf:resource="http://www.w3.org/2000/01/rdf-schema#Class"/>     <rdf:type rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#Property"/>     <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Resource"/>   </rdf:Description>   <rdf:Description rdf:about="http://www.w3.org/2000/01/rdf-schema#Resource">     <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Class"/>     <rdfs:subClassOf rdf:resource="http://www.w3.org/2000/01/rdf-schema#Resource"/>     <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Resource"/>   </rdf:Description>   <rdf:Description rdf:about="http://www.owl-ontologies.com/Ontology1195606282.owl#is_part_of">     <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#ObjectProperty"/>     <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#TransitiveProperty"/>   </rdf:Description>   <rdf:Description rdf:about="http://www.w3.org/2000/01/rdf-schema#subPropertyOf">     <rdfs:domain rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#Property"/>     <rdfs:range rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#Property"/>     <rdf:type rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#Property"/>     <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Resource"/>   </rdf:Description>   <rdf:Description rdf:about="http://www.owl-ontologies.com/Ontology1195606282.owl#Tree">     <rdfs:subClassOf rdf:resource="http://www.owl-ontologies.com/Ontology1195606282.owl#Plant"/>     <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Class"/>     <rdfs:subClassOf rdf:resource="http://www.owl-ontologies.com/Ontology1195606282.owl#Tree"/>     <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Class"/>     <rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Resource"/>   </rdf:Description> </rdf:RDF>

	第6楼

會重覆許多~~不知道小弟哪個寫錯 因為我目的是印出推論後出來的OWL檔

	第7楼

以下是引用j08102728在2007-12-1 20:55:00的发言： 會重覆許多~~不知道小弟哪個寫錯 因為我目的是印出推論後出來的OWL檔 "会重复许多"是什么意思？我觉得没有错呀，楼主认为哪里有问题？ 不太明白问什么？