La lengua de la ontología Web ( OWL ) es una familia de representación de conocimiento lenguajes de creación de ontologías . Las ontologías son una forma formal de describir taxonomías y redes de clasificación, esencialmente definiendo la estructura del conocimiento para varios dominios: los sustantivos que representan clases de objetos y los verbos que representan relaciones entre los objetos.
Las ontologías se asemejan a las jerarquías de clases en la programación orientada a objetos, pero existen varias diferencias críticas. Las jerarquías de clases están destinadas a representar estructuras utilizadas en el código fuente que evolucionan con bastante lentitud (quizás con revisiones mensuales), mientras que las ontologías están destinadas a representar información en Internet y se espera que evolucionen casi constantemente. Del mismo modo, las ontologías suelen ser mucho más flexibles, ya que están destinadas a representar información en Internet procedente de todo tipo de fuentes de datos heterogéneas. Las jerarquías de clases, por otro lado, tienden a ser bastante estáticas y dependen de fuentes de datos mucho menos diversas y más estructuradas, como las bases de datos corporativas. [1]
Los lenguajes OWL se caracterizan por la semántica formal . Se basan en el estándar XML del World Wide Web Consortium (W3C) para objetos denominado Resource Description Framework (RDF). [2] OWL y RDF han atraído un gran interés académico, médico y comercial.
En octubre de 2007, [3] se inició un nuevo grupo de trabajo del W3C [4] para ampliar OWL con varias características nuevas propuestas en la presentación de miembros de OWL 1.1. [5] W3C anunció la nueva versión de OWL el 27 de octubre de 2009. [6] Esta nueva versión, llamada OWL 2, pronto encontró su camino en editores semánticos como Protégé y razonadores semánticos como Pellet, [7] RacerPro, [8 ] FaCT ++ [9] [10] y HermiT. [11]
La familia OWL contiene muchas especies, serializaciones, sintaxis y especificaciones con nombres similares. OWL y OWL2 se utilizan para hacer referencia a las especificaciones de 2004 y 2009, respectivamente. Se utilizarán los nombres completos de las especies, incluida la versión de la especificación (por ejemplo, OWL2 EL). Al referirse de manera más general, se utilizará OWL Family . [12] [13] [14]
Existe una larga historia de desarrollo ontológico en filosofía e informática. Desde la década de 1990, una serie de esfuerzos de investigación han explorado cómo la idea de representación del conocimiento (KR) a partir de la inteligencia artificial (IA) podría resultar útil en la World Wide Web. Estos incluían lenguajes basados en HTML (llamado SHOE ), basados en XML (llamado XOL, más tarde OIL ) y varios lenguajes KR basados en marcos y enfoques de adquisición de conocimientos.