描述邏輯本體推理研究及其在領(lǐng)域本體管理中的應(yīng)用.pdf

1、中國(guó)科學(xué)技術(shù)大學(xué)碩士學(xué)位論文描述邏輯本體推理研究及其在領(lǐng)域本體管理中的應(yīng)用姓名：張一鳴申請(qǐng)學(xué)位級(jí)別：碩士專(zhuān)業(yè)：模式識(shí)別與智能系統(tǒng)指導(dǎo)教師：謝興生20080501AbstractABSTRACTCurrentlySemanticW曲isaresearchhotspot，themainobjectiveist0supportthe、^，ebinfo姍ationbesemallticonthenetwork，facilitatecompute

2、runderstandinga11dautomateddealingwithnetworkresourcesOntologyasanuniverSalmodelofknowledge，isoneofthemoStimportallttllefoundaIionofSem鋤ticWeb，caneffectiVelypromoteandregulatetheexchangeofinfb姍ationbetweenthedifferentmac

3、hinesonthenetwork，improVingtheaccuracyretrieValandtheintelligentofiIl】’omatiQninnetworkGenerallytoexpressontologythroughOntologylanguage，W3CrecommendtheontologylaIlguageisOWL(OntologyWebLaIlguage)IfonlyrestricteduseofOWL

4、IanguageOWLDL／Litetodescme，theOntoIogy謝llbeabletosupportthedescriptionlogic(DL)theb2LsicDLreaSoningandtheclassificationofomologyconc印t，playanimponamroleinthedesigningandadministrationindesignofthedomainontology0nmebasiso

5、fthestudyofthelogicont0109yreasoningandinthedescriptionlogicalreaSoningappliedtothefieldofontologymaIlagementtoolst11istheme，thispaIlperlaunchedamoreindepmsystemworkThem勾orresearCh、ⅣorkaIldachievememsareasfbllows：1)Study

6、ingsomeofthedescriptionlogic’stecllIlologyanditsreasoningofthealgorit王un，improVedoptimizationoftheDLreasoningmachineinthecalculationofontology‘conceptKerarchytreealgoritllmofpelletThealgorithmcaIltake凡HadVantageoftheknow

7、ledgebaSeDLexplicitknowledgeandthusreducealargenumberofpracticalreasolling，effectiVelyimprovetheperfb肋anceofalgorithm2)designingadomainontologymanagingtoolbasedonadescriptionlogicontologyreasoningmachine，thesystemachieVe

8、daVisuaIeditingfeatures，itiseasytoeditthedesignatedDLintheknowledgebaseconcept，role，andassertedthatindividualownershiprelationsAtthes觚letimehaStwocharacteristics：a)ResearchresultofDLreaSoningcanbe印pliedb)Achievinga‰ction