Jena推理机制及应用研究

264200912JournaloftheHebeiAcademyofSciencesVol.26No.4Dec.2009*:1001-9383(2009)04-0014-04Jena谭月辉1,肖冰1,陈建泗2,齐京礼2,李志勇2(1.,050003;2.,050003):提出将本体理论应用于装备数据库集成在分析比较常用推理机的基础上,重点研究了Jena的结构与推理机制,开发了基于Jena数据库集成原型系统,实现了基于语义的信息查询:本体;Jena;推理;信息集成:TP31:AThesuveryofJenasreasoningandapplyingTANYuehui1,XIAOBing1,CHENJiansi2,QIJingli2,LIZhiyong2(1.DepartmentofComputerEngineering,Ordnanceengineeringcollege,ShijiazhuangHebei050003,China;2.DepartmentofTraining,Ordnanceengineeringcollege,ShijiazhuangHebei050003,China)Abstract:Theontologytheoriestointegrateofequipmentdatabasearegiven.TheconstructionofJenaandJenasreasoningonarestudiedbasedonanalyzingsomereasonlogicallymachine.AsystemofdatabaseintegrationonthebaseofJenaisdevelopped.Theinformatinqueryofsemanticisrealized.Keywords:Ontology;Jena;Reasoning;InformationIntegration,,,,,,,,,,,,Jena,11.1,[1]:,,!,:1.2JessRacerPelletFaCTJean,Jess(JavaExpertSheellSystem)JavaCLISP[2],*:2009-08-03:(1965-),,,,.4:Jena,()(Assertion),,,,,Jess,,;,,,JessRACERPelletFaCT[3],OWLDAMLRDFS/RDF,RACERFranzInc.,,,PelletOWLDL,,OWLDL:,;!,,,JenaWeb,,[4]Jena,RACERPelletFaCT,CLISPJenaDIG,ODBC,Jena,RACERPelletFaCT2Jena2.1JenaJenaHPJava,(SemanticWeb)OWLRDFRDFS,[5]Jena:(1)RDFAPI(com.hp.hpl.jena.modelb)RDF(2)RDF,RDFS,OWLXML(3)RDF(4)(com.hp.hpl.jena.reasoner),(5)OntologyOntology,OWLDAML+OILRDFS(6)SPARQLJenaOntologyRDF/XML,RDF/XMLRDFAPIRDFModel;RDFRDFAPIRDFModel,RDFAPIRDFModel,OntologyInfModelOntModelJenaARQ,SPARQLRDQL,,,2.2JenaJena1:(1)RDFOntology;(2),(InfGraph);(3)OntologyAPIModelAPI,,,2.3JenaJena,:RETEtabledDatalog,152009261JenaJena(Jena$\etc),,,,,:subClassOf(?xrdfs:subClassOf?y),(?yrdfssubClassOf?z)∀(?xsubClassOf?z)disjointwith(?xowl:disjointWith?y),(?ardf:type?x),(?brdf:type?y∀(?aowl:differentFrom?b),,,,,:Rule1:(?xguarantee?y),(?ysubclassof?z)∀(?xguarantee?z)(1)Rule2:(?xworkin?y),(?yguarantee?z)∀(?xguarantee?z)(2)Rule1xy,yz,xzRule2xy,yz,xz3Jena3.1[6]2,:(1):,(2):,,(3):-,(4):,(5):23.2,,,,,,3,3,#∃,,164:Jena3JenaSPARQL[7],(1)(2),:OntModelmodel=ModelFactory.createOntologyModel(OntModelSpec.OWL_MEM,null);model.read(newFileInputStream(D:\\ontology\\information.owl),);Modelbase=maker.createModel(model);//modelOntModelSpecspec=newOntModelSpec(OntModelSpec.OWL_MEM);OntModelnewmodel=ModelFactory.createOntologyModel(spec,base);//Stringguar_rule=Rule1:(?xguarantee?y),(?ysubclassof?z)∀(?xguarantee?z)+Rule2:(?xworkin?y),(?yguarantee?z)∀(?xguarantee?z);//StringqueryString=PREFIXInfo:{?peopleInfo:guarantee?subject};//Reasonerguar_reasoner=newGenericRuleReasoner(Rule.parseRules(guar_rule));//InfModelinf=ModelFactory.createInfModel(guar_reasoner,newmodel);Queryquery=QueryFactory.create(queryString);//QueryExecutionqe=QueryExecutionFactory.create(query,inf);ResultSetresults=qe.execSelect();4,,,Jena,,,:[1],[D].,2007.[2],.CLIPSFCCU[J].,2005,41(3).[3],.[J].,2006,(12).[4],,.Web[J].,2007,17(1).[5]Jena2OntologyApi.[6].[D].,2008.[7][8].[D].,2008.17