一种分布式动态描述逻辑  

A Distributed Dynamic Description Logic

作　　者：蒋运承[1] 史忠植[2] 汤庸[1] 王驹[3] 

机构地区：[1]中山大学计算机科学系,广州510275 [2]中国科学院计算技术研究所,北京100080 [3]广西师范大学计算机科学与信息工程学院,桂林541004

出　　处：《计算机研究与发展》2006年第9期1603-1608,共6页Journal of Computer Research and Development

基　　金：国家自然科学基金项目(60373081;60473005;60573010);国家"九七三"重点基础研究发展规划基金项目(2003CB317004);国家"八六三"高技术研究发展计划基金项目(2003AA115220);广东省自然科学重点基金项目(04105503);广西青年科学基金项目(桂科青0640030)

摘　　要：分析了目前描述逻辑(DL)的研究现状和存在的问题,特别是动态描述逻辑(DDL)作为语义Web逻辑基础所存在的问题.针对语义Web的特点和需求,对DDL进行了扩充,提出了一种新的描述逻辑,即分布式动态描述逻辑(D3L),给出了D3L的语法和语义,并研究了D3L的推理机制,提出了两种推理方法:直接推理和转化推理.与动态描述逻辑DDL相比,该D3L可以为语义Web提供更为合理的逻辑基础,弥补了DDL作为语义Web逻辑基础的不足.The current research progresses and the existing problems of description logic（DL）, especially the insufficiency of using dynamic description logic（DDL） to act as logical foundation for the semantic Web, are analyzed in this paper. According to the characteristics and requirement of the semantic Web, a kind of new description logic, i.e., distributed dynamic description logic（D3L）, is presented. The syntax and semantics of D3L are given. The reasoning mechanism of D3L is mainly studied, and two kinds of reasoning methods, the direct reasoning method and the transform reasoning method, are presented. Compared with DDL, the D3L provides more reasonable logic foundation for the semantic Web, and overcomes the insufficiency of using DDL to act as logical foundation for the semantic Web.

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

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]