基于逻辑推理本体映射算法的研究.pptVIP

基于逻辑推理的本体映射算法研究 马文辉 南开大学并行与分布式软件技术实验室 主要内容 背景知识介绍 1 语义网技术 (Semantic Web Techniques ) 资源描述框架(RDF) 本体 (Ontology) 本体描述语言(OWL) 2 描述逻辑 (Description Logic，DL) 基于逻辑推理的本体映射技术 1 本体异构 (Ontology Heterogeneity) 2 本体映射 (Ontology Mapping) 3 描述逻辑推理与本体映射 基于逻辑推理的本体映射技术在P2P系统中的应用－P2P语义检索 语义网技术 语义网核心思想：给网络信息赋予确切定义的含义，即语义 “The Semantic Web is an extension of the current web in which information is given well-defined meaning, better enabling computers and people to work in co-operation.” [Berners-Lee et al., 2001] ? 语义网组成 资源描述框架Resource Description Framework (RDF) RDF是描述和交换元数据的框架，它是处理元数据的基础。 RDF定义了一个简单的数据模型，通过性质(Property)和值(Value)来描述资源以及资源与资源之间的关系。 RDF是通过多个声明(Statement)来描述信息，一个声明对应一个三元组(Triple) rdf:Description about= /semantic.pdf dc:Creator rdf:ressource=/~ma/ dc:Creator rdf:ressource=“tom@/ /rdf:Description 本体(Ontology) 本体是共享概念模型的明确的形式化的规范说明,包含四层含义： 概念模型：指通过抽象出客观世界中一些现象的相关概念而得到的模型。 明确：指所使用的概念及使用这些概念的约束都有明确的定义。 形式化：指本体是计算机可读的(即能被计算机处理)。 共享：指本体中体现的是共同认可的知识，反映的是相关领域中公认的概念集，即本体针对的是团体而非个体的共识。 [Studer R. et al., 1998] 本体描述语言Web Ontology Language(OWL) OWL是定义在RDF之上，以描述逻辑为基础的本体描述语言。 OWL Lite OWL DL OWL Full 描述逻辑(Deccription Logic, DL) 描述逻辑是一系列以概念为基础的知识表示语言。 主要有两个特征： 形式化的、以逻辑为基础的语义 能够提供确定性的推理服务 描述逻辑语言系列的语法和语义 描述逻辑推理 从明确表示的知识中，推理出隐含的知识 描述逻辑推理的Tableau算法 概念的可满足性的推理是描述逻辑中的基本推理服务，Tableau算法就是 一类概念可满足性的推理算法。通过应用Tableau扩展规则不断分解概念描述， 直至产生冲突或没有规则可以应用时，算法结束 基于逻辑推理的本体映射技术 本体映射 本体映射是解决不同本体间知识共享和互操作问题的方法，它的目的是 找出不同本体中实体之间的语义关联，并且将其形式化地表达出来 。 本体异构 1名称异构 2 结构异构 3 语义异构 本体异构 基于描述逻辑推理的本体映射 1 概念表示一致性处理 2 为每个本体概念构建概念描述(concept description) M1= Computer_Science∩Artificial_Intelligence ∩CourseData_Mining ∩ ?teachBy.Assistant_Professor M2= Computer_Science ∩ CourseData_Mining ∩? teachBy.Professor 3 预先定义了四种语义关系： 推理前提公理产生： ALC-Tableau算法的终止条件： 1 无tableau规则可以扩展 2 扩展后的概念集合存在冲突 （Computer_Science∩Artificial_Int