Implementación de operadores de consolidación de ontologías en Datalog +/-

En los últimos tiempos, la colaboración y el intercambio de información se han vuelto aspectos cruciales de muchos sistemas. En estos entornos es de vital importancia definir métodos automáticos para resolver conflictos entre el conocimiento compartido por distintos sistemas. Este conocimiento es fr...

Descripción completa

Detalles Bibliográficos
Autores principales: Novello Pelayo, Ignacio, Pacífico, Cristian, Deagustini, Cristhian A. D., Falappa, Marcelo Alejandro, Simari, Guillermo Ricardo
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2017
Materias:
Ciencias Informáticas
Conocimiento
razonamiento
revisión de creencias
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/61434
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-61434
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Ciencias Informáticas
Conocimiento
razonamiento
revisión de creencias
spellingShingle Ciencias Informáticas
Conocimiento
razonamiento
revisión de creencias
Novello Pelayo, Ignacio
Pacífico, Cristian
Deagustini, Cristhian A. D.
Falappa, Marcelo Alejandro
Simari, Guillermo Ricardo
Implementación de operadores de consolidación de ontologías en Datalog +/-
topic_facet Ciencias Informáticas
Conocimiento
razonamiento
revisión de creencias
description En los últimos tiempos, la colaboración y el intercambio de información se han vuelto aspectos cruciales de muchos sistemas. En estos entornos es de vital importancia definir métodos automáticos para resolver conflictos entre el conocimiento compartido por distintos sistemas. Este conocimiento es frecuentemente expresado a través de ontologías que pueden ser compartidas por los sistemas que utilizan el mismo. Dentro de las diferentes posibilidades para expresar conocimiento en los últimos tiempos un lenguaje que ha recibido cada vez más atención es Datalog+/-; debido a ser un lenguaje que ofrece un alto nivel de expresividad por construir reglas en fragmentos de Lógica de Primer Orden, permitiendo su compresión natural en la forma de esquemas de lógica clásica. Por otro lado, Datalog+/- como máquina de inferencia, tiene la propiedad de ser decidible, y (en la mayoría de los casos) tratable permitiendo manejar volúmenes masivos de datos de entornos reales. Sin embargo, el uso del conocimiento, especialmente compartido, suele traer aparejados conflictos en el mismo que dificulta su explotación por procesos automatizados. Es decir, aceptar nuevas observaciones y datos suele traer aparejados violaciones a la integridad y consistencia del cuerpo de conocimiento. En este sentido, el principal desafío es eliminar los conflictos la inconsistencias e incoherencias que puedan surgir en el conocimiento expresado. En la presente investigación se busca comprobar empíricamente la correctitud, computabilidad y eficiencia de operadores de contracción de kernel y de cluster para manejo de inconsistencias e incoherencias en ontologías Datalog+/- a través de la implementación de los mismos. Para esto, se analizará el disenño teórico de los operadores de contracción de kernel y cluster y su aplicación práctica para eliminar conflictos. A partir de un proyecto de software que implementa un intérprete Datalog+/-, se codificará las funcionalidades requeridas e implementarán los citados operadores.
format Objeto de conferencia
Objeto de conferencia
author Novello Pelayo, Ignacio
Pacífico, Cristian
Deagustini, Cristhian A. D.
Falappa, Marcelo Alejandro
Simari, Guillermo Ricardo
author_facet Novello Pelayo, Ignacio
Pacífico, Cristian
Deagustini, Cristhian A. D.
Falappa, Marcelo Alejandro
Simari, Guillermo Ricardo
author_sort Novello Pelayo, Ignacio
title Implementación de operadores de consolidación de ontologías en Datalog +/-
title_short Implementación de operadores de consolidación de ontologías en Datalog +/-
title_full Implementación de operadores de consolidación de ontologías en Datalog +/-
title_fullStr Implementación de operadores de consolidación de ontologías en Datalog +/-
title_full_unstemmed Implementación de operadores de consolidación de ontologías en Datalog +/-
title_sort implementación de operadores de consolidación de ontologías en datalog +/-
publishDate 2017
url http://sedici.unlp.edu.ar/handle/10915/61434
work_keys_str_mv AT novellopelayoignacio implementaciondeoperadoresdeconsolidaciondeontologiasendatalog
AT pacificocristian implementaciondeoperadoresdeconsolidaciondeontologiasendatalog
AT deagustinicristhianad implementaciondeoperadoresdeconsolidaciondeontologiasendatalog
AT falappamarceloalejandro implementaciondeoperadoresdeconsolidaciondeontologiasendatalog
AT simariguillermoricardo implementaciondeoperadoresdeconsolidaciondeontologiasendatalog
bdutipo_str Repositorios
_version_ 1764820479018795010

Ejemplares similares