Una posible solución para la escalabilidad del razonamiento automático con ontologías

En lógica matemática, una teoría T es una extensión conservativa de T’ cuando toda consecuencia lógica de T en el lenguaje de T’ es demostrable también en T’. En el campo de la Ingeniería Ontológica, la aplicación de esta noción a la hora de construir extensiones ontológicas permitiría desarrollar herramientas de razonamiento contextual con el […]

Ficción cartográfica: el engaño de Google Earth, variedades de Riemann y el negocio de la imagen por satélite

La deficiencia (y el peligro) fundamental de las fotos por satélites es que están desprovistas de semántica. El proyecto de la Web Semántica Geoespacial pretende paliar esa ausencia de interpretación. Esta idea es el corazón de la conferencia a la que asistí ayer en el evento zemos98. Fue una interesantísima conferencia de Lisa Parks donde […]

Twine. Primeras sensaciones en la “ola metaweb”

Dos proyectos metaweb, Twine y Freebase pueden revolucionar la concepción de las redes sociales en la WWW en los próximos meses. Y no sólo por las inversiones que están consiguiendo, sino por el planteamiento revolucionario de sus objetivos. La filosofía de las dos es similar: combinar técnicas propias de la Web semántica con la filosofía […]