一种分布式动态描述逻辑

A Distributed Dynamic Description Logic

分析了目前描述逻辑(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.