Argumentación Rebatible y Ontologías en la Web Semántica

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.