语义WEB的逻辑基础

描述逻辑是语义Web的逻辑基础，它的扩展是对语义Web逻辑基础的很好支撑。

■  中国科学院计算技术研究所  常亮 史忠植

语义Web旨在实现Web上数据之间的链接，为这些数据赋予语义信息，使得计算机能够理解和自动处理。在Tim Berners-Lee等给出的语义Web层次模型中，语义Web的实现依赖于以下关键技术: 用XML来承载Web页面的内容，使得Web文档含有XML标签所携带的元数据信息; 用本体定义XML标签的语义，使得XML标签所携带的元数据信息得到共同的理解; 使用智能agent，基于逻辑推理，对Web文档进行自动处理。在这些技术中，本体是实现语义共享并进而实现逻辑推理和自动处理的关键。

描述逻辑是语义Web的逻辑基础

W3C于2004年2月接受了基于描述逻辑的OWL语言，将其作为Web本体语言的推荐标准。OWL语言由三个描述能力依次增强的子语言组成: OWL Lite、OWL DL和OWL Full。其中，在描述能力上，OWL Lite和OWL DL分别与描述逻辑SHIF(D)以及SHOIN(D)等价; OWL Full支持与RDF的兼容，但其对应的逻辑是不可判定的。鉴于本体在语义Web中所处的核心地位，描述逻辑也在一定程度上被看作语义Web的逻辑基础。

描述逻辑是一类用于知识表示的形式化工具。描述逻辑的渊源可追溯到上世纪60、70年代对知识表示的研究。当时出现的知识表示方式可大致分为两类: 基于逻辑的形式系统和非逻辑的表示系统。基于逻辑的形式系统采用命题逻辑、谓词逻辑等经典逻辑，对客观世界的某些部分进行准确刻画。非逻辑的表示系统则采用语义网络、框架、以及产生式系统等进行知识表示。与一阶逻辑等相比，语义网络和框架显得更加有效和易于使用。但是，语义网络和框架存在一个共同的缺点，即缺乏清晰的语义。在这种背景下，KL-ONE应运而生。

KL-ONE结合了语义网络和框架系统的优点，在提出之后就得到了学术界的广泛关注，并于1980年召开了第一届KL-ONE专题研讨会。该系列的专题研讨会一直延续至今，在依次改名为KL-ONE类专题研讨会、术语包含语言专题研讨会、术语逻辑国际专题研讨会等之后，于1994年正式更名为描述逻辑国际专题研讨会。在这期间，CLASSIC、BACK、LOOM、K-REP等逻辑系统相继涌现，描述逻辑家族的成员逐渐增多，对描述逻辑的研究逐渐成为一个热点。

描述逻辑的主要特征在于具有清晰的模型理论机制，适合于通过概念分类学来表示应用领域知识; 此外，其在具有较强表达能力的同时还保持了相关推理问题的可判定性。

扩展的描述逻辑支撑语义Web

经过二十多年的研究，FACT、RACE、DLP、Pellet等经过高度优化的描述逻辑推理机已经被开发出来; 描述逻辑也被成功应用到信息系统、数据库、软件工程、自然语言处理、以及网络智能访问等领域。对描述逻辑的研究趋于成熟。

在语义Web出现之后，尤其是在W3C组织将OWL本体语言作为推荐标准之后，关于描述逻辑的研究再次吸引了学术界和工业界的关注。Web具有开放性、动态性、分布性、交互性等特征，使得仅仅依靠描述逻辑难以实现语义Web的远景目标。因此，研究人员面临的一个课题是: 如何对描述逻辑进行扩展，或者如何将描述逻辑与其他形式的系统结合起来，从而为语义Web提供充足的逻辑支撑。

中科院计算技术研究所史忠植研究员提出了一种动态描述逻辑，将描述逻辑与动态逻辑以及情景演算中的动作理论有机地结合起来，可以在一个逻辑系统内对基于描述逻辑的静态的知识、关于动作的知识以及具有动态内涵的知识进行统一的描述和推理。动态描述逻辑弥补了描述逻辑在动态性方面的不足，为语义Web提供进一步的逻辑支撑。基于动态描述逻辑，史忠植研究员领导的智能科学实验室进行了一系列深入研究。研制了动态描述逻辑推理机，为动态描述逻辑所刻画的知识提供有效的推理服务，能够在开放的Web环境下进行推理，并且与OWL DL本体语言兼容。同时，动态描述逻辑推理机被嵌入到知识管理系统KMSphere，实现了从知识的描述和编辑，到对知识的推理、管理、以及应用等全方面的有效支持。此外，描述逻辑推理机还被应用到语义Web服务代理SWSBroker，为语义Web上Web服务的自动发现和组合提供支持。

国内外众多学者也提出了对描述逻辑的时序扩展、模态扩展、分布式扩展、模糊扩展、非单调扩展、次协调扩展、以及多值扩展等等。在工业标准方面，W3C的一个工作组正致力于规则交换格式RIF的制定和标准化工作，从而将Horn逻辑的描述和推理能力与描述逻辑的描述和推理能力有机结合起来。

那么，究竟要将描述逻辑扩展到什么程度才足够支撑语义Web呢？或者，除了描述逻辑及其各种扩展形式之外，还需要使用哪些形式系统才能构建出语义Web的完整的逻辑基础呢？目前没有明确的答案。但可以肯定的是，语义Web并不期求通过几个形式系统就能将所有的知识和数据都表示和刻画出来。另外，在构建语义Web逻辑基础的过程中不应该忽略的是，语义Web所追求的根本目标是将Web上规模空前的数据链接起来后可能获得的巨大价值。