La Telaraña Semántica - De la filosofía a la técnica y vuelta. Cuestiones ontológicas

No deja de ser extraño que cuanto mas penetramos en las cuestiones técnicas y abstractas de la web semántica, en realidad lo que hacemos es volvernos cada vez mas filosóficos. No hay duda de que existen afinidades profundas entre Internet y la filosofía tal como lo detectaramos cuando nos encontramos con los ontólogos Yang y Filo de Yahoo! en los albores de la categorización de los sitios de la red [9].

Efectivamente. No alcanza con tener bases de datos codificadas en Internet, porque dos pueden usar diferentes identificadores para el mismo concepto, como es el caso por ejemplo de los códigos postales[10].

Un programa comparador o combinador de información entre dos bases de datos tiene que saber que estos dos términos están siendo utilizadados para significar la misma cosa. En principio sería harto deseable que el programa pudiera descubrir esos significados comunes cada vez que los encuentra en las bases mas distintas o alejadas concebibles.

Para solucionar este importante problema la Web Semántica acude a un tercer concepto (los dos anteriores fueron los RDF y los URIS), es decir a los conjuntos de información llamados ontologías. En la jerga de la Inteligencia Artificial una ontología es un documento o archivo que define formalmente las relaciones entre los términos. La ontología mas básica de la web tiene una taxonomía y un conjunto de reglas de inferencia.

Segun Berners-Lee la taxonomía define clases de objetos y las relaciones que los unen. Así una dirección puede definirse como un tipo de lugar y los códigos de las ciudades pueden definirse como válidos solo para lugares.

Aunque a nosotros nos suene demasiado abstracto y matemático las clases, subclases y relaciones entre entidades son una herramienta muy poderosa para el uso de la web.

Se pueden expresar gran cantidad de relaciones entre entidades asignándoles propiedades a las clases y permitiendo que las subclases hereden esas propiedades. Si los códigos postales tiene que ser del tipo ciudad, y las ciudades generalmente tienen sitios Web, podemos discutir los sitios web asociados a un código de ciudad aunque no haya ningún link de un código de ciudad que apunte directamente a un sitio web.

Las reglas de inferencia en la ontologías proveen mas poder aun. Una ontología puede expresar la regla "Si un código de ciudad está asociado a un código de estado, y si una dirección es el código de ciudad, entonces esa dirección tiene el código de estado asociado". Un programa podría entonces sin dificultad deducir que una dirección de la Universidad de Cornell University, al estar en la ciudad de Ithaca, debe estar en el Estado de Nueva York, que queda en USA, y debería por lo tanto estar formateado según los estandares de USA. La computadora no "entiende" nada de lo que está procesando, pero puede manipular los términos de modo mucho mas eficiente produciendo ganancia para la inteligibilidad humana.

Las ontologías pueden mejorar el uso de la web en muchos sentidos. Desde facilitar las búsquedas haciendo que los buscadores se fijen en páginas concretas y no en palabras ambiguas. Mucho mas interesante es el caso en que las ontologías pueden vincular informaciones en una página a las estructuras de conocimiento y a las reglas de inferencia asociadas.

Esto ya se puede comprobar visitando la página **http://www.cs.umd.edu/~hendler**∞. Al dirigirnos a esa dirección veremos la página común "Dr. James A. Hendler." Como humanos que (todavía somos) encontraremos un link que lleva a una corta nota biográfica y nos cuenta que Hendler recibió su doctorado en Brown University adonde George Landow y otros llevaron adelante su monumental proyecto sobre hipertexto.

Esto que nosotros hacemos espontáneamente sería una tarea infernal para una computadora que para obtener esa información necesitaría de una programa colosal. Por eso las computadoras en vez de ver es apagina ven un pagina de ontología que define la información acerca de departamentos de ciencia de la computación.

También este lenguaje permite desarrollar programas jamas de dar cuenta e preguntas sofisticadas cuya respuesta no esta en una sola pagina.