基于描述逻辑知识更新的研究

《基于描述逻辑知识更新的研究》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、江苏大学硕士学位论文摘要描述逻辑是语义W曲的逻辑基础，它为本体的知识表达、逻辑推理等提供必要的理论依据。随着Wreb中本体数量与规模的增加，如何对这些本体进行更新和维护成为一个亟待解决的问题。由于语义W曲的分布性和开放性，往往需要在开世晃假设下对本体知识进行更新。HongkaiLiu等人指出在开世界假设下经典描述逻辑彳￡CD等不具备更新的封闭性，而将@操作符引入描述逻辑后的彳三CD@具有更新的封闭性。本文以描述逻辑么上c泸为研究对象，借鉴STⅪPS系统的思路，对开世界假设下知识的更新进行了研究，主要工作如下：(1)将确定集和冲突集的概念引入更新过程，并在Tableau算法的基础之上给出了确定集

2、和冲突集的生成算法，进而给出了适用于开世界假设的ABox更新算法。该算法将更新过程中导致系统不一致的断言单独进行处理，避免了对每个断言的更新都去分解原知识库的断言；(2)对冲突集生成算法和更新算法进行了复杂性分析，并在此基础上对算法进行了可终止性证明；(3)鉴于当前描述逻辑推理机缺少对@操作符的支持，设计并实现了一个基于彳三C泸的对概念进行可满足性检验的推理机。将该推理机划分为OWL解析，断言扩展，冲突检测等模块。设计了概念、断言等描述逻辑基本元素在内存中的存储结构，并给出了每个模块的流程图与伪代码，最后给出了一个推理实例。关键词：描述逻辑，开世界假设，确定集，@约束，推理机江苏大学硕士学位论

3、文ABSTRACTDescriptionLogicisthebaseoftheSemanticW6b．ItproVidesthenecessa巧theoreticalbasisfortheknowledgeexpression觚dlogicalreaSolling．Witlltheincreaseinnumber锄dScaleofthe、Ⅳebontology'updatemese0ntologiesbec锄eaproblemtobesolVed．Becauseofthedi鲥bution锄d叩emessofSem觚ticWeb，weoftenneedtoupdatetheseontolo酉e

4、sint11eopen、^，orldass啪ption．HongkaiLiuetalpointedoutthatt11eclassicdescriptionlogic么上CDdoesn’thaVeupdateintheopenworldassumption．Heintroduceoperator@toA己cDandpr0Vedthat彳￡Cc矽isupdateclosed．Inthispassagewestudied彳三C()@andleanl行omtlleide雒oftlleST刚PSSyStem，doresearchontheupdateintheopen、ⅣoddaSsumption．T

5、hemain、№rkisasfollows：(1)Itin仃oducedtlleconceptofdetemine锄dcoll

6、1ictSetst0t11eupdateprocess，andgaVethealgorithmwllichcaIlobtainDete珊inedSetalldConnictSetf两mtheoriginall【110wledgesetaccordingtotheT，lbleaualgorithmofdescriptionlogic．ARerthatitgaVetheABoxupdatealgorithlTlbaSedontheopenworldaSsumption．I

7、nthisalgoritllIIl，theaLssenionswhichcallcaSesysteminconsiStent、veredealtwitllseparately．Thisalgorithmc锄aVoiddecompositioneachassertioninoriginalknowledgeset．(2)Itanalysiscomplexi哆ofcoⅢ1ictsetgenerationaJgorithHlaIldupdatealgorit№，aRerthatitprofVedtheseaIgorithmcantenninate．(3)DuetothelackofsuppoIrtf

8、or@operatorincu玎entDescriptionLogicinferenceengine，itdesignedandimplementedaDescriptionLogicinferenceenginetocheckconCeptsatisfiabilit)，based0n4三C泸．TlleinferenceengineisdividedintoOWLparsing，assertion