摘要:Tim Berners-Lee y sus colegas del World Wide Web Consortium (W3C) llamaron «Semantic Web» al que sería el siguiente estadio de desarrollo de la red (inevitablemente traducido al castellano como Web Semántica). La idea detrás de esta evolución de la red es extender con metadatos y reglas lógicas la red basada en el lenguaje html, con el objetivo de que la infraestructura resultante permita a las máquinas entender los datos de la red de la misma forma que los entendemos los humanos. Así, añadir lógica a la red permitiría a los ordenadores tomar decisiones, hacer inferencias y responder preguntas. En este texto se pretende revisar las lógicas que han sido propuestas para permitir esta nueva web inteligente y repasar las cuestiones teóricas y pragmáticas más importantes de la corta pero intensa historia de las lógicas para la red.
关键词:web semántica;lógica descriptiva;lenguajes de ontologías;lógicas para la web.