Web

semn)ca y Ontologas

Padre de la web
1989 primer proyecto en CERN
1990 primer servidor cliente
1991 primeras especificaciones html y http
1994 se constituye consorcio W3C
Presidido por Berners-Lee
Estandarizar las tecnologas web

Web semn)ca
Se pretende crear tecnologas para la
publicacin en la web de datos legibles por
aplicaciones inform)cas
Se basa en aadir metadatos semn)cos y
ontolgicos a la web

Mejorar las bsquedas

Cmo
encuentro un
listado de los
artculos de
Zadeh?

Bsqueda de informacin

Resultados ms relevantes

Extraer informacin

Precio

Un libro reciente de ontologas (in CS)

Que sea de nivel asequible
Que tenga buenas crticas
Ordenados por precio
Incluyendo gastos de envo
9

Propuesta
Que los datos en la web se denan y enlazen
de modo que los sistemas no los usen solo para
mostrarlos, sino para automa)zarlos, integrarlos
y reu)lizarlos por aplicaciones diversas

(W3C, 2001)

10

Ontologas
Un esquema conceptual riguroso y
exhaus)vo dentro de un dominio, que
pretende facilitar la comunicacin y el
intercambio de informacin entre sistemas
Lenguajes: RDF, RDF Schema, OWL
Consultas: SPARQL

11

OWL (Web Ontology Language)

Pertenece a la familia de lgicas descrip)vas (DL)
OWL-2 h\p://www.w3.org/TR/owl2-overview/ Dec 2012
Sintaxis Manchester h\p://www.w3.org/TR/owl2-manchester-syntax/

12

OWL-2
Individuos


Clases de individuos


Propiedades

13

Clases atmicas:
Atmicas:
Listado de individuos
{Jane, Mary, Sue}
Cumplen una condicin:
Mujer, MayorDeEdad
Clases bsicas predenidas
- Thing
- Nothing
14

Clases compuestas
Se denen u)lizando operadores
not
notMujer
and/or
Mujer and MayorDeEdad
not (Mujer and MayorDeEdad)
Mujer and not(MayorDeEdad)

15

Propiedades
Relaciones entre clases
esProfesorDe
Inverse esProfesorDe

16

Restricciones
A par)r de las propiedades se pueden denir
nuevas clases, sin necesidad de darles nombre.
Esto se hace con restricciones. En OWL tenemos
las siguientes:
value some only max min exactly Self

17

Restricciones (II)
value
Ej: esMadreDe value Sue
individuos que son madre de Sue
some
Ej: esMadreDe some Mujer
individuos que son madre de alguna mujer
only
Ej: esMadreDe only Mujer
individuos que son madres exclusivamente de mujeres

18

Restricciones (III)
max
Ej: esMadreDe max 2 MayorDeEdad
individuos que son madre de a lo sumo dos
individuos mayores de edad
min
Ej: esMadreDe min 2 MayorDeEdad
individuos que son madre de como mnimo
dos individuos mayores de edad

19

Restricciones (IV)
exactly
Ej: esMadreDe value exactly 2 MayorDeEdad
individuos que son madre de dos individuos
mayores de edad (ni ms, ni menos)
Self
Ej: esMadreDe Self
individuos que son madre de s misma

20

T-boxes y A-boxes
U)lizando construcciones sintc)cas, se enuncian
proposiciones (axiomas) sobre clases e individuos.
Asser)onal Box (A-Box)

Terminological Box (T-Box)

Axiomas sobre individuos

Axiomas sobre clases

21

Hiptesis OWL
Hiptesis del Mundo Abierto (Open World
Assump)on, OWA):
La informacin que no se mencione se considera
desconocida (puede ser verdadera o falsa)

No se trabaja con la Hiptesis del Nombre

nico (Unique Name Assump)on, UNA):
El hecho de que dos en)dades tengan nombres
diferentes no quiere decir que sean diferentes

22

A-boxes
Construcciones que permiten enunciar axiomas
acerca de los individuos:
I Type C
ej: Anne Type Mujer
I P J

ej: Jane esMadreDe Anne
I not P J*
ej: Anne not esMadreDe Jane
I SameAs
ej: Pepi SameAs Luci
I DierentFrom* ej: Anne DierentFrom Jane

*(Bajo OWA no se supone, es necesario asertarlo)

23

T-Box
Construcciones que permiten denir jerarquas:
SubClassOf
ej: Mujer SubclassOf SerHumano
EquivalentTo
ej: Mujer EquivalentTo SerHumano and Hembra
DisjointWith
ej: Bueno DisjointWith Malo
DisjointUnionOf
ej: SerHumano DisjointUnionOf Hombre and Mujer
24

T-Box
Construcciones para enunciar axiomas sobre propiedades:
SubPropertyOf:
esMadreDe SubPropertyOf esFamiliarDe

EquivalentTo:
Mujer EquivalentTo Hembra and SerHumano
DisjointWith:
esMadreDe DisjointWith HermanoDe



25

T-Box
Construcciones para enunciar axiomas sobre propiedades:
InverseOf:
esAlumnoDe InverseOf esProfesorDe

Domain:
EsMadreDe Domain Hembra
Range:
EsMadreDe Range Animal

26

T-Box
Axiomas sobre caracters)cas de una propiedad:
Characteris)cs: Func)onal
Characteris)cs: InverseFunc)onal
Characteris)cs: Reexive
Characteris)cs: Irreexive
Characteris)cs: Symmetric
Characteris)cs: Asymmetric
Characteris)cs: Transi)ve

27

T-Box
Ejemplos de caracters)cas:
esMadreDe Characteris)cs: Irreexive
esMadreDe Characteris)cs: Asymmetric

28

Consultas: )pos
Sa)sfacibilidad de una clase C:
Dada una base de conocimientos T + A y una clase C,
existe una interpretacin de las clases e individuos
de T + A tal que C sea no vaca?

Subsuncin de una clase C en una clase D:

es verdad en toda interpretacin posible que C
SubClassOf D?
En realidad se puede reducir a la sa)sfacibilidad:
C SubClassOf D si y solo s C and not D es insa)facible

29

Consultas
Comprobacin de un individuo I y una clase C:
Es verdad en toda interpretacin posible que I Type C?
(se reduce a la subsuncin de {I} en C)
Recuperacin de instancias:
Comprobacin para todos los individuos denidos
Coherencia de la taxonoma:
Consulta de la sa)sfacibilidad de todas las clases
Complecin de la taxonoma:
Consulta de subsuncin para todas las clases
30

Protg
Es un entorno de modelado del conocimiento

Es gratuito, multiplataforma y de cdigo abierto

Ha sido desarrollado por las universidades de
Stanford/Manchester

Gran comunidad de usuarios

Lenguaje de modelado OWL

Se pueden desarrollar plugins para extender el
interfaz o el motor

31