Sergio Ilarri Artigas

Ontologas

Ontologas

Sergio Ilarri

La Web Orientada a Personas

Qu es una URI (Uniform Resource Identifier)?

Identifica un recurso o un objeto cualquiera en la web No tiene por qu

proporcionar una forma de acceder a dicho recurso o a informacin sobre
dicho recurso:
Puede referenciar un recurso que no est disponible va web y sobre el

que no existe ninguna informacin.

Las URL (Uniform Resource Locators) son tipos especiales de URIs que

s indican cmo localizar el recurso que tienen asociado.

No existe una gestin centralizada de las URIs. Un mismo recurso puede

tener asociadas varias URIs.

Sergio Ilarri

Lenguaje de Marcado
Problema de la web actual: Las marcas de HTML incluyen
informacin sobre presentacin (tipo de letra, color, etc.), pero
no informacin semntica.

Sergio Ilarri

Hacia una Web Semntica

Adems, necesitaramos:
Reglas de inferencia acerca de la informacin proporcionada.
Si un alimento tiene X cantidad de glucosa se considera dulce.

Mecanismos para poder hacer razonamiento automtico: razonadores:

BACK, RacerPro, FACT, ...

Y adems todo esto distribuido y altamente dinmico:

La Web no es centralizada.

La Web es dinmica y abierta.

Sergio Ilarri

Propuesta de Arquitectura para la

Web Semntica: XML
XML (Extensible Markup Language): A diferencia
de HTML, especifica la estructura de sus contenidos,
no el modo de visualizarlos.

Especifica la sintaxis del documento (orden, tipo de datos,

formato, ...) en el DTD o XML Schema.

Si existe acuerdo global en las etiquetas a utilizar (XML Schema)

hay una cierta semntica asociada al contenido.

Sergio Ilarri

Propuesta de Arquitectura para la

Web Semntica: XML
Posible solucin para el ejemplo de la pgina del
grupo:
<GrupoDeInvestigacion nombre=SID:Sistemas de Informacin Distribuidos>
<Miembros>
<Profesores>
<Persona nombre=Eduardo Mena esDirector=si>
<Persona nombre=Sergio Ilarri esDirector=no>
...
</Profesores>
<Investigadores>
....
Problema 1: Problema: La eleccin de las
</Investigadores>
etiquetas. Sera necesario un consenso global.
.....
</Miembros>
</GrupoDeInvestigacion>

Sergio Ilarri

Propuesta de Arquitectura para la

Web Semntica: XML
Otro problema: se puede expresar lo mismo
empleando diferentes estructuras.
<ResearchGrupo name=SID:Sistemas de Informacin Distribuidos>
<Members>
<Person name=Eduardo Mena isDirector=yes
role=Teacher/>
<Person name=Mauricio Espinoza isDirector=no
role=Reseacher/>
<Person name=Carlos Bobed isDirector=no
role=PhDStudent/>
...
<Members>
</ResearchGroup>

Sergio Ilarri

Posibles Soluciones

Acuerdo global para compartir etiquetas de

anotacin.
Dublin

Core (DCMI, http://www.dublincore.org). Es una

iniciativa abierta para el desarrollo de estndares de metadatos
(datos acerca de los datos) para favorecer la interoperabilidad.
Basado en XML y RDF.
Uso de microformatos.
Uso de ontologas.
RDF, RDFs, OWL

Sergio Ilarri

RDF
RDF (Resource Description Framework)

Permite describir recursos mediante propiedades y sus valores.

Recurso = cualquier cosa que pueda identificarse con una URI.
Propiedad = caracterstica o atributo de un recurso:
Describen relaciones entre recursos (escritoPor, edad, ttulo).

Valor = Valores concretos que puede tomar una propiedad.

Enunciado: Asocia el valor de una propiedad de un recurso a un recurso.
Ejemplo: Tintn es periodista.

Tintn

tieneProfesion

Sergio Ilarri

Periodista

RDF
Con RDF, tenemos un grafo acclico dirigido:

Los nodos origen son URIs.

Los arcos tambin son URIs.
Los nodos destino pueden ser URIs o literales.
http://siteWithSenses/#tieneProfesion

Tintn

Periodista

http://miPagDeComics/#tintin

Herg

Sergio Ilarri

RDF
http://siteWithSenses/#tieneProfesion

Tintn

Periodista

http://miPagDeComics/#tintin

Herg

Una representacin (textual) alternativa (mediante

tripletas):
(http://miPagDeComics/#tintin, http://siteWithSenses/#tieneProfesion, Periodista)
(http://miPagDeComics/#tintin, http://purl.org/DC/Creator, Herg)

Sergio Ilarri

RDF
http://siteWithSenses/#tieneProfesion

Tintn

Periodista

http://miPagDeComics/#tintin

Herg

Y en sintaxis XML:
<rdf:RDF xmlns:rdf=http://www.w3.org/1999/02/22-rdf-syntax-ns#
xmlns:s=http://siteWithSenses/ xmlns:dc=http://purl.org/DC/>
<rdf:Description about=http://miPagDeComics/#tintin>
<s:tieneProfesion>Periodista</s:tieneProfesion>
<dc:Creator resource=Herg />
</rdf:Description>
</rdf:RDF>

Sergio Ilarri

La Semntica de RDF

RDFS (sencillo lenguaje de ontologas):

Jerarquas de clases
Jerarquas de propiedades
Definiciones de rango y dominio

Permite asociar algo de semntica a los

identificadores

Sergio Ilarri

RDF Schema (RDFS)

RDF Schema (RDFS) es necesario porque hay que
distinguir entre:

Cosas concretas (individuos) del dominio.

Clases o conceptos: conjunto de clases que comparten alguna caracterstica.
La relacin entre un individuo y la clase a la que pertenece se describe
mediante la propiedad rdf:type.

Permite declarar clases y restricciones de clases para

evitar enunciados que no tienen sentido:

Restricciones de Rango: Juan da clase de Pepe (+ restriccin que indique

que la propiedad da clase de tiene rango asignaturas).

Restricciones de Dominio: lgebra da clase de Clculo (+ restriccin que

indique que la propiedad da clase de tiene dominio asignaturas).
Sergio Ilarri

RDF Schema (RDFS)

A travs de RDF Schema podemos definir ontologas.
Con RDF podemos describir las instancias de esas ontologas.

Las clases pueden organizarse en jerarquas mediante subClassOf :

Relacin transitiva.
Una clase no puede ser subclase de si misma.
Herencia mltiple.

Tambin de utilidad: subPropertyOf .

Como RDF y RDF Schema no proporcionaban expresividad
suficiente para todas las restricciones deseadas, apareci OWL.

Sergio Ilarri

Inferencias
Ejemplos:
IF E contiene las tripletas (?u, rdfs:subClassOf, ?v) y
(?v, rdfs:subClassOf, ?w)
THEN E tambin contiene la tripleta (?u, rdfs:subClassOf, ?w)

Se infiere
la pertenencia
al rango!

IF E contiene las tripletas (?x, ?p, ?y) y

(?p, rdfs:range, ?u)
THEN E tambin contiene la tripleta (?y, rdf:type, ?u)

Con unas cuantas reglas de este estilo podemos implementar eficientemente

un razonador (ver seccin 7. Entailment rules (Informative) en el documento
RDF Semantics (http://www.w3.org/TR/rdf-mt)

Sergio Ilarri

Consultas Sobre RDF

RDF es XML
Y podemos consultar XML usando
XPath/XQuery
Hace falta un lenguaje de consulta
especfico para RDF?

Sergio Ilarri

Consultas Sobre RDF

S, pues XML es de ms bajo nivel

Podemos representar la misma sentencia
RDF de distintas formas usando XML
Segn la estructura, usaramos una
consulta XPath u otra:

//uni:lecturer/uni:title si uni:title es elemento

//uni:lecturer/@uni:title si uni:title es atributo

Sergio Ilarri

Consultas Sobre RDF

Por tanto, hara falta un lenguaje de

consultas especfico:

Que entienda la sintaxis y el modelo de

datos de RDF
Sensible a la semntica de RDFS

Ej.: si preguntamos por instancias de la

superclase, que nos devuelva tambin de la
subclase)

RQL, RDQL, SPARQL, etc. SPARQL endpoints

Sergio Ilarri

SPARQL: Ejemplo
PREFIX table: <http://www.daml.org/2003/01/periodictable/PeriodicTable#>
SELECT ?name
FROM <http://www.daml.org/2003/01/periodictable/PeriodicTable.owl>
WHERE { ?element table:name ?name. }

BASE <http://www.daml.org/2003/01/periodictable/>
PREFIX table: <PeriodicTable#>
SELECT ?name
FROM <http://www.daml.org/2003/01/periodictable/PeriodicTable.owl>
WHERE { ?element table:name ?name. }
http://www.xml.com/pub/a/2005/11/16/introducing-sparql-querying-semantic-web-tutorial.html

Sergio Ilarri

Limitaciones de RDF

No clases disjuntas

No restricciones de cardinalidad

transitiva (<)
nica/funcional (hasPrimaryEmployer)
inversa (writes y is_written_by)

No clases por combinacin

una persona tiene 2 padres

No modificadores de propiedades:

male y female

person = male U female

No restricciones de propiedades (rango y dominio)

locales a una clase (son generales)

Ej.: eats para carnvoro y vegetariano

Sergio Ilarri

Resumen de RDF

RDF tiene un modelo de datos basado en grafo

RDF consta de sentencias (tripletas recurso-propiedad-valor)

RDF est descentralizado, permite compartir y construir

conocimiento de forma incremental

RDFS define vocabularios para RDF

Existen diversos lenguajes de consultas para RDF y RDFS

RDF tiene algunas limitaciones:

No permite definir clases a partir de otras

No puede negar sentencias

etc.

Hara falta enriquecer RDFS con un lenguaje de ontologas ms

potente
Sergio Ilarri

Alternativas a RDF

Construidos
sobre RDF y
RDFS
(misma
sintaxis)

DAML+OIL (Europa + Estados Unidos)

DAML-ONT (propuesta de Estados Unidos)

OIL (propuesta europea)

OWL

Web Ontology Language

Basado en DAML+OIL

Web Ontology Working Group (W3C)

Sergio Ilarri

Requerimientos
Un lenguaje de ontologas debe
proporcionar:

Una sintaxis: RDF/XML (uso herramientas)

Una semntica formal (que describa el
conocimiento de forma precisa)
Soporte para un razonamiento eficiente
Potencia expresiva
Transformacin a un formalismo lgico + uso de razonadores

subconjunto de
lgica de predicados

Lgica Descriptiva

Sergio Ilarri

FaCT(++), Racer, Pellet, etc.

Razonamientos

Sobre qu queremos razonar:

Pertenencia a una clase

Equivalencia de clases
Consistencia
etc.

Para qu:

Detectar inconsistencias
Clasificacin automtica
Descubrir relaciones entre clases

Sergio Ilarri

Razonamientos
Si x es una instancia de A y A es subclase de B,
entonces x pertenece a B.
Si A es equivalente a B y B es equivalente a C, entonces
A es equivalente a C.
Si x es una instancia de A, A es subclase de B
interseccin C interseccin D, y D y B son disjuntas,
entonces tenemos una inconsistencia.
Si los miembros de la clase A son los que
satisfacen estas condiciones y x satisface dichas
condiciones, entonces x debe ser una instancia de A.
Sergio Ilarri

OWL
OWL (Ontology Web Language). Diferencia tres niveles:

OWL Full: unin de sintaxis OWL y RDF (sin restricciones).

Puede dar lugar a problemas NP-completos (no decidibles) al realizar los

razonamientos.

OWL DL (Description Logics):

Limita la expresividad del lenguaje para conseguir decibilidad.
Pierde compatibilidad con RDF.
Puede emplear algoritmos conocidos para realizar razonamiento.
Existen varios sistemas que lo implementan.

OWL Lite: subconjunto de OWL DL ms fcil de implementar y se

espera que sea ms eficiente.
Sergio Ilarri

Mundo Abierto, Mundo Cerrado

Mundo abierto:

La negacin como inconsistencia: algo es falso si

podemos probar que es inconsistente

Mundo cerrado:

La negacin como fallo: algo es falso si no

podemos probar que es cierto
Es decir, si no se encuentra, se asume que no
existe
BDs, programacin lgica, lenguajes de
restricciones en sistemas de frames, etc.

Sergio Ilarri

Otros Lenguajes
De forma paralela a RDF, RDF Schema y OWL, e
impulsados por otras industrias e investigadores, aparecieron
los lenguages DAM L+OI L bsicamente para lo mismo.
Hoy en da OWL es un estndar. Por ello, los dems
lenguajes que permanecen proporcionan traductores a OWL:
Protg (editor que usa un lenguaje propietario).
OILed (editor que usa OIL).

Sergio Ilarri

Ejemplos de Ontologas Mdicas:

GALEN

Muy compleja, no es OWL DL

Intentaron replicar todo en medicina
Partes de la ontologa se disearon
utilizando un razonador
Hay una versin simplificada que fue
clasificada en 1997 por FACT
Unas 3000 clases
http://www.opengalen.org/
Sergio Ilarri

Ejemplos de Ontologas Mdicas:

GALEN

Expresiones complejas (CGIs, donde la

parte izda. es una expresin), como:

AB=CD

TopCategory, DomainCategory
Organism
GALEN se centra en patologas, no en
organismos

Sergio Ilarri

Ejemplos de Ontologas Mdicas:

NCI

Hace explcita la herencia mltiple, a

diferencia de GALEN (redundancias)
El enfoque de esta ontologa es diferente
(la definicin de Femur es enorme en
GALEN pero no en NCI que se centra en
genes y enfermedades)

Sergio Ilarri

Ejemplos de Ontologas Mdicas:

Tambis

TAMBIS (Transparent Access to Multiple Bioinformatics

Information Sources)
Ontologa para permitir formular consultas sobre
mltiples bases de datos externas utilizando un interfaz
de consultas comn
Estaba en un lenguaje previo a OWL pero se tradujo
a OWL
Muchas clases no consistentes (ms de 400, efecto en
cascada)
Versin reducida: miniTambis
Sergio Ilarri

Ejemplos de Ontologas Mdicas:

SNOMED
Systematized Nomenclature of MedicineClinical Terms (SNOMED CT)
Ms de 1 milln de trminos (cadenas de
texto) estructurados como una taxonoma de
400.000 conceptos y una capa ontolgica
conforme al estndar lgico EL++
International Health Terminology Standards
Organization (http://www.ihtsdo.org/)
Sergio Ilarri

Referencias
The Semantic Web, T. Berners-Lee, J. Hendler, O. Lassila, Scientific
American Magazine, May 2001.
The Semantic Web Revisited, N. Shadbolt, T. Berners-Lee, W. Hall, IEEE
Intelligent Systems, vol. 21, no. 3, pp. 96-101, May/June 2006.
W3C Semantic Web Activity: http://www.w3.org/2001/sw/
The Semantic Web Vision: Where Are We?, J. Cardoso, IEEE Intelligent
Systems, vol. 22, no. 5, pp. 84-88, September/October, 2007.
Web and Semantic Web Query Languages: A Survey, J. Bailey, F. Bry, T.
Furche, S. Schaffert, Reasoning Web, Lecture Notes in Computer Science
(LNCS), vol. 3564, ISBN 978-3-540-27828-3, doi:10.1007/11526988 3,
Springer, pp. 35-133, 2005.

Sergio Ilarri

Referencias
Resource Description Framework (RDF): Concepts and
Abstract Syntax, W3C Recommendation 10 February 2004:
http://www.w3.org/TR/rdf-concepts/
RDF Vocabulary Description Language 1.0: RDF Schema, W3C
Recommendation 10 February 2004:
http://www.w3.org/TR/rdf-schema/
RDF Semantics, W3C Recommendation 10 February 2004:
http://www.w3.org/TR/rdf-mt/
RDF/XML Syntax Specification (Revised), W3C
Recommendation 10 February 2004:
http://www.w3.org/TR/rdf-syntax-grammar/

Sergio Ilarri

Referencias
RDF Primer, W3C Recommendation 10 February 2004:
http://www.w3.org/TR/rdf-primer/
An Axiomatic Semantics for RDF, RDF-S, and DAML+OIL,
Richard Fikes, Deborah L. McGuinness, March 1, 2001,
http://www.daml.org/2001/03/axiomatic-semantics.html
A Semantic Web Primer, Grigoris Antoniou, Frank van
Harmelen, The MIT Press, Cambridge, Massachusetts,
London, England, http://www.ics.forth.gr/isl/swprimer/ (con
transparencias)

Sergio Ilarri

Referencias
OWL Web Ontology Language Use Cases and Requirements,
http://www.w3.org/TR/webont-req/
OWL Web Ontology Language Overview, W3C
Recommendation 10 February 2004:
http://www.w3.org/TR/owl-features/
OWL Web Ontology Language Guide, W3C Recommendation
10 February 2004: http://www.w3.org/TR/owl-guide/
OWL Web Ontology Language Use Cases and Requirements,
W3C Recommendation 10 February 2004:
http://www.w3.org/TR/webont req/

Sergio Ilarri

Referencias
OWL Web Ontology Language Semantics and Abstract Syntax,
W3C Recommendation 10 February 2004:
http://www.w3.org/TR/owl-semantics/
OWL Web Ontology Language Reference, W3C
Recommendation 10 February 2004:
http://www.w3.org/TR/webont-req/
OWL Web Ontology Language XML Presentation Syntax, W3C
Note 11 June 2003: http://www.w3.org/TR/owl-xmlsyntax/
OWL Web Ontology Language Test Cases, W3C
Recommendation 10 February 2004:
http://www.w3.org/TR/2004/REC-owl-test-20040210/
Sergio Ilarri

Fin

Ontologas