Semántica de OWL DL

La sintaxis y la semántica de descripciones, rangos de datos, propiedades, individuos y valores de datos en OWL DL se resumen en la primera tabla siguiente, mientras que los axiomas y hechos de OWL DL se resumen en la segunda tabla siguiente. Como puede verse, OWL DL es la lógica de descripción SHOIN con soporte para valores de datos, tipos de datos y propiedades de tipo de dato, es decir, SHOIN(D); pero, dado que OWL se basa en RDF(S), la terminología difiere ligeramente. Un concepto de DL se denomina clase en OWL y un rol de DL se denomina propiedad en OWL. Para la descripción de una ontología OWL o de una base de conocimiento puede utilizarse la sintaxis de DL. Existe una sintaxis "abstracta" tipo LISP definida que es más fácil de escribir en el conjunto de caracteres ASCII (véanse también la primera y la segunda tabla siguiente). Dado que OWL está incrustado sintácticamente en RDF, pueden usarse todas las serializaciones RDF. RDF/XML es la sintaxis normativa y debería usarse para intercambiar información entre sistemas.

Sintaxis y semántica de descripciones, rangos de datos, propiedades, individuos y valores de datos en OWL DL

Axiomas y hechos de OWL DL