Argumentacion Rebatible y Ontologias En La Web Semantica

ISBN-13: 9783659044687 / Hiszpański / Miękka / 2012 / 384 str.

Sergio Alejandro G. Mez

Opis

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."

O autorze

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).