Razonamiento mereotopológico automatizado para la depuración de ontologías

La presente memoria se estructura en tres grandes bloques: I Tratamiento automatizado de la teoría RCC y métodos asistidos por SRA para obtener extensiones de dicha teoría. Generalizaciones del retículo de relaciones asistido por SRA. Este bloque abarca los capítulos 2, 3 y 4. II Aplicación de RCC como cálculo meta-ontológico para su posterior uso en el análisis de anomalías en ontologías. Este tema se aborda en los capítulos 5 y 6.

Author dc:creator

• Chávez González, Antonia María

Advisor dc:contributor.advisor

• Borrego Díaz, Joaquín

Statement dc:rights

• Atribución-NoComercial-SinDerivadas 4.0 España

Licence dc:rights.uri

• http://creativecommons.org/licenses/by-nc-nd/4.0/

Language dc:language.iso

spa

Handle dc:identifier.uri

http://hdl.handle.net/11441/14969

OAI identifier oai:identifier

oai:idus.us.es:11441/14969