语义Web的设计目标是能够开发出标准和技术，以使得机器能够理解Web上更多的信息。描述逻辑方法是语义Web中需要研究的重要部分。本论文试图对该问题进行较深入的研究。主要研究内容如下：　　 首先对语义Web资源表达语言RDF(S)和OWL进行了介绍，形式化的分析了这两种语言的表达能力，通过与其它数据表达模型作比较，分析了它们的特点。接下来提出了一种可以作为分布式系统模型表示语言的描述逻辑方法，定义了语法、语义，分析了其可表达性和基本性质，研究了其对于概念的推理服务，设计了一种推理算法—归类算法。该描述逻辑可以用来表示分布式系统模型本体。最后提出了一种分布式系统模型管理框架，强调了这种模型管理的分布式特征，最关键的需求是模型的共享性和可重用性。该模型管理框架是基于本体和描述逻辑的，基于前面所设计的描述逻辑，定义了形式化和语义丰富的模型变量及模型的表示方法，特别是解决了分布式环境中的一个典型问题——唯一命名冲突问题；分别开发了模型变量层和模型层的推理服务。以前的框架系统总存在着两个极端：表达能力强或者是推理能力强。本框架可以说在平衡这两个极端上面进行了一定的尝试，以解决分布式系统很难用形式化语言来表达语义的问题。