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 fin de pensar en las ontologías como un conjunto de módulos.
De hecho, se puede pensar que la teoría de E-conexiones desarrolladas para el razonamiento automático es una forma práctica de pensar en ese tipo de módulos. En un artículo que vamos a enviar, hemos desarrollado un método para retraer de manera conservativa las teorías, de forma que la teoría (ontología) original sea una extensión conservativa de la que obtenemos (que se localiza en un lenguaje concreto). Este primer método está diseñado para la lógica proposicional, y esperamos extenderlo para sublenguajes de lógica descriptiva susceptibles de ser usados en el razonamiento con taxonomías o folksonomías. De hecho, disponemos de una aplicación del método para resolver problemas en el Análisis Formal de Conceptos, la teoría sobre la conexión de Galois establecida entre objetos y atributos.
Dos proyectos metaweb, 
nuevos de los temas que deseen, también el sistema etiqueta automáticamente, facilita mediante consejos las conexiones sociales entre los usuarios y agiliza de manera espectacular el seguimiento de los twines a los que nos hemos apuntado. Por tanto, aunque se puede considerar una forma de meta-web (una web donde podríamos vivir sin salir a la WWW) como lo pretende facebook, personalmente creo que desborda ese objetivo y, previsiblemente, los objetivos de facebook. Apunta mucho más lejos, a un acercamiento puramente emergente al grafo social semántico, donde la propia dinámica de la comunidad de usuarios, una vez se generen nuevas aplicaciones sobre Twine, permita enrollar en los correspondientes ovillos la ingente cantidad de información generada y que se genera sobre los temas de interés (por ejemplo, el propio conocimiento de Freebase).
El tiempo de la Freenomics u otras iniciativas, muchas de ellas basadas en contratos sociales (y no mercantiles) deberá dejar paso, inexorablemente, a una etapa de especificación de estrategias, modelos de ingreso y ganancias emergentes.
argumentó con variados ejemplos los peligros, ventajas y posibilidades culturales de la web geoespacial (presentando ejemplos de censura, trazabilidad de producción, spam locativos, etc.). Ilustró sus ideas con dos ejemplos artísticos. Un primero, el dibujo que sirvió como base para el cartel de esta edición de inclusiva (que lo usé en el post sobre la segunda jornada, un bufón que tiene como rostro un mapa del mundo, de autor desconocido pero que firmaba como “ciudadano del mundo”) representaría la idea de psicogeografía, es decir, que en la representación del espacio no sólo la ciencia (físico-matemática) juega un papel relevante, también entran en juego creencias, opiniones e ideas (como se puso de manifiesto en la conferencia de Jean Olivier ya comentada en otro post). El segundo ejemplo, la ciudad Ersilia
(descrita en el libro Ciudades invisibles de Italo Calvino), le sirve como ejemplo de la trazabilidad de las relaciones y actividades humanas en el espacio fís¡co, tema de muchas de las comunicaciones que se han presentado.
