Inconsistent ontology diagnosis: framework and prototype
In this document, we present a framework for inconsistent ontology diagnosis and repair by defining a number of new non-standard reasoning services to explain inconsistencies through pinpointing. We developed two different types of algorithms for the framework, and we describe these algorithms in so...
| Autores: | , , |
|---|---|
| Formato: | informe técnico |
| Fecha de publicación: | 2005 |
| País: | España |
| Recursos: | Universitat Autònoma de Barcelona |
| Repositorio: | Dipòsit Digital de Documents de la UAB |
| Idioma: | inglés |
| OAI Identifier: | oai:ddd.uab.cat:140414 |
| Acesso em linha: | https://ddd.uab.cat/record/140414 |
| Access Level: | acceso abierto |
| Palavra-chave: | Ontology management Inconsistency diagnosis Ontology reasoning |
| Resumo: | In this document, we present a framework for inconsistent ontology diagnosis and repair by defining a number of new non-standard reasoning services to explain inconsistencies through pinpointing. We developed two different types of algorithms for the framework, and we describe these algorithms in some detail. Both algorithms have been prototypically implemented as the DION (Debugger of Inconsistent ONtologies) and MUPStersystem. The first implements a bottom-up approach to calculate pinpoints by the support of an external DL reasoner, the second using a specialised tableau-based calculus. |
|---|