OWL: Ontology Web Language Asignatura Doctorado 2007 (Francisco José Galán Morillo)

Slides:



Advertisements
Presentaciones similares
IBD Plan 90 y 2003 Clase 11.
Advertisements

Seminario: Expresividad semántica y lógica de segundo orden
Introducción al Teorema de Gödel Eduardo Alejandro Barrio UBA - CONICET 2do Cuatrimestre de 2009 Eduardo Alejandro Barrio UBA.
Introducción al Teorema de Gödel Eduardo Alejandro Barrio UBA - CONICET 2do Cuatrimestre de 2009 Eduardo Alejandro Barrio UBA.
Diseño y análisis de algoritmos
MATEMATICAS DISCRETAS
Francisco Carlos Calderón
TECNICATURA UNIVERSITARIA EN INFORMATICA
Aplicaciones de Data Mining en ciencia y tecnología Ontologias. 2
Tomado de:
La web semántica y su impacto en la recuperación de información
DEPARTAMENTO DE MATEMÁTICAS
Servicios Web.
TEORÍA DE CONJUNTOS.
Introducción a la Orientación a Objetos
TEÓRIA DE CONJUNTOS Profesor: Rubén Alva Cabrera.
LOGARITMOS Docente:Huamaní Pillaca, Víctor
Introducción a la Web Semántica (Curso en Buenos Aires. SIU)
XXI Reunión del Foro de Directores y Responsables de Unidades de Información Documental Julio/2005 La explotación cooperativa de contenidos en el contexto.
PRODUCTO CARTESIANO RELACIONES BINARIAS
Lenguajes de Ontologías Gustavo Núñez, Alvaro Rodriguez, Oscar Sena.
Tema 1.- Lenguajes. Gramáticas
Relaciones de equivalencia
Taller matemático (Cálculo)
UNIVERSIDAD LATINA (UNILA) ENCAPSULACION Y HERENCIA
¿Qué es un conjunto? Un conjunto es una colección de objetos considerada como un todo. Los objetos de un conjunto son llamados elementos o miembros del.
Prof. Bach. Kryscia Ramírez Benavides 30/03/2005
Teoría de conjuntos Un conjunto es una colección o clase de objetos bien definidos y diferenciables entre sí. Los conjuntos pueden ser finitos o infinitos.
Diagramas de clases Modelan la vista estática del sistema
HERENCIA.
Ciencias de la Computación I
MATEMATICAS DISCRETAS
FUNDAMENTOS DE LA TEORÍA DE CONJUNTOS
Desarrollo de un sistema de clasificación de recursos electrónicos en el ámbito de la lógica matemática” Autor: Antonio Sarasa Cabezuelo Directora: María.
Tema 1.- Lenguajes. Gramáticas
Teoría de Conjuntos Prof. Carlos Coronel R..
FUNCIONES DE DENSIDAD DE PROBABILIDAD
Web Semántica M. Andrea Rodríguez Tastets DIIC - Universidad de Concepción
CONTENIDO CONJUNTOS RELACIONES FUNCIONES CONJUNTOS.
DAML-ONT An Ontology Language for the Semantic Web Deborah McGuinness, Richard Fikes, Lynn Andrea Stein, James Hendler Grupo 15 Web y Base de Datos 2002.
Funciones y sus Gráficas.
Funciones Psu Matemáticas 2012.
TEÓRIA DE CONJUNTOS.
DEPARTAMENTO DE MATEMÁTICAS
Curso de Teoría del Autómata
Web Semántica Borja A. Espejo García. ¿Cuál es el aula de la asignatura de Sistemas de Información Distribuidos del Máster de la Universidad de Zaragoza?
TEÓRIA DE CONJUNTOS.
Ingeniería de software
TEÓRIA DE CONJUNTOS Docente: Jesús Huaynalaya García.
 Libros Electrónicos (Hiperlibros) Gustavo Corral Guillé.
Servicios Web Semánticos
Bases de Datos.
Clasificación de Diagramas
Web Ontology Language (OWL)
TEÓRIA DE CONJUNTOS Profesor: Ing. Oscar Guaypatin Pico.
Unidad 2 Estructuras ESCUELA DE COMPUTACIÓN.
MATEMÁTICA BÁSICA CERO
RELACION Y OPERACIÓN ENTRE CONJUNTOS
Capítulo 3: Conjuntos Autor: José Alfredo Jiménez Murillo.
Modelan la vista estática del sistema Elementos básicos: Clases Relaciones Objeto: Representación de una entidad discreta (real o abstracta) - Estado:
DIFERENCIA SIMÉTRICA DE CONJUNTOS Operaciones con Conjuntos
Tutorial: Web Semántica Roberto García Grupo Investigación IPO e Integración Datos Universitat de Lleida, España.
CAMINANDO HACIA LA WEB SEMÁNTICA Jesualdo Tomás Fernández Breis Universidad de Murcia Taller sobre estándares Web W3C- 11 de noviembre de.
TEÓRIA DE CONJUNTOS.
GML Geography Markup Language
ALGEBRA CON VECTORES Y MATRICES Uso de MatLab.
Modelado UML Diagrama de Clases
LENGUAJES DE MARCAS Y SISTEMAS DE GESTIÓN DE INFORMACIÓN Bloque XML: UD4: espacios de nombres.
Inferencias Semánticas en Bases de Datos RDF usando OWL Trabajo Final de Grado Universidad de Palermo Alumno: Emiliano Martínez Luque Profesora: Ana Darcacha.
Estructura de Datos Departamento de Programación Universidad Metropolitana Contenido: UML. Envío de mensajes. Relaciones. Asociación. Agregación o composición.
Transcripción de la presentación:

OWL: Ontology Web Language Asignatura Doctorado 2007 (Francisco José Galán Morillo)

Índice 1. Resumen 2. Estructura de una Ontología OWL 3. Elementos Básicos OWL 4. Relaciones entre Ontologías OWL 5. Clases OWL Complejas

Objetivo OWL es un lenguaje para describir datos con semántica en la Web y no un mero protocolo de intercambio de información. 1. Formaliza dominios mediante clases y propiedades. 2. Define individuos y propiedades entre individuos. 3. Permite un razonamiento formal (inferencia) basado en la semántica adoptada en la definición de clases propiedades e individuos 1. Resumen

Niveles de Expresividad 1.OWL Lite: clasificaciones y restricciones simples (ideal para migrar tesauros). 2.OWL DL: máxima expresividad, completitud y decibilidad aseguradas. 3. OWL Full: Máxima expresividad (capacidades de meta- modelado y extensión del vocabulario OWL) completitud y decibilidad no aseguradas. 1. Resumen

Suposiciones 1.OWL asume un mundo abierto y distribuido. 2.Monotonicidad. Toda adición de información se añade a la ya existente. 3.Ontologías Inconsistentes. 2. Estructura de una Ontología OWL

Vocabulario OWL Espacios de nombres: <rdf:RDF xmlns = “ (espacio de nombres por defecto de la ontología que se está describiendo) xmlns:vin = “ (espacio de nombres por defecto de la ontología que se está describiendo) xml:base = “ (URI del presente documento) xmlns:food= “ (espacio de nombres de la ontología que se está describiendo ‘food’) xmlns:owl = “ (otros espacios de nombres) xmlns:rdf = “ xmlns:rdfs= “ xmlns:xsd = “ 2. Estructura de una Ontología OWL

Vocabulario OWL Identificadores de ontologías mediante macros: importante para definir ontologías de forma distribuida. <!DOCTYPE rdf:RDF [ ]> Expresiones como &vin;merlot se expanden a 2. Estructura de una Ontología OWL

Vocabulario OWL Encabezamientos: (meta)información relativa a comentarios, versión, inclusión de otras ontologías, etc. An example OWL ontology Derived from the DAML Wine ontology at Substantially changed, in particular the Region based relations. Wine Ontology 2. Estructura de una Ontología OWL

Clases (I) Declaración de clases simples: todo individuo en una ontología OWL pertenece a la clase owl:Thing. También OWL define la clase vacía owl:Nothing. Declaración de subclases: todo individuo en una subclase pertenece a la superclase Elementos Básicos OWL

Clases (II) Referenciación para uso: Dada la declaración: Dentro del documento, la clase Winery puede ser referenciada: #Winery rdf:resource=“#Winery” Referenciación para extender la definición: rdf:about=“#Winery” 3. Elementos Básicos OWL

Individuos (I) Declaración de individuos de una clase: O bien haciendo uso de la propiedad rdf:type para adscribir un individuo a una clase. 3. Elementos Básicos OWL

Propiedades (I) Propiedades: relación binaria del tipo r(x:T,y:Z) donde T es el dominio de r y Z es el rango de r 1.Propiedades entre individuos y tipos de datos (datatype property): relación entre individuos de clases y literales RDF y tipos de datos XML Schema. 2. Propiedades entre individuos (object property): relación entre individuos de clases. 3. Elementos Básicos OWL

Propiedades (II) Ejemplos de propiedades: 3. Elementos Básicos OWL

Propiedades (III) Subpropiedades: subconjuntos de las propiedades originales Elementos Básicos OWL

Propiedades (IV) Clases con propiedades vía clases anónimas: Elementos Básicos OWL

Tipos de Datos OWL usa la mayoría de tipos de datos de XML Schema (URI: xsd:string xsd:normalizedString xsd:boolean xsd:decimal xsd:float xsd:double xsd:integer xsd:nonNegativeInteger xsd:positiveInteger xsd:nonPositiveInteger xsd:negativeInteger xsd:long xsd:int xsd:short xsd:byte xsd:unsignedLong xsd:unsignedInt xsd:unsignedShort xsd:unsignedByte xsd:hexBinary xsd:base64Binary xsd:dateTime xsd:time xsd:date xsd:gYearMonth xsd:gYear xsd:gMonthDay xsd:gDay xsd:gMonth xsd:anyURI xsd:token xsd:language xsd:NMTOKEN xsd:Name xsd:NCName 3. Elementos Básicos OWL

Individuos (II) Individuos con propiedades: 3. Elementos Básicos OWL

Propiedades (V) Transitividad: r(x,y)  r(y,z)  r(x,z) Simetría: r(x,y)  r(y,x) 3. Elementos Básicos OWL

Propiedades (VI) Función: r(x,y)  r(x,z)  y = z Inverso: r1(x,y)  r2(y,x) 3. Elementos Básicos OWL

Propiedades (VII) Función Inversa: r(y,x)  r(z,x)  y = z 3. Elementos Básicos OWL

Restricciones (I) Restricciones de rango allValuesFrom: “Para todo Wine si hasMaker(Wine) está definido entonces todos los individuos del rango de hasMaker(Wine) son Winery” 3. Elementos Básicos OWL

Restricciones (II) Restricciones de rango someValuesFrom: “Para todo Wine si hasMaker(Wine) está definido entonces al menos un individuo del rango de hasMaker(Wine) es Winery” 3. Elementos Básicos OWL

Restricciones (III) Restricciones de multiplicidad: 1 “Toda cosecha (Vintage) tiene un año (hasVintageYear)” 3. Elementos Básicos OWL

Restricciones (IV) Restricciones por valor:... “Todo individuo Burgundy tiene como valor de la propiedad hasSugar igual a dry” 3. Elementos Básicos OWL

Equivalencias Clases Equivalentes: Clases con los mismos individuos. Propiedades Equivalentes: Propiedades con los mismos individuos. Similar a clases equivalentes pero usando owl:equivalentProperty 4. Relaciones Entre Ontologías OWL

Identidades Identidad entre Individuos: Suposición de no Unicidad de Nombres: OWL supone que dos individuos pueden ser idénticos sin tener los mismos nombres (Ej. dado que hasMaker es una propiedad funcional, se infiere que Bancroft = Beringer) 4. Relaciones Entre Ontologías OWL

Diferencias(I) Individuos Diferentes: 4. Relaciones Entre Ontologías OWL

Diferencias(II) Individuos Diferentes: 4. Relaciones Entre Ontologías OWL

Operadores Conjuntos (I) Intersección: 5. Clases OWL Complejas

Operadores Conjuntos (II) Unión: Complemento (I): 5. Clases OWL Complejas

Operadores Conjuntos (III) Complemento (II): 5. Clases OWL Complejas

Clases Enumeradas Clases Enumeradas: Clases definidas por extensión de sus miembros 5. Clases OWL Complejas

Clases Disjuntas Clases Disjuntas: Clases sin miembros comunes 5. Clases OWL Complejas