描述逻辑εLU概念及术语公理集的表达能力刻画.pdfVIP

申宇铭 等：描述逻辑 ： 念及术语公理集的表达能力刻画 1795 Keywords： descriptionlogic；conceptdescription；terminologicalaxiomsbox；expressivepower 描述逻辑(descriptionlogic)是一簇知识表示的语言，其以结构化、形式化的方法来表示特定应用领域的知 识．作为一类用于知识表示的形式化工具，描述逻辑在信息系统、软件工程以及自然语言处理等领域得到了广 泛的应用[”．特别是在第三代 Web——语义 (semanticWeb)00，描述逻辑更是扮演着关键角色， 并成为 W3C推 荐Web本体语言OWL的逻辑基础 2【]． 表达能力(expressivepower)和推理复杂性(complexityofreasoning)是一个逻辑的两个重要特征，也是一对 相互制约的关系．一般而言，表达能力越强，其推理的复杂性越高；反之，表达能力越弱，其推理的复杂性也就越低． 目前，对描述逻辑的推理复杂性的研究已经取得了较为丰硕的成果，比如文献[3～Sl，而对其表达能力的研究则相 对较少．描述逻辑 ￡C及其扩展(以下简称 C族)是一类重要的知识表示语言．例如，盖伦医疗知识库(Galen medicalknowledgebase，简称 GALEN)】和美国国家癌症研究所 (nationalcancerinstitute，简称 NCI)t加】的癌症知 识库，都是以 族作为它们的表示语言基础．因此，开展对描述逻辑 族表达能力的研究，不仅能够为寻求表达 能力与推理复杂性之间的平衡关系，而且也能为医学知识库构建中逻辑语言的选择提供有益的支持和帮助． 一 个逻辑的表达能力可以从 以下的3个角度来分析[11]： (1) 给定一个逻辑，什么样的符号串是该逻辑的公式(wel1formedformula)； r2) 一个逻辑公式的语义解释： (3) 构建一个逻辑到另～个逻辑的翻译，然后比较它们的相对表达能力． 本文侧重从上面第3个角度来分析一个逻辑的表达能力．解释之间的互模拟(bisimulation)关系是从语义的 角度刻画逻辑表达能力的一个有效途径，其代表性 的结果是命题模态逻辑 (modallogic)表达能力的刻画定 理一一vanBenthem刻画定理[12,13】：假定一阶逻辑的语言仅包含 1个二元关系符号和～元谓词符号，那么一阶公 式 )等价于某个命题模态逻辑公式在标准关系翻译(standardrelationaltranslation)下的公式，当且仅当该公式 的可满足性在互模拟关系下被保持．上述结果精确地刻画了一阶逻辑公式与命题模态逻辑公式等价的充分必 要条件． 描述逻辑是一类逻辑，其基本语法对象是概念名(conceptname)、角色名(rolename)以及个体名(individual name)．通过构造子集合。由概念名和角色名来构建复杂 的概念；然后 ，在概念 的基础上形成术语 公理集 (terminologicalaxiombox，简称 TBox)．由此，描述逻辑的表达能力刻画可以分为2层：概念的表达能力和术语公 理集的表达能力．由于许多描述逻辑都能翻译到一阶逻辑不同的子部分(fragment)，所 以刻画描述逻辑系统表达 能力的～个途径是：首先，构建描述逻辑到一阶逻辑翻译；然后，给出描述逻辑解释之间的模拟关系，建立类似van Benthem刻画定理的结论．即，给出一阶逻辑公式与概念和术语公理集等价的充分必要条件． 文献[14100关于 (包含构造子：原子概念、顶概念、概念交、完全存在约束)概念和术语公理集表达能力 的刻画，是我们工作的起点．在 ￡中增加概念并构造子，得到的描述逻辑称为 ．文中给出了 ￡ 的模拟关系， 建立了其概念和术语公理集的表达能力的刻画定理．本文有 以下3点贡献： ·给出了描述逻辑 的模拟关系，将EL；概念的表达能力刻画定理扩充到 的情形(定理 5)； · 建立了 的布尔型术语公理集(允许否定、蕴含等布尔联结词作用于术语公理所形成的TBox)的表 达能力刻画定理(定理7)； · 将 C术语公理集的表达能力刻画定理扩充到 的情形(定理 8)． 本文第 1节是预备知识，主要包括 以下内容：描述逻辑 的语法和语