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