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 conocimiento, el cual trae importantes consecuencias para los mecanismos clásicos 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 conflictos en el conjunto de reglas ontológicas 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érminos 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ón de solapamiento. En esta disertación 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 está 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.Eje: Tesis Doctorales. Tesis doctoral presentada por el autor en el 2015, ditigida por Guillermo R. Simari y Marcelo A. Falappa.Red de Universidades con Carreras en Informática (RedUNCI

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 conocimiento, el cual trae importantes consecuencias para los mecanismos clásicos 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 conflictos en el conjunto de reglas ontológicas 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érminos 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ón de solapamiento. En esta disertación 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 está 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.Eje: Tesis Doctorales. Tesis doctoral presentada por el autor en el 2015, ditigida por Guillermo R. Simari y Marcelo A. Falappa.Red de Universidades con Carreras en Informática (RedUNCI

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 conocimiento, el cual trae importantes consecuencias para los mecanismos clásicos 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 conflictos en el conjunto de reglas ontológicas 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érminos 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ón de solapamiento. En esta disertación 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 está 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.Eje: Tesis Doctorales. Tesis doctoral presentada por el autor en el 2015, ditigida por Guillermo R. Simari y Marcelo A. Falappa.Red de Universidades con Carreras en Informática (RedUNCI

DBI-DeLP: a framework for defeasible argumentation over databases

Nowadays Argumentation Systems in general, and DeLP in particular, build arguments based on the context of a single and xed logical program. This leads to a practical limitation regarding the volume of data in which the argumentation is supported, because integration of constantly updated external data only can be made by the "hard-coding" of facts (i.e., the explicit codi cation of facts in the program), which is inne cient for massive data. This paper introduces Database Integration for Defeasible Logic Programming (DBI-DeLP), a framework that integrates Defeasible Argumentation with Databases that may be updated by other external applications, allowing the execution of argumentation processes based on masive external sources of data.Presentado en el XII Workshop Agentes y Sistemas Inteligentes (WASI)Red de Universidades con Carreras en Informática (RedUNCI

DBI-DeLP: a framework for defeasible argumentation over databases

Nowadays Argumentation Systems in general, and DeLP in particular, build arguments based on the context of a single and xed logical program. This leads to a practical limitation regarding the volume of data in which the argumentation is supported, because integration of constantly updated external data only can be made by the "hard-coding" of facts (i.e., the explicit codi cation of facts in the program), which is inne cient for massive data. This paper introduces Database Integration for Defeasible Logic Programming (DBI-DeLP), a framework that integrates Defeasible Argumentation with Databases that may be updated by other external applications, allowing the execution of argumentation processes based on masive external sources of data.Presentado en el XII Workshop Agentes y Sistemas Inteligentes (WASI)Red de Universidades con Carreras en Informática (RedUNCI

Sistemas de argumentación masiva sobre Bases de datos federadas

En la presente investigación se propone la integración de un Sistema de Argumentación Rebatible Basado en Reglas, en particular DeLP, con tecnologías de Bases de Datos Federadas como soporte de los procesos argumentativos. El objetivo final es poder definir tecnologías que nos permitan el desarrollo automático (o semi-asistido) de sistemas de argumentación capaces de soportar sus conclusiones en grandes volúmenes de datos, sin perder las ventajas de los actuales como manejo de información contradictoria e incompleta. Una ventaja de un sistema de estas características respecto de los sistemas basados en argumentación actuales es que el mismo podría acceder a un gran número de fuentes de conocimiento sin tener que conocer cómo acceder a cada una de ellas y obtener conclusiones a partir de grandes cantidades de datos, de manera que estas sean más objetivas e imparciales al estar basadas en un conocimiento mucho más rico, amplio y diversificado. A su vez, el conocimiento de un sistema como el expuesto puede evolucionar, tanto en el hecho de que los datos en que se soportan las conclusiones cambian a medida que las bases de datos usadas cambian (por la influencia de sistemas externos) como en la actualización de las reglas en las que se basa el sistema para la construcción de argumentos si realizamos minería de reglas en la base de dato actualizada. Esto permitiría producir sistemas capaces de entregar respuestas más precisas y justas a las consultas realizadas a un agente autónomo con estas capacidades. Para lograr lo propuesto, debemos atacar varios problemas. Primeramente, hemos de definir métodos eficientes de integración de DeLP en su forma actual con Bases de Datos Relacionales que nos permitan identificar y proveer al proceso argumentativo de información relevante dentro del universo de datos almacenados por las Bases de Datos. Además, para lograr un desarrollo de sistemas más objetivos, debemos establecer métodos que nos permitan la obtención de reglas de conocimiento basados en datos o documentos externos, de manera que el conocimiento reflejado en las reglas no represente la visión de un tema particular de unos pocos individuos. También estudiaremos el problema de la creación de una vista unificada de datos basada en el conocimiento almacenado por varias Bases de Datos (tanto datos en sí como en el esquema de las mismas), resolviendo de manera escéptica los conflictos potenciales debido a inconsistencias e incompletitudes, y finalmente se pasaría a la investigación acerca de la eficiencia de los procesos argumentativos basados en cantidades masivas de datos y su aplicabilidad al desarrollo de aplicaciones del mundo real.Eje: Agentes y Sistemas InteligentesRed de Universidades con Carreras en Informática (RedUNCI

Sistemas de argumentación masiva sobre base de datos federadas

En la presente investigaci on se propone la integraci on de las tecnolog as de Bases de Datos, y en particular de las Bases de Datos Federadas, como medio de almacenamiento de informaci on masiva probablemente inconsistente e incompleta, con los Sistemas de Argumentaci on Rebatible Basados en Reglas. Para esto primeramente se estudiar a el problema de la creaci on de una vista uni cada de datos a partir del conocimiento almacenado por varias Bases de Datos, resolviendo de manera esc eptica los con ictos potenciales debido a inconsistencias e incompletitudes, y luego se pasar a a la investigaci on acerca de la producci on masiva de reglas de conocimiento a partir del conocimiento almacenado en esta vista. Una ventaja de un sistema de estas caracter sticas es que el mismo podr e acceder a un gran n omero de fuentes de conocimiento sin tener que conocer c omo acceder a cada una de ellas y obtener conclusiones (nuevas reglas de conocimiento) a partir de grandes cantidades de datos, de manera que estas sean m as objetivas e imparciales al estar basadas en un conocimiento mucho m as rico, amplio y diversi cado, permitiendo producir sistemas capaces de entregar respuestas m as precisas y justas a las consultas realizadas a un agente aut onomo con estas capacidades.Eje: Agentes y sistemas inteligentesRed de Universidades con Carreras en Informática (RedUNCI

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

Definición de la infraestructura para procesos masivos de argumentación mediante aplicación de revisión de creencias y argumentación sobre ontologías 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 frecuentemente expresado a través de ontologías que pueden ser compartidas por los sistemas que utilizan el mismo. En la presente investigación se busca la definición de métodos automáticos de resolución de conflictos en ontologías Datalog+/-. En base a lo logrado en este aspecto se buscará la adaptación del framework desarrollado para su aplicación tanto en la creación de federaciones de Bases de Datos (Data Federation) como en el intercambio de datos (Data Exchange). En estos campos de aplicación estos métodos podrán contribuir brindando la posibilidad de obtener de forma automática un esquema universal que respete tanto como sea posible a los originales manteniendo la coherencia del mismo con respecto a las restricciones de integridad impuestas a los datos, y definiendo que datos pueden ser mantenidos en la federación resolviendo incoherencias en el proceso. Adicionalmente, se analizarán posibles extensiones a Datalog+/- basadas en formalismos de Argumentación Rebatible, teniendo en cuenta aspectos como la definición de relaciones de inferencia para estas ontologías aumentadas que tengan en cuenta los aspectos no-monótonos de la Argumentación Rebatible, o el impacto de tales relaciones en las conclusiones finales obtenidas y la complejidad de la obtención de las mismas.Eje: Agentes y Sistemas InteligentesRed de Universidades con Carreras en Informática (RedUNCI

DBI-DeLP: a framework for defeasible argumentation over databases

Nowadays Argumentation Systems in general, and DeLP in particular, build arguments based on the context of a single and xed logical program. This leads to a practical limitation regarding the volume of data in which the argumentation is supported, because integration of constantly updated external data only can be made by the "hard-coding" of facts (i.e., the explicit codi cation of facts in the program), which is inne cient for massive data. This paper introduces Database Integration for Defeasible Logic Programming (DBI-DeLP), a framework that integrates Defeasible Argumentation with Databases that may be updated by other external applications, allowing the execution of argumentation processes based on masive external sources of data.Presentado en el XII Workshop Agentes y Sistemas Inteligentes (WASI)Red de Universidades con Carreras en Informática (RedUNCI