描述逻辑-NKOS研究室.PDF

Steffen Staab, Rudi Studer. Handbook on Ontologies. Springer, 2004  Part I  Ontology Representation and Reasoning  1  Description Logics  描述逻辑  1  2  1  Franz Baader ，Ian Horrocks ，and Ulrike Sattler  1 Institut für Theoretische Informatik, TU Dresden, Germany  2 Department of Computer Science, university of Manchester，UK  林伟明初译 曾新红审校  2006.4  [摘要]  在这一章，我们将阐述什么是描述逻辑以及为什么描述逻辑会产生良好的本体语言。 特别地，我们将介绍描述逻辑  SHIQ，它构成了许多著名的本体语言(如  OIL，DAML+OIL  以及 OWL)的基础。我们认为，如果没有过去十年在描述逻辑上所做的基础研究，这一系列 的知识表示语言就不可能在此领域扮演如此重要的角色。 描述逻辑推理在设计阶段和使用阶段均可使用。在设计阶段使用是为了提高本体的质 量；在使用阶段使用是为了充分利用本体的丰富结构以及基于本体的信息。 我们将展示如何 用 tableaux 算法为描述逻辑如 SHIQ提供可靠的，完备的推理，如何优化后实现使得这些服 务可用到现实的应用中。我们还将讨论一些和 SHIQ 的扩展有关的挑战，这些扩展是由语言 如 DAML+OIL 和 OWL 所要求的。最后，我们将简略地介绍一下新的推理服务如何能够支 持描述逻辑知识库的建立。  1.1  引言 这一节的目的是简要地介绍描述逻辑以及讨论它们为什么非常适合作为本体语言。 这一章余 下的章节中， 我们将通过提供更多的关于描述逻辑理论、推理算法以及实现技术这些技术细 节来为这一骨架添加内容。关于这些以及其他与描述逻辑相关问题的更多的细节请看[9]。 本体 对于本体是什么有很多种定义，也许最著名的（至少在计算机科学家当中）是 Gruber 的定 3  义： “本体是概念模型的明确的规格说明”[52] 。在这里，概念模型是指客观世界的某一方 面的抽象模型，表现为重要概念的性质以及它们之间关系的定义。 明确的规范说明是指模型 必须是用无二义性的语言来表示，使得机器如人一样能够顺利地处理它。 本体在知识管理、信息集成、协作信息系统、信息检索以及电子商务这些领域中变得越 来越重要了。语义网[22]，是最近很热门的一个应用领域，在这里本体在代理之间建立一个 通用的术语集从而确保不同的代理对于用于语义标记的术语都有着共用的理解。 本体的有效利用不仅仅需要一种设计良好的和定义明确的本体语言， 还需要推理工具的 支持。推理是很重要的，它既确保了本体的质量，又可以充分利用本体的丰富结构以及基于 本体的信息。推理可以在本体生命周期的不同阶段使用。在本体的设计期间，推理可以用来 测试概念是否没有矛盾，可以用来得出隐含的关系。特别地，人们通常需要计算概念级别， 即，基于包含关系的指定概念的偏序关系。 关于哪一个概念是另一个的特殊化以及哪些概念 是同义词这些信息可用来在设计阶段测试该本体中的概念定义是否有预期的结果。 这一信息 在使用本体时也非常有用。 由于不可能假设所有的应用都使用同一个本体， 不同本体之间的互操作性和集成也是个 重要的问题。集成可以像这样来支持：在知识工程师断言了一些本体之间的关系之后，集成 化的概念级别就会被计算并且检查概念的一致性。 不一致的概念以及非预期的或者遗漏了的 包含关系，就是错误的和不完全的本体间断言的信号，它们可以由知识工程师纠正和补充完 全。 最后，在使用本体时也可以利用推理。如同使用预计算的概念级别一样，可以利用本体 来确定在注解（annotation）中所声明事实的一致性，