Este evento ha pasado.
Defensa Tesis Licenciatura Pablo Fromer
7 abril, 2020 @ 4:30 pm - 5:30 pm
Título: «Datalog +/-, una interfaz tolerante a la inconsistencia»
Directores: Maria Vanina Martinez y Ricardo O. Rodriguez
Jurados: Santiago Figueira (UBA), Cristhian Ariel D. Deagustini (Universidad Nacional de Entre Ríos)
La misma será transmitida al público general a través del siguiente link:
Solicitamos encarecidamente que por favor al conectarse silencien sus microfonos. Si alguien tiene problemas para conectarse, les rogamos nos envíen un mail y trataremos de solucionar el inconveniente: mvmartinez@dc.uba.ar o ricardo@dc.uba.ar
Resumen:
Durante mucho tiempo se ha estudiado el problema de manejar la inconsistencia. En los últimos años, ha habido un
creciente interés en este tema con el advenimiento de la Web Semántica, que ha hecho que este asunto sea aún más
relevante; teniendo en cuenta que en ambientes abiertos, con fuentes de información proveniente de diversos orígenes, es habitual que surjan contradicciones entre los datos. Existen dos enfoques para lidiar con la inconsistencia en bases de conocimiento: el primero consiste en que dada una base de conocimiento inconsistente, se debe arreglarla de una manera optimal; lo cual puede implicar cambios en la teoría lógica subyacente tanto como agregar o quitar sentencias de la base.
El segundo enfoque se basa en considerar todas las maneras posibles de arreglar esa base de conocimientos «on the fly», es decir al momento de realizar las consultas. De alguna manera se «convive» con la inconsistencia. En este trabajo nos concentraremos en el segundo enfoque.
Distintas aproximaciones se pueden considerar también al momento de erradicar la consistencia; existen para esto diferentes semánticas, algunas más restrictivas que otras, y con diferente grado también de complejidad computacional. Queremos presentar aquí los diferentes enfoques que se han propuesto en este campo para el caso de lenguajes ontológicos, basados en reglas, y presentar también un algoritmo que ayude a resolver el problema de la inconsistencia de manera eficiente. Teniendo en cuenta que la semántica AR, es la semántica más aceptada para query answering en ontologías potencialmente inconsistentes, nuestra intención es encontrar una forma de poder responder consultas bajo esta semántica achicando el espacio de búsqueda con un heurística adecuada. Por otro lado, nuestra motivación se basa también en presentar una herramienta que le permita al usuario lidiar con la inconsistencia de manera amigable, dándole además la posibilidad de resolverla, y de comparar los resultados
Distintas aproximaciones se pueden considerar también al momento de erradicar la consistencia; existen para esto diferentes semánticas, algunas más restrictivas que otras, y con diferente grado también de complejidad computacional. Queremos presentar aquí los diferentes enfoques que se han propuesto en este campo para el caso de lenguajes ontológicos, basados en reglas, y presentar también un algoritmo que ayude a resolver el problema de la inconsistencia de manera eficiente. Teniendo en cuenta que la semántica AR, es la semántica más aceptada para query answering en ontologías potencialmente inconsistentes, nuestra intención es encontrar una forma de poder responder consultas bajo esta semántica achicando el espacio de búsqueda con un heurística adecuada. Por otro lado, nuestra motivación se basa también en presentar una herramienta que le permita al usuario lidiar con la inconsistencia de manera amigable, dándole además la posibilidad de resolverla, y de comparar los resultados
que se obtendrían al ejecutar consultas bajo la semántica AR y la semántica IAR, siendo la segunda más restrictiva que la primera.
Enmarcaremos este problema en el contexto de Datalog +/-, una familia de extensiones de Datalog que permite cuantificar variables existencialmente en la implicaciones lógicas.
