基于证据理论的本体不一致性度量方法研究.pdfVIP

计算机研 究与发展 ISSN1000—1239／CN11-1777／TP JournalofComputerResearchandDevelopment 50(3)：559—567，2O13 基于证据理论的本体不一致性度量方法研究 李冬梅 林友芳 黄厚宽 田 萱 (北京交通大学计算机与信息技术学院 北京 100044) (北京林业大学信息学院 北京 100083) ([idongmei@bjfu．edu．cn) M easuringOntology InconsistencyBasedonDempster’ShaferTheory LiDongmei ，LinYoufang ，HuangHoukuan ，andTianXuan。 (SchoolofComputerandInformationTechnology，BeijingJiaotongUniversity，Beijing100044) (SchoolofInformationandTechnology，BeijingForestryUniversity，Beijing100083) Abstract Asthesizeofontologiesgrowsandapplicationsbecomemorecomplex，itisoften difficult to constructan ontology which is error—free． Inconsistencies arise naturally in the design and developmentof ontologies． Measuring ontology inconsistency is the basis and prerequisite of inconsistency—dealing，whichcanhelpustodecidehow toactonaninconsistency，whethertoignoreit ortoresolveit．A numberofproposalshavebeenmadeformeasuringthedegreeofinconsistencyof anontology．Mostofthese effortsstartwith flatontology．However，the importanceofontology items isregarded unequalin numerousapplications，while weightsare associated with itemsof ontology．Therefore，measuring ontology inconsistencywith weighted formulaeisasignificantbut hardwork． Afteranalyzing the characteristicsofuncertaintyreasoningmethod based on evidence theory and ontology inconsistent measurement， this paper proposes an ontology inconsistency measurementmethodnamedETOICM andthenprovesitscorrectness．Finally，measurementformula andalgorithm are given． Compared with the related methods，featuresof the new method are illustrated．In addition，themeasurementresultsofETOICM method can beusedasweightsand providebasisforfurtherresolvinginconsistencyandreasoningwithinconsistentontology． Keywords ontology；descriptionlogic；inconsistencyreasoning；inconsistencymeasuring；Dempster Sharertheory 摘 要 随着语义网技术的发展 ，本体不一致性问