基于形式概念分析的描述逻辑本体构建理论与方法

项目名称： 基于形式概念分析的描述逻辑本体构建理论与方法

项目编号： No.61272066

项目类型： 面上项目

立项/批准年度： 2013

项目学科： 自动化技术、计算机技术

项目作者： 蒋运承

作者单位： 华南师范大学

项目金额： 80万元

中文摘要： 近年来描述逻辑已成为计算机科学和人工智能的一个重要研究领域，主要原因在于描述逻辑是目前主流的Web本体语言的逻辑基础。描述逻辑推理必须建立在知识库（或本体）之上，因而，如何快速、准确的构建一致和完备的描述逻辑本体已成为一个迫切需要解决的问题。本项目在课题组已有工作的基础上研究基于形式概念分析的描述逻辑本体构建理论与方法，针对不同描述逻辑（包括经典描述逻辑和带循环定义的描述逻辑）和不同初始模型（包括全局模型、部分模型和部分ABox），建立背景本体下近似LCS和MSC推理机制、本体有穷基判断及计算方法、本体完备化构建方法，以完善和重构描述逻辑本体构建的理论框架为主要研究目标。在开展理论研究的同时，本项目还将开发一套完整的辅助用户构建本体的推理工具，并面向教育领域构建一套本体库来验证本项目研究的理论、方法以及开发的推理工具的有效性。这些研究将对计算机科学和人工智能的理论及技术发展产生一定的影响。

中文关键词： 本体；描述逻辑；语义计算；语义数据；多准则决策模型

英文摘要： Description logics have become an important research field of computer science and artificial intelligence in recent years, mainly because description logics are the logical foundations of the current mainstream ontology languages such as OWL (Web Ontology Language) and OWL 2. Since description logic reasoning has to be based on a description logic knowledge base (or ontology), therefore, how to construct the consistent and complete description logic ontologies quickly and accuratly has become an urgent problem that we need to address. The project will study the theory and methods of description logic ontology construction using formal concept analysis based on the existing works of this project group. Aiming at different description logics (including classical description logics and description logics with terminological cycles) and different initial models (including global model, partial model, and partial ABox), the project will establish the approximate LCS (Least Common Subsumer) and MSC (Most Specific Concept) inference mechanisms with respect to a background terminology, the methods of decision and computation of finite basis for description logic ontology, and the approaches of completing description logic ontologies (or knowledge bases). Thus, to improve and reconstruct the theoretical framework of des

英文关键词： Ontology；Description logics；Semantic computing；Semantic data；Multi-criteria decision making