Lenguaje de Ontología Web (OWL)

Web Ontology Language (OWL) extiende RDF y RDFS. Su objetivo principal es llevar la expresividad y la capacidad de razonamiento de la lógica de descripción a la web semántica. Desafortunadamente, no todo lo que existe en RDF puede expresarse en DL. Por ejemplo, las clases de clases no están permitidas en la DL elegida, y algunas expresiones en tripletas no tendrían sentido en DL. Por ello, OWL solo puede ser una extensión sintáctica de RDF/RDFS (nótese que RDFS es tanto una extensión sintáctica como semántica de RDF). Para superar parcialmente este problema, y también para permitir una estratificación dentro de OWL, se definen tres variantes de OWL.

OWL Lite puede utilizarse para expresar taxonomías y restricciones simples, como cardinalidad 0 y 1. Es el lenguaje OWL más simple y corresponde a la lógica de descripción SHIF. OWL DL ofrece la máxima expresividad manteniendo completitud computacional y decidibilidad. La sigla DL en el nombre indica que está pensado para soportar las capacidades de la lógica de descripción. OWL DL corresponde a la lógica de descripción SHOIN. OWL Full no tiene restricciones de expresividad, pero tampoco garantiza propiedades computacionales. Está formado por todo el vocabulario de OWL, pero no impone restricciones sintácticas, de modo que puede aprovecharse toda la libertad sintáctica de RDF.

Estos tres lenguajes están estratificados en el sentido de que toda ontología válida de OWL Lite es una ontología válida de OWL DL, toda ontología válida de OWL DL es una ontología válida de OWL Full, toda conclusión válida de OWL Lite es una conclusión válida de OWL DL, y toda conclusión válida de OWL DL es una conclusión válida de OWL Full. Las inversas de estas relaciones no se cumplen en general. Además, toda ontología OWL es un documento RDF válido (es decir, las expresiones de DL se mapean a tripletas), pero no todos los documentos RDF son documentos válidos de OWL Lite o de OWL DL. En este texto nos interesa principalmente OWL DL. Si no indicamos lo contrario, por OWL entenderemos OWL DL en el resto del texto.