1 Web 史忠植 董明楷 蒋运承 张海俊 （中国科学院计算技术研究所，智能信息处理重点实验室， 北京 ） 本文分析了目前语义 Web 理论的研究现状和存在的问题，分析了用传统描述逻辑作为语义 Web 逻辑基础的不充分性，根据语义 Web 的特点和需求，提出了一种新的动态描述逻辑 DDL，该 DDL 将静态知识和动态知识表示与推理有机地整合在一起。特别的是，本文给出了具体的动作描述方法，并按照传统描述逻辑的语义解释方法给出了动作的语义解释，从而该 DDL 形成了一种能同时处理静态知识和动态知识的统一的形式化逻辑框架。该 DDL 具有清晰的语义特征，既提供了可判定的推理服务，又能有效地对静态知识、动态过程和运行机制进行表示和推理（动作的可实现性和动作之间的包含关系） ，因此，本文提出的动态描述逻辑 DDL 可以为语义 Web 提供合理的逻辑基础，弥补了传统描述逻辑作为语义 Web 逻辑基础的不足。Web万维网（World Wide Web）已成为人们获得信息、取得服务的重要渠道之一，但是目前大多数页面的设计仅仅针对人类自身的，不便于计算机自动处理和理解。而语义 Web 是对万维网本质的变革， 它研究的主要目的就是扩展当前的万维网， 使得网络中的信息具有语义，能够被计算机理解， 便于人和计算机之间的交互与合作， 其研究重点就是如何把信息表示为计算机能够理解和处理的形式，即带有语义[1]。

为了让计算机能自动理解语义 Web 上的信息， 首先需要解决语义 Web 的语义表达问题，即语义 Web 上的知识表示和本体问题。 目前 XML 和 RDF 是两种可用于开发语义 Web 的重要知识表示语言，其中 XML 是一种标记语言，它的最突出特点就是功能强大又易于使用，能使网页容纳更丰富的信息资源。而 RDF 通过一些三元组（主题，动词，基本句子的对象）来表达意思，这些三元组构成了 web，由于 RDF 用 RUI 对信息进行编码，URI 确保了相关的概念不仅仅是一些文字，而且还将这些概念同 web 中的一些唯一特有的定义联系在一起。语义 Web 是用本体来表达语义的，在语义 Web 中最典型的本体都有一个分类法和一组相应的推理规则，其中分类定义了对象的类和它们之间的关系，而推理规则为语义 Web 提供了一定的推理能力。语义 Web 中本体的使用首先需要一种合适设计（well-） 、合适定义（well-）和 Web 相容的本体语言，它就是一种用来描述领域结构的语言，这些结构可以采用一定的概念（类）和属性（关系）来描述，而本体就由这些结构所表示的公理所组成。

由于描述逻辑在语义、可判定性以及面向对象的分类表示等方面的优点，所以一般的本体语言可以建立在描述逻辑的基础之上，如本体语言 DAML+OIL[2]和 OWL[3]（包括OWL Lite、OWL DL 和 OWL Full）等。由于这些语言（DAML+OIL、OWL Lite 和 OWL DL等）与描述逻辑的对应关系，从而一些学者将描述逻辑作为语义 Web 的逻辑基础，如 Ian 证明了 DAML＋OIL 语言与描述逻辑 SHOIQ(D)等价[4]，Ian 和 P F Patel- 证明了 OWL DL 与描述逻辑 SHOIN+(D)等价[5]，从而他们把描述逻辑SHOIQ(D)或者 SHOIN+(D)作为语义 Web 的逻辑基础。Franz 等人明确指出描述逻辑可以作为语义 Web 的本体语言，从而用描述逻辑来为语义 Web 提供必要的逻辑基础[6]。 语义 Web 不仅需要提供静态的信息，而且也需要提供动态的服务（即语义 Web 服务）[7]，从而语义 Web 上的逻辑推理不仅包括对静态知识（本体）的推理，而且也包括对动态国家 863 计划资助项目(批准号：)；国家自然科学基金资助项目(批准号：)