BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Departamento de Computación - ECPv6.15.18//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:Departamento de Computación
X-ORIGINAL-URL:https://www.dc.uba.ar
X-WR-CALDESC:Eventos para Departamento de Computación
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:America/Sao_Paulo
BEGIN:STANDARD
TZOFFSETFROM:-0200
TZOFFSETTO:-0300
TZNAME:-03
DTSTART:20190217T020000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20200407T163000
DTEND;TZID=America/Sao_Paulo:20200407T173000
DTSTAMP:20260611T082056
CREATED:20200402T141424Z
LAST-MODIFIED:20200402T141424Z
UID:5841-1586277000-1586280600@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Pablo Fromer
DESCRIPTION:Título: «Datalog +/-\, una interfaz tolerante a la inconsistencia»\nDirectores: Maria Vanina Martinez y Ricardo O. Rodriguez\nJurados: Santiago Figueira (UBA)\,  Cristhian Ariel D. Deagustini   (Universidad Nacional de Entre Ríos)\n\nLa misma será transmitida al público general a través del siguiente link:\nhttps://us04web.zoom.us/j/949570064\n\n\n\nSolicitamos 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 \n\n\nResumen:\nDurante mucho tiempo se ha estudiado el problema de manejar la inconsistencia. En los últimos años\, ha habido un\ncreciente interés en este tema con el advenimiento de la Web Semántica\, que ha hecho que este asunto sea aún más\nrelevante; 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.\nEl 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.\nDistintas 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\nque 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.\nEnmarcaremos este problema en el contexto de Datalog +/-\, una familia de extensiones de Datalog que permite cuantificar variables existencialmente en la implicaciones lógicas.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-pablo-fromer/
CATEGORIES:Agenda
END:VEVENT
END:VCALENDAR