Integración de ontologías Datalog ± mediante consolidación a través de debilitamiento

En sistemas que manejan e intercambian grandes volúmenes de información es necesario contar con métodos adecuados para manejar conflictos que aparecen en la medida que sus bases de conocimiento evolucionan y se integra con otras fuentes de información. Este conocimiento es frecuentemente expresado por ontologías; no solo por el valor expresivo, sino también por las diferentes restricciones semánticas que se pueden aplicar al conocimiento, originadas por el dominio de aplicación o por los propios usuarios. Esta línea de I+D profundiza en la resolución automatizada de conflictos en ontologías expresadas en Datalog±; ya sea estos generados por inconsistencia o incoherencia. Se pretende definir métodos que resuelven los conflictos que surgen al integrar dos o más ontologías Datalog ±. Una operación de integración sobre varias ontologías, debe restaurar la consistencia y coherencia en el todo, no solo considerando las características intrínseca de la información integrada, sino también meta-información relacionada con la confiabilidad de cada fuentes, la ocurrencia de información, etc. En particular, se definirán mecanismos resolución de incoherencias e incoherencias que produzcan alguna forma de debilitamiento o modificación de las reglas; para lograr la mínima pérdida de información en el proceso de integración. Finalmente, se analizar´a los mecanismos descriptos para extenderlos a la integración con otras fuentes de datos, en particular con Bases de Datos Relacionales.Eje: Agentes y Sistemas Inteligentes.Red de Universidades con Carreras en Informática (RedUNCI