Debugging and Repair of OWL Ontologies
Debugging and Repair of OWL Ontologies
复制标题
DOI：
--
复制
发表时间：
2006
期刊：
影响因子：
--
通讯作者：
Aditya Kalyanpur
中科院分区：
文献类型：
--
作者：
Aditya Kalyanpur
随着OWL(Web Ontology Language)等语义Web语言的出现，可表达的描述逻辑Shoin被更广泛的本体用户和开发者所了解。随着越来越多的OWL本体出现在语义Web上，本体中的描述变得更加复杂，即使对于专家来说，找到错误的原因也变得极其困难。对于OWL的新手来说，问题更严重，他们几乎没有或根本没有基于DL的知识表示经验。现有的本体开发环境与推理机相结合，提供了一些有限的调试支持，然而这仅限于报告本体中的错误，而错误的诊断和解决通常留给用户。在本文中，我提出了一个完整的端到端框架，用于解释、定位和修复OWL-DL本体中的语义缺陷(或者换句话说，Shoin a Knowledge Base)。语义缺陷是逻辑矛盾，表现为不一致的本体或不可满足的概念。在可能的情况下，我展示了处理相关缺陷的扩展，例如无法满足的角色、意外的蕴涵和非蕴涵，或者属于DL范围之外的OWL本体中的缺陷(OWL-FULL)。本文的主要贡献包括：(1)定义了三种新的OWL-DL调试/修复服务：AXIOM定位、根错误定位和本体修复。这包括将任意OWL蕴涵(用于识别错误的原因)、根/派生的不可满足概念(用于修剪错误空间)和公理的语义/语法相关性(用于对错误的公理进行排名)的精确理由的概念形式化。(2)设计和分析实施服务的决策程序(玻璃箱或推理机依赖，黑箱或推理机独立)。(3)对基于现实OWL-DL本体的服务进行了性能和可用性评估，为OWL本体建模者和用户提供了实际的应用和意义。
With the advent of Semantic Web languages such as OWL (Web Ontology Language), the expressive Description Logic SHOIN is exposed to a wider audience of ontology users and developers. As an increasingly large number of OWL ontologies become available on the Semantic Web and the descriptions in the ontologies become more complicated, finding the cause of errors becomes an extremely hard task even for experts. The problem is worse for newcomers to OWL who have little or no experience with DL-based knowledge representation. Existing ontology development environments, in conjunction with a reasoner, provide some limited debugging support, however this is restricted to merely reporting errors in the ontology, whereas bug diagnosis and resolution is usually left to the user. In this thesis, I present a complete end-to-end framework for explaining, pinpointing and repairing semantic defects in OWL-DL ontologies (or in other words, SHOIN a knowledge base). Semantic defects are logical contradictions that manifest as either inconsistent ontologies or unsatisfiable concepts. Where possible, I show extensions to handle related defects such as unsatisfiable roles, unintended entailments and non-entailments, or defects in OWL ontologies that fall outside the DL scope (OWL-Full). The main contributions of the thesis include: (1) Definition of three novel OWL-DL debugging/repair services: Axiom Pinpointing, Root Error Pinpointing and Ontology Repair. This includes formalizing the notion of precise justifications for arbitrary OWL entailments (used to identify the cause of the error), root/derived unsatisfiable concepts (used to prune the error space) and semantic/syntactic relevance of axioms (used to rank erroneous axioms). (2) Design and Analysis of decision procedures (both glass-box or reasoner dependent, and black-box or reasoner independent) for implementing the services. (3) Performance and Usability evaluation of the services on realistic OWL-DL ontologies, which demonstrate its practical use and significance for OWL ontology modelers and users.