Sunteți pe pagina 1din 25

Tema 15: OWL

(Bloque IV)
Conceptos OWL
OWL (Web Ontology Language)
Basado en lgica descriptiva
3 niveles:
Full: Unin de OWL y RDF sin restricciones
No se garantiza la eficiencia ni la decidibilidad
DL (Description Logics): Limita capacidad de expresin intentando
conseguir decidibilidad
Se pierde compatibilidad con RDF Schema
Es la que vamos a utilizar
Profiles: Subconjuntos de OWL DL
OWL Lite, EL++
Se supone que son ms eficientes, pero menos expresivos

2
OWL
Varias sintaxis
RDF (N3/Turtle RDF/XML)
Los ejemplos estn en N3/Turtle
Sintaxis abstracta
Sintaxis Manchester
etc
Espacio de nombres
http://www.w3.org/2002/07/owl#

3
OWL
Cabecera
Declarar un IRI de la clase owl:ontology
Para decir que un individuo pertenece a una clase
individuo a clase

4
OWL

5
OWL
Para especificar que una clase es subclase de otra se usa
rdfs:subClassOf

Hay dos clases predefinidas


owl:Thing Es la clase ms general, superclase de todas las
dems, y a ella pertenecen todos los individuos
owl:Nothing Es el conjunto vaco

6
OWL
Herencia mltiple: En OWL y RDFS una clase puede ser
subclase de varias clases no relacionadas entre s,
heredando las caractersticas de todas ellas.
Ejemplo:
cel:Leucocito rdfs:subClassOf cell:CelulaDefensiva;
rdfs:subClassOf cell:CelulaMovil.

7
OWL
Dos tipos de propiedades:
ObjectProperty Relaciona individuos
DataTypeProperty Relaciona un individuo con un valor

:nombre a owl:DataTypeProperty
:apellidos a owl:DataTypeProperty
:esAmigoDe a owl:ObjectProperty

:Pepe a :Alumno;
:nombre Jos Luis;
:apellidos Torres Sanz;
:esAmigoDe :juan.

8
OWL
Dominio con rdfs:domain
Rango con rdfs:Range
Subpropiedades rdfs:subPropertyOf
owl:negativePropertyAssertion Permite declarar
que no se cumple una propiedad.
Hay que indicar la propiedad, sujeto y el objeto.

[] a owl:NegativeProperyAssertion;
owl:sourceIndividual ej:Juan;
owl:assertionProperty ej:esPadreDe;
owl:targetIndividual ej:Ana.

9
OWL
Clases como restricciones
En OWL slo los individuos tienen propiedades, las clases no.
Por ejemplo, no podemos decir que la clase Camion Transporta
Mercancias.
Para expresar las propiedades que tienen los individuos de una
clase se usan restricciones.
Menos intuitivo
Ms flexible.
En realidad las restricciones definen superclases.

10
OWL
Restriccin existencial owl:someValuesFrom X
Indica que todos individuos de la clase tienen al menos una
propiedad cuyo objeto pertenece a X.

ej:Padre
a owl:Class;
rdfs:subClassOf ej:Persona;
rdfs:subClassOf
[a owl:Restriction;
owl:someValuesFrom ej:Persona;
owl:OnProperty ej:tieneHijo].

11
OWL
Restriccin universal owl:allValuesFrom
Indica que todos los objetos de la propiedad pertenecen a
una clase (pero no implica que todos los individuos
tengan la propiedad).
NO es equivalente a definir el rango de la propiedad, ya que se
puede usar para restringirlo a subclases.

ej:CamionFrigorifico
a owl:Class;
rdfs:subClassOf ej:Camion;
rdfs:subClassOf
[a owl:Restriction;
owl:allValuesFrom ej:ProductosRefrigerados;
owl:OnProperty ej:Transporta]

12
OWL

Vehicu
lo
Agu ViajaSobre S
a S ViajaSobre
BarcoA Tierr
Motor Camin a

S S
transporta
Cargu
ero Mercan CamionFri
cias gorifico
transporta
S
I transporta
Petrol S
ero transporta Petro
leo ProductosRefri
gerados

13
OWL
owl:hasvalue indica que tiene que tener un valor determinado

ej:Camion
a owl:Class;
rdfs:subClassOf ej:Vehiculo;
rdfs:subClassOf
[a owl:Restriction;
owl:hasvalue ej:Tierra;
owl:OnProperty ej:ViajaSobre].

14
OWL
owl:Cardinality Exactamente N valores
owl:minCardinality Al menos N valores
owl:maxCardinality Como mximo N valores

ej:Persona
a owl:Class;
rdfs:SubClassOf
[a owl:Restriction;
owl:Cardinality 2^^xsd:NonNegativeInteger;
owl:OnProperty ej:esHijoDe].

15
OWL
owl:qualifiedCardinality: N valores exactos de una clase
owl:minQualifiedCardinality: Al menos N valores de una clase.
owl:maxQualifiedCardinality: Como mximo N valores de una
clase.

ej:DosHijosVarones
a owl:Class;
rdfs:subClassOf ej:Persona;;
rdfs:subClassOf
[a owl:<Restriction;
owl:qualifiedCardinality 2^^^xsd:nonNegativeInteger;
owl:onClass ej:Varones;
owl:onProperty ej:esPadreDe]

16
OWL
Clases como conjuntos
owl:oneOf define una clase como un conjunto de valores

ej:EstacionDelAo
a owl:Class;
owl:OneOf (
ej:Primavera;
ej:Otoo;
ej:Verano;
ej:Invierno)

17
OWL
owl:unionOf Define la unin de varias clases.
owl:intersectionOf Define la interseccin de varias clases.
owl:complementOf Las instancias de una clase que NO son
instancias de una de sus subclases.

ej:personasSinHijos
a owl:Class;
rdfs:subClassOf
[a owl:Class;
owl:intersectionOf
(ej:Persona [owl:complementOf ej:Progenitor])]

18
OWL
Clases disjuntas
owl:disjointWith
ej:Persona owl:disjoint ej:Ciudad

owl:allDisjointClasses

[] a owl:AllDisjointClasses;
owl:members (ej:Persona :ej:Ciudad ej:Oceano)

19
OWL
Propiedades disjuntas: Que un elemento tenga una
propiedad implica que no tiene la otra
x P y implica que no x Q y
Puede definirse propiedad a propiedad:

o para varias propiedades a la vez

20
OWL
Propiedades inversas owl:inverseOf
P es inversa de Q si x P y implica que y Q x
Ejemplo:
:esPadreDe owl:inverseOf :esHijoDe

21
OWL
Tipos de propiedades:
owl:SymmetricProperty Cuando x P y implica que y P x
Ejemplo: viveCon
owl:ASymmetricProperty Cuando x P y implica que no y P x
Ejemplo:esPadreDe
owl:ReflexiveProperty Para todo x, x P x
Ejemplo: viveCon
owl:IrreflexiveProperty Para todo x, no x P x
Ejemplo: esPadreDe
owl:TransitiveProperty Si x P y y P z entonces x P z
Ejemplo: ViveCon

22
OWL
owl:FunctionalProperty
x P y, x P z implica que y=z
Ejemplo: tieneMadre
owl:InverseFunctionalProperty
x P y, z P y implica que x=z
Ejemplos: esMadreDe, dni

23
Bibliografa
Lenguaje de Ontologas Web (OWL). Vista General,
W3C
http://www.w3.org/2007/09/OWL-Overview-es.html#s3.7

24
Bibliografa
The Semantic Web, Tim Berners-Lee, James Hendler and
Ora Lassila, Scientific American, may 17, 2001
http://www.cs.umd.edu/~golbeck/LBSC690/SemanticWeb.
html
Beginner's Guide to RDF. Steve Baskauf. 2014
https://code.google.com/p/tdwg-rdf/wiki/Beginners
Semantic Web for the Working Ontologist, D. Allemang,
J. Hendler, Elservier/Morgan Kaufmann
Linked Data: Evolving the Web into a Global Data Space,
Tom Heath y Christian Bizer, 2011,
http://linkeddatabook.com/
EUCLID (European Curriculum for linked Data)
http://www.euclid-project.eu/
25