En anteriores posts he hablado de algunos aspectos sobre la semántica emergente en redes sociales. Quizás el caso que podría parecer más extremo (en cuanto a limitación semántica) es Twitter. Ya comenté en el post La semántica emerge en cualquier red que mediante los nanoformatos se podían añadir etiquetas de tipo semántico a los mensajes en twitter. Esta técnica, auxiliada con un trazador, es decir, un buscador específico para twitter, permitiría obtener contenidos coherentes. Por ejemplo, con la etiqueta tag podríamos, mediante búsqueda, recopilar una colección de mensajes sobre un tema concreto. Desde cierto punto de vista, los nanoformatos pueden ser considerados como una poderosa técnica de estigmergia (es decir, una migaja puesta en el entorno -twitter- que los agentes pueden seguir) para la obtención de conocimiento más rico de los mensajes. La estigmergia es el método de comunicación indirecta propia de sistemas multiagente con poco knowledge level.
Sobre el buscador para Twitter, véase por ejemplo Twitterment, que también nos permite comparar entre sí dos etiquetas (lo que sería útil si utilizáramos etiquetas de tipo negativo, es decir, etiquetas que resten importancia al mensaje con respecto a otros que componen la conversación)
La integración semántica del conocimiento de una empresa es una poderosa herramienta que en el futuro espero sea considerada como tal. En esta época en la que los mecanismos contables y de estimación se enfrentan al problema de estimar el valor de una empresa (por ejemplo, en la Web 2.0), surge como posibilidad el diseño y construcción de ontologías que, en base a su articulación con la propia de cada empresa, permita detectar activos intangibles. Hay que tener en cuenta que son esos activos los principales en empresas de la era del conocimiento. Aunque la propia construcción de una ontología de este tipo es un reto considerable, creo que sería muy útil para muchas empresas de consultoría. Véase el 
Este post trata directamente sobre el tema de investigación del grupo al que pertenezco, dentro del marco del proyecto TIN titulado: Sistemas verificados para el razonamiento en la Web Semántica. El objetivo: construir demostradores automáticos formalmente verificados para razonar con ontologías. Es decir, completar la confianza objetivo de la Web Semántica con la supraconfianza lógica, es decir, los propios razonadores son fiables (están verificados). Dificultades: no existe nada parecido, sólo algunas especificaciones sobre ACL2 y PVS pero no son completas. He participado modestamente en el diseño de la especificación en 
