描述逻辑是一种基于对象的知识表示的形式化工具,是一个用于描述及推理概念知识的逻辑公式集合体,是一阶谓词逻辑可判定的子集,能够提供可判定的推理功能,是语义Web的逻辑基础,在语义Web的发展过程中起着非常重要的作用。尽管经典描述逻辑理论的发展非常迅速且日趋完善,但关于非确定的、模糊的信息表示系统的研究工作却相对较少。为了使描述逻辑系统能处理更一般化的模糊信息,Straccia给出了基于完备格的模糊描述逻辑L-ALC。但是,为了满足现实领域的需求,描述逻辑不仅要能够处理模糊信息,而且要具备处理动态信息的能力,史忠植等人将描述逻辑ALC、动态逻辑以及动作理论有机地结合起来,提出了动态描述逻辑DDL。针对语义Web需要处理模糊的、不精确的静态知识和动态知识的特点和需求,王驹、蒋运承等人提出了一种模糊动态描述逻辑FDDL,它是根据模糊逻辑对动态描述逻辑DDL的模糊化扩充。然而FDDL并不能很好地处理更一般化的模糊静态信息和模糊动态信息。由于布尔格具有一些良好的结构性质,本文主要研究了基于布尔格上的模糊动态描述逻辑系统LD-ALCN。本文的主要内容安排如下:第一章:前言;介绍了与本文内容相关的历史背景和现状。第二章:预备知识;介绍了描述逻辑ALCN和模糊描述逻辑L-ALCN的基本知识。第三章:布尔格;总结了布尔格的一些良好性质。第四章:基于布尔格上的模糊动态描述逻辑;我们首先指出了选择布尔格作为模糊动态描述逻辑LD-ALCN的值域理由,给出了LD-ALCN的语法和语义,并给出了LD-ALCN的推理算法。第五章:总结及展望;给出了今后的研究方向。本文的主要结论如下:定理3.10给定L中的两个元素x,y,x≠y,若I [ x , y ]≠L,我们记ε= z1 ? （ x⊕y）,则有:（1）ε′= z 2⊕（ x ? y）;（2） { z1 ? z | z∈I [ x , y ]} = I [ f ,ε];（3） { z 2⊕z | z∈I [ x , y ]} = I [ε′, t]。定理3.11令L是一个布尔格。对任意元素x∈L, x≠f,x≠t,则有:（1） I [ f , x ], I [ f , x′]都是布尔格,而且在L中I [ f , x ]∩I [ f , x′] ={ f};（2）L中每一个元素z都可以唯一地表示为z = a⊕b的形式,其中a∈I [ f , x],b∈I [ f , x′]。推论3.12任给L中的两个元素x,y,记I [ x , y ] = { z x ? y z x⊕y},则:（1）若x是y的补元素,则I [ x , y ]= L;（2）若x,y没有互补关系,则f ? x ? y x⊕y t或f x ? y x⊕y ? t, I [ x , y ]是L的一个真子区间。定理4.1对于一个布尔格BL,一个LD-约束的有限集F是可满足的当且仅当存在F的一个无矛盾的完全结论集。