Elaboración de Ontologias

UNIVERSIDAD AUTONOMA DE CHIHUAHUA

FACULTAD DE INGENIERIA


TAREA 2do parcial: "Aplicación de las reglas de inferencia en la elaboración de ontologías"











Definición de OWL
OWL es el acrónimo del inglés Web Ontology Language, un lenguaje de marcado para publicar y compartir datos usando ontologías en la WWW. OWL tiene como objetivo facilitar un modelo de marcadoconstruido sobreRDF y codificado en XML.
Tiene como antecedente DAML+OIL, en los cuales se inspiraron los creadores de OWL para crear el lenguaje. Junto al entorno RDF y otros componentes, estas herramientas hacen posible el proyecto de web semántica.

Antecedentes
La llegada de la llamada "web semántica" que supone para muchos la realización del futuro de Internet está cada vez más cerca, gracias aldesarrollo de la infraestructura necesaria para la aplicación a grande escala de las ontologías que forman la base de este gran proyecto, de Tim Berners-Lee, creador de Internet.

Según el servicio de Cordis, IST Results, que informa sobre el estado de la investigación en temas relacionados con Internet y tecnologías informáticas, hoy el lenguaje de ontologías web está preparado para entrar enla última fase de realización de la web semántica.

Las ontologías forman la base de la web semántica porque definen teorías sobre dominios compartidos y comunes, y permiten que las personas y los aparatos se comuniquen de forma más eficaz. También juegan un papel fundamental en hacer posible el acceso, interoperabilidad y comunicación de contenidos por la Red.

El proyecto WonderWeb IST cuyamisión era crear la infraestructura ontológica para la nueva web semántica ha logrado en tan solo tres años todos sus objetivos principales, incluido la estandarización del lenguaje de ontología OWL, el desarrollo del entorno KAON para ingeniería de ontología, la creación de la biblioteca digital de documentos sobre ontología y el desarrollo de un marco de modularización de ontología. Además, seha logrado desarrollar nuevas técnicas para la anotación semi-automática de sitios web dinámicos y la investigación de técnicas alternativas de razonamiento.

El Lenguaje de Ontologías Web (OWL) supone una recomendación del conocido World Wide Web Consortium (W3C). En palabras del profesor Horrocks, OWL es un "lenguaje de representación del conocimiento descriptivo y basado en lógica". Aplicación
Inferencia y Clases
• La ontología personas y animales contiene un conjunto de clases y propiedades que ilustran aspectos particulares del razonamiento en OWL.
• Podemos hacer inferencia sobre relaciones entre las clases, en particular entre clases.
• A incluye B cuando una instancia de B debe ser necesariamente una instancia de A.
Inferencia e Individuos
• Además, el modelocontiene una serie de individuos.
• Podemos hacer inferencia sobre individuos, en particular inferir que individuos particulares deben ser instancias de ciertas clases.
– Esto ocurre debido a las relaciones de inclusión entre clases, o por las relaciones entre individuos.
Suposición “Unique Name
Assumption” • El Unique Name Assumption (UNA) dice que dos individuos con diferentes nombres sonindividuos distintos.
• La semántica de OWL no hace el UNA.
– Hay mecanismos en el lenguaje (owl:differentFrom y owl:AllDifferent) que permiten establecer que individuos son diferentes.
• Sin embargo, muchos razonadores DL asumen UNA.
– En los siguientes ejemplos se asume que los individuos son distintos.
Ejemplo 1:
Bus Drivers are Drivers
• A bus driver is a person that drives a bus
• Abus is a vehicle
• A bus driver drives a vehicle, so must be a driver
• The subclass is inferred due to subclasses being used in existential quantification.

Traducción:
Los choferes de camión son choferes
* Un chofer de camión es una persona que maneja un camión
*Un camión es un vehículo
*Un chofer de camión maneja un vehículo, así que debe de ser un chofer
Ejemplo 2:
Cat Owners like...