基于OBDD的描述逻辑循环术语集推理算法研究-计算机应用技术专业论文.docxVIP

摘要 摘要 - - I - 万方数据 摘要 描述逻辑(Description Logic)作为基于对象的知识表示的形式化工具，广泛地应用 在信息系统、数据库、软件工程、自然语言处理和网络智能访问等领域。尤其是在语 义网快速发展的当前，描述逻辑已成为其本体层语言 OWL 的逻辑基础。在语义 Web 中，对本体的推理和查询可以转化为描述逻辑中的推理问题。 循环术语集是指存在循环定义的 TBox。现有的大部分描述逻辑推理系统都假设 TBox 中不存在循环定义。然而，使用循环定义能够刻画出更符合人们直觉的知识， 并且在 TBox 的形式上能够更加简练。因此，解决 TBox 中的循环定义问题是具有十 分重要意义的。 OBDD 是布尔函数的等价规范型，它能有效地缓解乃至避免处理大规模问题时， 对布尔函数进行操作而可能出现的状态组合爆炸问题，并且已成功地应用于命题逻 辑、一阶谓词逻辑、线性时态逻辑以及分支时态逻辑的推理中。 本文将 OBDD 引入到描述逻辑循环术语集的推理研究中，完成了如下工作： (1)针对由描述逻辑 εL 刻画的循环术语集，分别给出基于 OBDD 的最大不动点语 义下和最小不动点语义下对概念之间包含关系进行判定的算法。 (2)在前一工作基础上，对描述逻辑 εLN 刻画的循环术语集，分别给出基于 OBDD 最大不动点语义下和最小不动点语义下对概念之间包含关系进行判定的算法。 (3)编程实现了“描述逻辑 EL 循环术语集推理机”系统，并将该推理机与基于 Tableau 算法的 Pellet 推理机进行实验对比，通过实验数据进行分析，得出各自的优 缺点。 关键词：描述逻辑；语义网；循环术语集；有序二叉决策图；不动点语义；包含问题 Abst Abstract - - II - 万方数据 Abstract Description logics as an object-based knowledge representation formalisms were widely used in the field of information systems, databases, software engineering, natural language processing and network intelligent access. Especially in the current rapid development of the Semantic Web, description logic has become its logical basis of the ontology layer; reasoning and query about ontology can be translated into a description logic reasoning problem. TBox with cyclic definitions is called terminological cycles. Most of the present description logic inference systems all assume that there are no cyclic definitions in TBox. However, in some cases, using cyclic definition to characterize the knowledge is more intuitive and compact. Thus, research on TBox with problem of cyclic definition is of great significance. OBDD as a normal form of Boolean functions is very helpfull in dealing with Boolean functions appears in large-scale problems, and has been successfully applied to propositional logic, first-order predicate logic, linear temporal logic and branching time temporal logic reasoning. This paper introduces OBDD into research on description logic terminological cycles, and has done the following works: As for descript