Lenguajes de Ontologías

Gustavo Núñez, Alvaro Rodriguez, Oscar Sena

Eligiendo Lenguajes

Ya establecidos• OIL• DAML+OIL• OWL

Nuevas tendencias• Familia WSMO

RDF Schema

• RDF Schema: Lenguaje de propósito general para representar información en la web. El esquema define propiedades del recurso: Título, Autor, tema, tamaño etc.

• Propuesto por W3C en Dic 2003

• Recomendado por W3C en Feb 2004

OIL

• Construido sobre RDF y RDF Schema, avanza en su alcance manteniendo compatibilidad hacia atrás. Provee primitivas para modelado usadas en Ontologías basadas en frames y orientadas a Description Logic

OIL (Unifica tres aspectos procedentes de tres comunidades

distintas)• Semántica formal y soporte a razonamiento

eficiente provisto por Description Logic• Primitivas de Modelado ricas desde el punto

de vista epistemiológico provistas por la comunidad basada en Frames

• Propuesta estándar para intercambio sintáctico provisto por la comunidad Web

• Ya no evoluciona más.....

DAML+OIL (Heredero natural de OIL)

• Lenguaje ontológico diseñado específicamente para Web Semántica

• Explota estándar de facto como XML y RDF

• Agrega primitivas ontológicas de OO y de Frame + rigor de Description Logic

• Ya no evoluciona mas.. (últimos drafts de 2001)

OWL

• Lenguaje de ontologías web desarrollado por el WebOnt Group de W3C

• Basado en OIL y DAML+OIL

• Incluye tres sub-lenguajes:– OWL-Lite– OWL-DL– OWL-Full

OWL-Lite

• Alto nivel: RDF + cardinalidad 0 / 1

• Representa un pasaje para migración desde otras taxonomías.Orientado a clasificación de jerarquías y restricciones simples. Se plantea que quede lo mas simple posible para facilitar su desarrollo

OWL-DL

• Contiene los constructores del lenguaje pero con restricciones jerárquicas

• Provee completitud computacional

• Decidability..

• Máximo poder expresivo dentro de Description Logic

OWL-FULL

• Posee vocabulario completo interpretado mas ampliamente que en OWL-DL.

• Máximo poder expresivo y libertad sintáctica

• No ofrece garantías computacionales

OWL

• Está en “pruning stage” no se preven modificaciones mayores.

• WebOnt: esfuerzos orientados a SWBPD

(Semantic Web Best Practices and Deployment Working Group)

WSMO Project

• Web Service Modelling Ontology , proyecto mayoritariamente europeo.

En el contexto de tres proyectos europeos:

SEKT, DIP, Knowledge Web

• 2 subproyectos:– WSML (Web Service Modelling Language)– WSMX (Web Service Execut.Environment)

WSML

• OWL-Lite-• OWL-Flight• OWL-DL-• OWL-Full-• WSML-Core

Estos lenguajes se están desarrollando en contextos específicos , principalmente en Descripción de Servicios Web, son valiosos por si mismos

OWL-Lite-

• La OWL-Lite- es un subconjunto propio de OWL-Lite traducible a Datalog

• Restringe la sintáxis y semántica

• Extensible directamente para incorporar restricciones para cardinalidad y valor estilo base de dato. En Datalog las reglas pueden ser agregadas sobre la ontología.

OWL-Flight

• OWL-Lite- vence algunas de las limitaciones de OWL-Lite, pero con expresividad reducida

• No provee Datatypes • OWL-Flight

– Soporte tipos de datos– Restricciones, clases etc.

WSML-Core

• Combina OWL-Lite- y el meta-modelo conceptual para ontologías de WSMO

• Representa la intersección entre dos paradigmas de representaciones del conocimiento:– Description Logic– Lenguajes de Reglas

Extensiones de Reglas

• No incluidas en OWL

• RDF: TRIPLE, lógica de Horn, F-logic

• OWL: SWRL, DL + Lite, reglas de Horn

Bibliografía

• [ZHDANO 2005] Zhdanova A, Keller U, 'Choosing an Ontology Language', Transactions on Engineering Computing and Technology V4 February 2005, ed: World Enformatika Conference, Istambul 2005, disponible en Internet <http://www.enformatika.org/data/v4/v4-13.pdf>,

accedido el 12/08/2006