基于owl语义本体的推理与存储研究

《基于owl语义本体的推理与存储研究》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、摘要本文对描述逻辑、语义和本体以及本体的描述和查询语言进行了阐述．在此基础上，分析了当前owL语义本体推理和存储系统存在的问题。如a)不能有效地实现大规模的本体推理。b)不能在数据库中实现推断结果等。为此，提出了一种可扩展的OWL本体推理和存储系统SOR。具体工作如下：1)可扩展的owL本体推理系统本文扩展了OwL语义本体的推理系统，结合DHL和DLP的定义，利用推理引擎规则能实现大规模的的本体推理．考虑到大多数的0WLDL本体比DHL更复杂，我们扩展了原来的DHL公理用于支持0、717LDL完成TBox推理。更准确的说

2、，我们使用一个DL推理机来获得所有类和属性的包含关系，而不是仅仅支持DHL公理．注意我们把复杂的类描述分解成类结构实例，把一个新的L乃U指派到每个实例中使得DL推理机能够更好的推理。2)可扩展的OWL本体存储系统本文扩展了OWL语义本体的存储系统，该系统把本体存储在数据库中并提出对本体更新的有效方法。该方法添加TBox公理和AB0x断言以及删除TB0x公理和ABOx断言使得SOR系统在数据库中实现所有的推断结果．3)可扩展的0WL本体的查询系统本文通过对查询语言S湖L进行阐述，以及对SPARQI，有效使用SQL查询引擎优

3、化作出评价．这使得SOR系统在各种实际应用中能实现并发查询。最后，通过仿真实验对可扩展o、Ⅵ，本体推理和存储系统进行了研究，把实验结果和同类系统DLDB和OWLIM做了对比，验证了本文提出的SoR系统具有高效性和可扩展性．关键词：SOR系统DLDB系统o、Ⅵ，IM系统本体推理本体存储AbstractT11isp印er麟e盯ch姐d鹪嘶b骼lo西c，s锄删璐觚dOntolog)，，0IIltolog)rd豁criptio潞锄dque巧1锄guage．oIlⅡlisb戚s，me锄alySisofnlecu玎t斌OWLOnto

4、logys锄跗tic艘酏IlingandstoragesyStcrns甑ist．F0r戗aInplea)nc锄note丑镜“elya血evcl锄rge-scaleOnt0109y他弱oning．”Itc狮notbe证氏：盯ediIlmed砒渤弱et0achievetesultsEtc．T0雌s钮ld，wepr0．po∞ascalable0WLOntologyrea∞nirIgandstoragesystemsSOR．Andmakemefollowinginnovateons：1)嘶sanicleScalableoWLOn

5、tologyIIl断∞ceSysteln．111edefiIlitionsofDHL锄dDLPmal(鹪itp瑚枷cablet0d0e伍ci钮trcason崦ofl鹕e-scaleontology璐吨tllenllein胁lce朗giIle．ConsideringI肿strealOWLDL0111tolo百鹤a∞morecompl懿tll觚DHL，we甑tend吐地耐咖lDHL觚iomst0sl】：pportOWLDLcompleteTB0x证衙饥∞．Mo他p劂sely，we璐eaDL嬲onert0Obtainallcl

6、ass觚dpropcny文Jbs啪ptionrel撕0n蜘ps，戤eadof嘴ningolllyDHL觚i伽鸺．一2)nlis删clescalable’OWLoIltologyStoragesystem．ThesysteIIloftlleomologystorageiIlmedata：b嬲e锄dpm咖ardane骶ctiVewayt0updateOntolog弦TllismemodAdditionofTBoxAxioms，AdditionofABox勰sertio瑚，DelctionofTBoxAxioms锄dDdeti

7、onofABox弱sertio璐inordert0SORsystemmadeill也eda：tabaSeofall也einferr。dn嚣ultS．3)W

8、emal【ee侬斌ivellseofmewell·0p劬izedSQLq∞ry％西∞南rSPARQLe词ua6啪．natis，wcmal【ee舵ctiVe璐eofmcwell—op缸lizedSQLquq锄g．meforSPARQLev山撕0n．1-llismal【鹪SORsystcnlpr{掀icableforC0nc咐entqueri鹪inV撕0us删applic

9、atioI塔．Finally，nlesiInulalionc觚beext％dedOWLontology碳峪oIling锄dsto聊；esyStemswerestIldied，tllecXp喇m钮talre跚ltsandsiIIlilarsyStemsDLDB铋dOWLIMdoneacomp撕sontestofthis