Consolidación de ontologías Datalog+

En la presente tesis nos enfocamos en el manejo de dos problemas diferentes pero relacionados que suelen aparecer en el conocimiento, especialmente en entornos colaborativos: inconsistencias e incoherencias. Inconsistencia es un problema clásico y ampliamente reconocido en la representación de co...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Deagustini, Cristhian Ariel David
Otros Autores: Simari, Guillermo R.
Formato: tesis doctoral
Lenguaje:Español
Publicado: 2015
Materias:
Ciencias de la computación
Revisión de creencias
Manejo de incoherencias
Datalog+
Acceso en línea:http://repositoriodigital.uns.edu.ar/handle/123456789/2582
Aporte de:
Repositorio Institucional Universidad Nacional del Sur (UNS) de Universidad Nacional del Sur
id I20-R126123456789-2582
record_format dspace
institution Universidad Nacional del Sur
institution_str I-20
repository_str R-126
collection Repositorio Institucional Universidad Nacional del Sur (UNS)
language Español
orig_language_str_mv spa
topic Ciencias de la computación
Revisión de creencias
Manejo de incoherencias
Datalog+
spellingShingle Ciencias de la computación
Revisión de creencias
Manejo de incoherencias
Datalog+
Deagustini, Cristhian Ariel David
Consolidación de ontologías Datalog+
topic_facet Ciencias de la computación
Revisión de creencias
Manejo de incoherencias
Datalog+
description En la presente tesis nos enfocamos en el manejo de dos problemas diferentes pero relacionados que suelen aparecer en el conocimiento, especialmente en entornos colaborativos: inconsistencias e incoherencias. Inconsistencia es un problema clásico y ampliamente reconocido en la representación de conocimiento, el cual trae importantes consecuencias para los mecanismos cl asicos de inferencia. Incoherencia, por otra parte, ha recibido cada vez más atención desde el surgimiento de lenguajes ontológicos; la misma se relaciona con con- flictos en el conjunto de reglas ontol ogicas que hacen a tales reglas imposibles de satisfacer al mismo tiempo. En este trabajo formalizamos la noción de incoherencia en ontologías Datalog , que se encontraba ausente en la literatura, en t erminos de la satisfacibilidad del conjunto de restricciones en las mismas, y mostramos como bajo ciertas condiciones incoherencia puede llevar a ontologías Datalog inconsistentes.La contribución principal de este trabajo es el desarrollo de dos operadores noveles para la restauración tanto de la consistencia como la coherencia en ontologías Datalog . Los enfoques propuestos se basan en kernel contraction. En el primero de ellos la restauración se realiza mediante la aplicación de funciones de incisión que seleccionan fórmulas para remoción de los conjuntos incoherentes/inconsistentes mínimos encontrados en las ontologías. Tal operador trata los conflictos m nimos de manera local, sin tener en cuenta la relación (si es que existe) entre los diferentes conflictos m nimos. El otro enfoque, que puede ser visto como un enfoque global, tiene en cuenta tal relación mediante el agrupamiento de conflictos m nimos relacionados en nuevas estructuras llamadas clusters, mediante el uso de una relaci on de solapamiento. En esta disertaci on presentamos construcciones tanto para el enfoque local como el global, junto con las propiedades que se espera que los mismos satisfagan, expresadas a través de postulados. Finalmente, establecemos la relación entre las construcciones y las propiedades mediante el uso de teoremas de representación. Si bien la propuesta esta enfocada en la consolidación de ontologías Datalog , estos operadores pueden ser aplicados a otros tipos de lenguajes ontológicos, tales como las Lógicas Descriptivas, haciéndolos aptos para su uso en ambientes colaborativos como la Web Semántica.
author2 Simari, Guillermo R.
author_facet Simari, Guillermo R.
Deagustini, Cristhian Ariel David
format tesis doctoral
author Deagustini, Cristhian Ariel David
author_sort Deagustini, Cristhian Ariel David
title Consolidación de ontologías Datalog+
title_short Consolidación de ontologías Datalog+
title_full Consolidación de ontologías Datalog+
title_fullStr Consolidación de ontologías Datalog+
title_full_unstemmed Consolidación de ontologías Datalog+
title_sort consolidación de ontologías datalog+
publishDate 2015
url http://repositoriodigital.uns.edu.ar/handle/123456789/2582
work_keys_str_mv AT deagustinicristhianarieldavid consolidaciondeontologiasdatalog
bdutipo_str Repositorios
_version_ 1764820504893456386

Ejemplares similares