Mostrar el registro sencillo del ítem
Artículo
Mereotopological Patterns for Ontology Evolution and Debugging
dc.creator | Aranda Corral, Gonzalo A. | es |
dc.creator | Borrego Díaz, Joaquín | es |
dc.creator | Chávez González, Antonia María | es |
dc.date.accessioned | 2015-06-29T10:57:58Z | |
dc.date.available | 2015-06-29T10:57:58Z | |
dc.date.issued | 2010 | es |
dc.identifier.issn | 1885-4508 | es |
dc.identifier.uri | http://hdl.handle.net/11441/26203 | |
dc.description.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. | es |
dc.format | application/pdf | es |
dc.language.iso | eng | es |
dc.publisher | Universidad de Sevilla | es |
dc.relation.ispartof | Image-A : Applicable Mathematics in Image Engineering, 1 (3), 151-158 | es |
dc.rights | Atribución-NoComercial-SinDerivadas 4.0 España | es |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | es |
dc.subject | Mereotopological Patterns | es |
dc.subject | Region Connection Calculus | es |
dc.subject | Ontologies | es |
dc.subject | Description Logics | es |
dc.title | Mereotopological Patterns for Ontology Evolution and Debugging | es |
dc.type | info:eu-repo/semantics/article | es |
dc.type.version | info:eu-repo/semantics/publishedVersion | es |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | es |
dc.contributor.affiliation | Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial | es |
dc.relation.publisherversion | http://institucional.us.es/revistas/imagen_a/3/art_6.pdf | es |
dc.identifier.idus | https://idus.us.es/xmlui/handle/11441/26203 |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
art_6 (1).pdf | 831.3Kb | [PDF] | Ver/ | |