TY - SER AU - Martínez Santiago, Fernando AU - Montejo Ráez, Arturo AU - García Cumbreras, Miguel Angel TI - Representación formal de la estructura lógica de sitios web y su aplicación a un navegador web multilingue basado en diálogo KW - LOGICA DE PREDICADOS PRIMER ORDEN KW - LPO KW - WEB LOGIC FORMS KW - WLF KW - WEB LOGIC FORMS RULES KW - WLFR KW - HTML KW - GESTOR DE DIALOGO KW - NAVEGADOR WEB N1 - Un problema bien conocido de HTML es el pobre contenido semántico de sus etiquetas, dejando la tarea de interpretar los distintos elementos y secciones que conforman el sitio web al usuario. Frente a ello, iniciativas como la web semántica proponen percibir la web como una red de ontologías de manera que el significado de un sitio web sea computacionalmente accesible ER -