Per citar aquest document: http://ddd.uab.cat/record/140414
Inconsistent ontology diagnosis: framework and prototype
Schlobach, Stefan (Vrije Universiteit Amsterdam)
Huang, Zhisheng (Vrije Universiteit Amsterdam)
Casanovas, Pompeu (Universitat Autònoma de Barcelona. Institut de Dret i Tecnologia)
SEKT (Projecte)

Publicació: Semantically Enabled Knowledge Technologies (SEKT) 2005
Descripció: 50 pag.
Resum: 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.
Nota: Número d'acord de subvenció EU/IST-2003-506826
Nota: Deliverable D3.6.1(WP3.6)
Drets: Tots els drets reservats
Llengua: Anglès
Document: report
Matèria: Ontology management ; Inconsistency diagnosis ; Ontology reasoning



50 p, 676.3 KB

El registre apareix a les col·leccions:
Documents de recerca > Documents dels grups de recerca de la UAB > Centres i grups de recerca (producció científica) > Ciències Socials i Jurídiques > Institut de Dret i Tecnologia (IDT)
Documents de recerca > Estudis

 Registre creat el 2015-10-01, darrera modificació el 2016-07-15



   Favorit i Compartir