资源描述：
《运用jena对本体模型进行推理及其应用new》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。
1、2009年9月北京联合大学学报(自然科学版)Sep.2009第23卷第3期总77期JournalofBeijingUnionUniversity(NaturalSciences)Vol.23No.3SumNo.77运用Jena对本体模型进行推理及其应用梁晔,刘宏哲(北京联合大学信息技术研究所,北京100101)[摘要]推理作为知识表示的核心在语义Web中扮演着重要的角色。结合本体语言OWL、本体建模工具protégé和语义网系统开发工具JenaAPI,首先通过实例论述了如何针对本体模型进行推理,然后又详细论述了推理在徐悲鸿数字博物
2、馆中的应用。[关键词]本体网络语言;描述逻辑;Jena;protégé[中图分类号]TP312[文献标识码]A[文章编号]100520310(2009)0320023205ReasoningwithOntologyModelandImplementationBasedonJenaLIANGYe,LIUHong2zhe(InstituteofInformationTechnology,BeijingUnionUniversity,Beijing100101,China)Abstract:Asthecoreofknowledgerep
3、resentation,reasoningplaysanimportantroleintheSemanticWeb.HowtoreasonwithontologymodeldepictedwithOWLusingtheprotégéandJenaAPIforSemanticWebapplicationsaredis2cussedindetail.Keywords:OWL;descriptionlogic;jena;protégé1引言2相关技术推理作为知识表示的核心在语义Web中扮演211本体、本体语言及开发工具[1]着重要的角色
4、,随着OWL语言在语义Web领域中本体被定义成“概念模型的显示表示”,目广泛应用,会有很多基于这种语言的推理技术出前,本体的应用热点集中在语义Web(Semantic现,这将会进一步引发Web上本体应用的快速发Web)中,本体实现对Web内容的形式化与结构化展,各种推理的应用将会被用来辅助建立和应用描述,使得计算机也能够在“理解”的前提下更好地Web上的本体。本体信息中蕴含着丰富的未直接处理、利用Web上的信息和知识,因此,本体是语义[2]表述的知识,但知识发现是一种代价很高的活动,Web的基石。[3]这是由于推理过程十分复杂。如
5、果知识发现在检本体语言如RDF、DAML+OIL、OWL是基于索进行时进行,那么将导致检索效率非常低。通常XML标准的,XML是元数据(描述数据的数据)实现采用的处理方法是应用推理机事先发掘本体中知的技术手段,XML从数据与文档的底层实现格式识,然后将推理结果加到原来的知识库中,改善检化,RDF资源描述框架(ResourceDescriptionFrame2索结果。work)建立在XML标准之上来描述元数据以及元数据与元数据之间的关系,RDF定义了一个简单的数据模型,通过属性(property)和值(value)来描述资源[收稿日
6、期]2009-04-10[基金项目]北京市教育委员会科技发展计划面上项目(km200611417001)[作者简介]梁晔(1978—),女,内蒙古赤峰人,北京联合大学信息学院讲师,硕士,从事语义网和本体的研究;刘宏哲(1971—),女,北京市人,北京联合大学信息学院讲师,在读博士,从事语义网和本体的研究。24北京联合大学学报(自然科学版)2009年9月以及资源与资源之间关系,因此RDF模型可以看成辑(TerminologicalLogic)或类KL2ONE系统,它是在一个实体关系图。为了更详细地描述资源,需要更命题逻辑(Propo
7、sitionalLogical)和一阶谓词逻辑强的表达能力,只有拥有自动推理功能,这些描述(FirstOrderLogic,FOL)上发展起来的,它是本体语机制才能在自动化处理中得到应用。基于以上考言推理的重要设计基础。描述逻辑的目的是在表虑推动了DAML+OIL和OWL等本体语言的发展。达能力和推理复杂度之间取得平衡,便于提供自动这些本体语言是建立在描述逻辑研究的基础上引推理服务,尤其是一致性(satisfiability)和归约(sub2入了Web的特点而建立起来的,其中OWL是W3Csumption)关系检查。工作组在200
8、1年创建的Web本体语言,2004年2一个标准的描述逻辑系统的体系结构由四个[4]月10日起已正式成为W3C推荐标准,它的最大部分组成:1)表示概念和关系(角色Role)的构造特点是关联描述逻辑,这就意味着描述逻辑推理机集;2)TBox(Termi
