Repositorio de producción científica de la Universidad de Sevilla

Mereotopological Patterns for Ontology Evolution and Debugging

 

Advanced Search
 
Opened Access Mereotopological Patterns for Ontology Evolution and Debugging
Cites
Show item statistics
Icon
Export to
Author: Aranda Corral, Gonzalo A.
Borrego Díaz, Joaquín
Chávez González, Antonia María
Department: Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial
Date: 2010
Published in: Image-A : Applicable Mathematics in Image Engineering, 1 (3), 151-158
Document type: Article
Abstract: In this paper the foundational principles and the application of a mereotopological theory, the Region Connection Calculus, for controlling the revision of formal ontologies by means of visual arrangements is presented. The visual representation of logical relationships between concepts of an ontology is defined, and it is computed by means of an automated theorem prover. The user can recognize mereotopological patterns in the visual representation, particularly those representing anomalies in the ontology. An intelligent tool called Paella is designed and implemented for this task. Also, the extension to this formalism for managing uncertainty in concept reasoning is described.
Size: 831.3Kb
Format: PDF

URI: http://hdl.handle.net/11441/26203

See editor´s version

This work is under a Creative Commons License: 
Atribución-NoComercial-SinDerivadas 4.0 España

This item appears in the following Collection(s)