Read more
La Web Semántica es una visión futura de la web donde la información tiene significado exacto definido en términos de ontologías codificadas en Lógicas para la Descripción (DL), permitiendo así que las computadoras entiendan y razonen en base a ella. La Programación en Lógica Rebatible es un formalismo basado en la argumentación rebatible y la Programación en Lógica que permite razonar en presencia de inconsistencia e incompletitud. La importancia de la definición de ontologías junto con la presencia de ontologías incompletas y potencialmente contradictorias motivó el desarrollo de un marco de razonamiento llamado de las delta-ontologías, el cual es presentado en esta obra. Como un subconjunto importante de las Lógicas para la Descripción puede ser interpretado en la Programación en Lógica, nuestra propuesta consiste asignar semántica a ontologías expresadas en Lógicas para la Descripción por medio de Programas Lógicos Rebatibles para lidiar con definiciones de ontologías inconsistentes en la Web Semántica. Analizamos las propiedades formales que se desprenden de este acercamiento novedoso al tratamiento de ontologías inconsistentes en la Web Semántica y presentamos casos de estudio.
About the author
Analista en Computación y Licenciado en Informática en la Universidad Nacional de La Plata, Magíster y Doctor en Ciencias de la Computación de la Universidad Nacional del Sur (UNS), Profesor Adjunto en la UNS y Profesor Asociado Ordinario en la Facultad Regional Bahía Blanca de la Universidad Tecnológica Nacional (Arg).
