Argumentacion Rebatible y Ontologias En La Web Semantica (Spanish, Paperback)

La Web Semantica es una vision futura de la web donde la informacion tiene significado exacto definido en terminos de ontologias codificadas en Logicas para la Descripcion (DL), permitiendo asi que las computadoras entiendan y razonen en base a ella. La Programacion en Logica Rebatible es un formalismo basado en la argumentacion rebatible y la Programacion en Logica que permite razonar en presencia de inconsistencia e incompletitud. La importancia de la definicion de ontologias junto con la presencia de ontologias incompletas y potencialmente contradictorias motivo el desarrollo de un marco de razonamiento llamado de las delta-ontologias, el cual es presentado en esta obra. Como un subconjunto importante de las Logicas para la Descripcion puede ser interpretado en la Programacion en Logica, nuestra propuesta consiste asignar semantica a ontologias expresadas en Logicas para la Descripcion por medio de Programas Logicos Rebatibles para lidiar con definiciones de ontologias inconsistentes en la Web Semantica. Analizamos las propiedades formales que se desprenden de este acercamiento novedoso al tratamiento de ontologias inconsistentes en la Web Semantica y presentamos casos de estudio."