语义Web的逻辑基础.pdf

中国科学 E 辑 信息科学 2004, 34( 10): 1123~1138 1123 语义Web 的逻辑基础* 史忠植 董明楷 蒋运承 张海俊 (中国科学院计算技术研究所智能信息处理重点实验室, 北京 100080) 摘要 分析了目前语义 Web 理论的研究现状和存在的问题, 分析了用传统描 述逻辑作为语义Web 逻辑基础的不充分性, 根据语义Web 的特点和需求, 提出了 一种新的动态描述逻辑DDL, 该DDL 将静态知识和动态知识表示与推理有机地 整合在一起. 特别的是, 给出了具体的动作描述方法, 并按照传统描述逻辑的语 义解释方法给出了动作的语义解释, 从而该 DDL 形成了一种能同时处理静态知 识和动态知识的统一的形式化逻辑框架. 该 DDL 具有清晰的语义特征, 既提供 了可判定的推理服务, 又能有效地对静态知识 动态过程和运行机制进行表示和 推理(动作的可实现性和动作之间的包含关系), 因此, 提出的动态描述逻辑 DDL 可以为语义Web 提供合理的逻辑基础, 弥补了传统描述逻辑作为语义Web 逻辑 基础的不足. 关键词 语义Web 描述逻辑 动态描述逻辑 逻辑基础 万维网(World Wide Web) 已成为人们获得信息 取得服务的重要渠道之一, 但是目前大多数页面的设计仅仅针对人类自身, 不便于计算机自动处理和理解. 而语义 Web 是对万维网本质的变革, 它研究的主要目的就是扩展当前的万维网, 使得网络中的信息具有语义, 能够被计算机理解, 便于人和计算机之间的交互与 合作, 其研究重点就是如何把信息表示为计算机能够理解和处理的形式, 即带有 [1] 语义 . 为了让计算机能自动理解语义Web 上的信息, 首先需要解决语义Web 的语 义表达问题, 即语义Web 上的知识表示和本体问题. 目前XML 和RDF 是两种可 用于开发语义Web 的重要知识表示语言, 其中XML 是一种标记语言, 它的最突 出特点就是功能强大又易于使用, 能使网页容纳更丰富的信息资源. 而RDF 通过 一些三元组(主题, 动词, 基本句子的对象)来表达意思, 这些三元组构成了 web. 2003-11-28 收稿, 2004-09-07 收修改稿 * 国家“八六三”计划(批准号: 2001AA113121) 国家自然科学基金 (批准号:资助项目 SCIENCE IN CHINA Ser. E Information Sciences 万方数据 1124 中国科学 E 辑 信息科学 第34 卷 由于RDF 用RUI 对信息进行编码, URI 确保了相关的概念不仅仅是一些文字, 而 且还将这些概念同web 中的一些惟一特有的定义联系在一起. 语义Web 是用本体