一种分布式动态描述逻辑

摘要：

分析了目前描述逻辑(DL)的研究现状和存在的问题,特别是动态描述逻辑(DDL)作为语义Web逻辑基础所存在的问题.针对语义Web的特点和需求,对DDL进行了扩充,提出了一种新的描述逻辑,即分布式动态描述逻辑(D3L),给出了D3L的语法和语义,并研究了D3L的推理机制,提出了两种推理方法: 直接推理和转化推理.与动态描述逻辑DDL相比,该D3L可以为语义Web提供更为合理的逻辑基础,弥补了DDL作为语义Web逻辑基础的不足.

关键词：描述逻辑、动态描述逻辑、分布式动态描述逻辑、语义 Web

所属期刊栏目：43

分类号：TP18(自动化基础理论)

资助基金：国家自然科学基金60373081;60473005;60573010;国家重点基础研究发展计划973计划2003CB317004;国家高技术研究发展计划863计划2003AA115220;广东省自然科学基金04105503;广西青年科学基金桂科青 0640030

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

页数：共6页

页码：1603-1608