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

Mereotopological Patterns for Ontology Evolution and Debugging

Opened Access Mereotopological Patterns for Ontology Evolution and Debugging
Estadísticas
Icon
Exportar a
Autor: Aranda Corral, Gonzalo A.
Borrego Díaz, Joaquín
Chávez González, Antonia María
Departamento: Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial
Fecha: 2010
Publicado en: Image-A : Applicable Mathematics in Image Engineering, 1 (3), 151-158
Tipo de documento: Artículo
Resumen: 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.
Tamaño: 831.3Kb
Formato: PDF

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

Ver versión del editor

Mostrar el registro completo del ítem


Esta obra está bajo una Licencia Creative Commons Atribución-NoComercial-SinDerivadas 4.0 España

Este registro aparece en las siguientes colecciones