ONTOLOGIA Y LA WEB SEMANTICA.

Las ontologías son teorías formales acerca de un dominio de discurso y por eso requieren de un lenguaje lógico formal para ser expresadas. En el área de IA se han desarrollado muchos lenguajes para este fin. Algunos basados en Lógica de predicados de primer orden.
Emplear el poder de razonamiento automático para guiar el acceso a orígenes de información requiere de representación de la semántica de tales orígenes de manera procesable por computador, en consecuencia, se requieren metadatos que describan de una manera computable, dichos orígenes.
Algunos problemas surgen cuando se trata con grandes cantidades de información semiestructurada:
• Los actuales buscadores basados en palabras clave suelen devolver información irrelevante
• Actualmente se requiere lectura humana para extraer información relevante de un texto pues las computadoras no tienen el sentido común
• La utilidad de sitios web adaptativos que permitan su reconfiguración dinámica de acuerdo al perfil del usuario u otros aspectos relevantes, requiere una representación computable de la semántica involucrada.
Se pueden enriquecer los orígenes de información de manera declarativa, con comentarios que provean de su semántica de manera interpretable para un computador.
Lenguajes para la Web
Recomendados como estándares por la W3C, o candidatos a serlo, algunos de las cuales han ganado mucha popularidad, se describen a continuación XML, XML Schema, RDF y RDF Schema.
XML,
que permite que los creadores de páginas web, usen su propio conjunto de etiquetas de demarcación (markup-tags)
Es un estándar que, junto con su norma asociada Xml schema, permite definir tipos de documentos y los conjuntos de etiquetas necesarias para codificarlos. La idea es que, una vez están marcados o codificados con una colección de etiquetas xml, es posible procesarlos y explotarlos de forma automática con diversos propósitos, de la misma manera que un grupo de registros de una base de datos se puede emplear de formas diversas, e incluso exportarse a diferentes sistemas de gestión de bases de datos si la estructura de registros sigue algún tipo de estándar.

RDF
XML provee información semántica como un subproducto de definir la estructura del documento, ya que define una estructura en árbol para un documento de manera que las hojas del mismo contienen la información. Se puede observar entonces que la estructura y la semántica de un documento XML están entrelazadas.
OIL: Una Ontología para la Web
En su concepción Oil unifica tres importantes aspectos provistos por diferentes comunidades la semántica formal y el soporte eficiente para razonamiento provisto por Description Logics, el enriquecimiento epistemológico de las primitivas provistas por los Frames y una propuesta estándar para notación de intercambio propuesta por la comunidad Web