语义Web的逻辑基础

摘要：

分析了目前语义Web理论的研究现状和存在的问题, 分析了用传统描述逻辑作为语义Web逻辑基础的不充分性, 根据语义Web的特点和需求, 提出了一种新的动态描述逻辑DDL, 该DDL将静态知识和动态知识表示与推理有机地整合在一起. 特别的是, 给出了具体的动作描述方法, 并按照传统描述逻辑的语义解释方法给出了动作的语义解释, 从而该DDL形成了一种能同时处理静态知识和动态知识的统一的形式化逻辑框架. 该DDL具有清晰的语义特征, 既提供了可判定的推理服务, 又能有效地对静态知识、动态过程和运行机制进行表示和推理(动作的可实现性和动作之间的包含关系), 因此, 提出的动态描述逻辑DDL可以为语义Web提供合理的逻辑基础, 弥补了传统描述逻辑作为语义Web逻辑基础的不足.

关键词：语义Web、描述逻辑、动态描述逻辑、逻辑基础

所属期刊栏目：34

分类号：TP3(计算技术、计算机技术)

资助基金：国家高技术研究发展计划863计划2001AA113121;国家自然科学基金90104021

在线出版日期：2004-12-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共16页

页码：1123-1138