Introduccin Niveles de representacin Representacin conocimiento

Ontologas
Miguel Rebollo Pedruelo (@mrebollo)
Dept. Sistemas Informticos y Computacin Univ. Politcnica de Valencia

Agentes de Informacin y Web Semntica Master IARFID

@mrebollo

Ontologas

Introduccin Niveles de representacin Representacin conocimiento

Contenidos

Introduccin a las ontologas Niveles de representacin Sintaxis Estructura Semntica Uso Representacin del conocimiento

@mrebollo

Ontologas

Introduccin Niveles de representacin Representacin conocimiento

Contenidos

Introduccin a las ontologas Niveles de representacin Sintaxis Estructura Semntica Uso Representacin del conocimiento

@mrebollo

Ontologas

Introduccin Niveles de representacin Representacin conocimiento

Visin general de las ontologas

Informacin vs. conocimiento en la web tenemos informacin: gran coleccin de hechos debemos traducir esos hechos a conceptos: verdades, creencias, perspectivas, juicios, metodologas, know-how. . . Problemas
1

Cmo representamos el conocimiento para que lo pueda tratar una mquina? Cmo lo usamos en aplicaciones reales?

@mrebollo

Ontologas

Introduccin Niveles de representacin Representacin conocimiento

Visin general de las ontologas

Informacin vs. conocimiento en la web tenemos informacin: gran coleccin de hechos debemos traducir esos hechos a conceptos: verdades, creencias, perspectivas, juicios, metodologas, know-how. . . Problemas
1

Cmo representamos el conocimiento para que lo pueda tratar una mquina? Cmo lo usamos en aplicaciones reales?

@mrebollo

Ontologas

Introduccin Niveles de representacin Representacin conocimiento

Visin general de las ontologas

Informacin vs. conocimiento en la web tenemos informacin: gran coleccin de hechos debemos traducir esos hechos a conceptos: verdades, creencias, perspectivas, juicios, metodologas, know-how. . . Problemas
1

Cmo representamos el conocimiento para que lo pueda tratar una mquina? Cmo lo usamos en aplicaciones reales?

@mrebollo

Ontologas

Introduccin Niveles de representacin Representacin conocimiento

Denicin de ontologa
Denition (Ontologa) Una ontologa dene los trminos y conceptos comunes empleados para describir y representar un rea de conocimiento. Descripcin mediante clases instancias relaciones propiedades funciones/procesos restricciones
@mrebollo Ontologas

Representacin frases que combinan la terminologa para expresar relaciones entre los trminos estas frases aportan signicado.

Introduccin Niveles de representacin Representacin conocimiento

Denicin de ontologa
Denition (Ontologa) Una ontologa dene los trminos y conceptos comunes empleados para describir y representar un rea de conocimiento. Descripcin mediante clases instancias relaciones propiedades funciones/procesos restricciones
@mrebollo Ontologas

Representacin frases que combinan la terminologa para expresar relaciones entre los trminos estas frases aportan signicado.

Introduccin Niveles de representacin Representacin conocimiento

Denicin de ontologa
Denition (Ontologa) Una ontologa dene los trminos y conceptos comunes empleados para describir y representar un rea de conocimiento. Descripcin mediante clases instancias relaciones propiedades funciones/procesos restricciones
@mrebollo Ontologas

Representacin frases que combinan la terminologa para expresar relaciones entre los trminos estas frases aportan signicado.

Introduccin Niveles de representacin Representacin conocimiento

Ciclo de vida del conocimiento

El conocimiento no es algo esttico

@mrebollo

Ontologas

Introduccin Niveles de representacin Representacin conocimiento

Espectro de ontologas

@mrebollo

Ontologas

Introduccin Niveles de representacin Representacin conocimiento

Sintaxis Estructura Semntica Uso

Contenidos

Introduccin a las ontologas Niveles de representacin Sintaxis Estructura Semntica Uso Representacin del conocimiento

@mrebollo

Ontologas

Introduccin Niveles de representacin Representacin conocimiento

Sintaxis Estructura Semntica Uso

Niveles de representacin
Un lenguaje es un sistema formal formado por alfabeto, vocabulario o ambos reglas para combinar los elementos en sentencias semntica para dar signicado a los elementos anteriores Son necesarios 4 niveles para construir modelos:
1 2 3 4

sintaxis estructura semntica uso

@mrebollo

Ontologas

Introduccin Niveles de representacin Representacin conocimiento

Sintaxis Estructura Semntica Uso

Niveles de representacin
Un lenguaje es un sistema formal formado por alfabeto, vocabulario o ambos reglas para combinar los elementos en sentencias semntica para dar signicado a los elementos anteriores Son necesarios 4 niveles para construir modelos:
1 2 3 4

sintaxis estructura semntica uso

@mrebollo

Ontologas

Introduccin Niveles de representacin Representacin conocimiento

Sintaxis Estructura Semntica Uso

Sintaxis

La sintaxis hace referencia al orden, al formato y a la estructura el anlisis sintctico es el primer paso de un compilador en la web se trabaja con documentos: cadenas de texto Example (Sintaxis de XML) cabecera orden y cierre de etiquetas atributos comentarios

@mrebollo

Ontologas

Introduccin Niveles de representacin Representacin conocimiento

Sintaxis Estructura Semntica Uso

Sintaxis

La sintaxis hace referencia al orden, al formato y a la estructura el anlisis sintctico es el primer paso de un compilador en la web se trabaja con documentos: cadenas de texto Example (Sintaxis de XML) cabecera orden y cierre de etiquetas atributos comentarios

@mrebollo

Ontologas

Introduccin Niveles de representacin Representacin conocimiento

Sintaxis Estructura Semntica Uso

Sintaxis

La sintaxis hace referencia al orden, al formato y a la estructura el anlisis sintctico es el primer paso de un compilador en la web se trabaja con documentos: cadenas de texto Example (Sintaxis de XML) cabecera orden y cierre de etiquetas atributos comentarios

@mrebollo

Ontologas

Introduccin Niveles de representacin Representacin conocimiento

Sintaxis Estructura Semntica Uso

Sgeun un etsduio de una uivenrsdiad ignlsea, no ipmotra el odren en el que las ltears etsan ersciats, la uicna csoa ipormtnate es que la pmrirea y la utlima ltera esten ecsritas en la psiocion cocrrtea. El rsteo peuden estar ttaolmntee mal y aun pordas lerelo sin pobrleams. Etso es pquore no lemeos cada ltera por si msima preo la paalbra es un tdoo

@mrebollo

Ontologas

Introduccin Niveles de representacin Representacin conocimiento

Sintaxis Estructura Semntica Uso

C13R70 D14 D3 V3R4N0 3574B4 3N L4 PL4Y4 0853RV4ND0 D05 CH1C45 8R1NC4ND0 3N 14 4R3N4, 357484N 7R484J4ND0 MUCH0 C0N57RUY3ND0 UN C4571LL0 D3 4R3N4 C0N 70RR35, P454D1Z05, 0CUL705 Y PU3N735. CU4ND0 357484N 4C484ND0 V1N0 UN4 0L4 9U3 D357RUY0 70D0 R3DUC13ND0 3L C4571LL0 4 UN M0N70N D3 4R3N4 Y 35PUM4. P3N53 9U3 D35PU35 DE 74N70 35FU3RZ0 L45 CH1C45 C0M3NZ4R14N 4 110R4R,P3R0 3N V3Z D3 350, C0RR13R0N P0R L4 P14Y4 R13ND0 Y JU64ND0 Y C0M3NZ4R0N 4 C0N57RU1R 07R0 C4571LLO. C0MPR3ND1 9U3 H4814 4PR3ND1D0 UN4 6R4N L3CC10N; 64574M05 MUCH0 713MP0 D3 NU357R4 V1D4 C0N57RUY3ND0 4L6UN4 C054 P3R0 CU4ND0 M45 74RD3 UN4 0L4 L1364 4 D357RU1R 70D0, S010 P3RM4N3C3 L4 4M1574D, 3L 4M0R Y 3L C4R10, Y L45 M4N05 D3 49U3LL05 9U3 50N C4P4C35 D3 H4C3RN05 50NRR31R. S4LUD05 Y 83505
@mrebollo Ontologas

Introduccin Niveles de representacin Representacin conocimiento

Sintaxis Estructura Semntica Uso

Estructura
Dene la forma de organizar los elementos del modelo organizacin de los elementos anidamiento/jerarqua jerarqua, herencia, parte-de La estructura se suele representar mediante un grafo dirigido acclico Example (Estructuras) esquema de una base de datos diagramas de UML DTD, XML-Schema
@mrebollo Ontologas

Introduccin Niveles de representacin Representacin conocimiento

Sintaxis Estructura Semntica Uso

Estructura
Dene la forma de organizar los elementos del modelo organizacin de los elementos anidamiento/jerarqua jerarqua, herencia, parte-de La estructura se suele representar mediante un grafo dirigido acclico Example (Estructuras) esquema de una base de datos diagramas de UML DTD, XML-Schema
@mrebollo Ontologas

Introduccin Niveles de representacin Representacin conocimiento

Sintaxis Estructura Semntica Uso

Estructura
Dene la forma de organizar los elementos del modelo organizacin de los elementos anidamiento/jerarqua jerarqua, herencia, parte-de La estructura se suele representar mediante un grafo dirigido acclico Example (Estructuras) esquema de una base de datos diagramas de UML DTD, XML-Schema
@mrebollo Ontologas

Introduccin Niveles de representacin Representacin conocimiento

Sintaxis Estructura Semntica Uso

Semntica

Denition (Semntica) Mapeo entre un conjunto de datos estructurados y un modelo de objetos de algn dominio que aporta signicados, as como las relaciones entre estos objetos. el signicado recae en la representacin simblica que los humanos hacemos del mundo si queremos que una mquina comprenda el contenido de un documento, necesitamos automatizar el proceso de interpretacin semntica

@mrebollo

Ontologas

Introduccin Niveles de representacin Representacin conocimiento

Sintaxis Estructura Semntica Uso

Semntica

Denition (Semntica) Mapeo entre un conjunto de datos estructurados y un modelo de objetos de algn dominio que aporta signicados, as como las relaciones entre estos objetos. el signicado recae en la representacin simblica que los humanos hacemos del mundo si queremos que una mquina comprenda el contenido de un documento, necesitamos automatizar el proceso de interpretacin semntica

@mrebollo

Ontologas

Introduccin Niveles de representacin Representacin conocimiento

Sintaxis Estructura Semntica Uso

Semntica

Denition (Semntica) Mapeo entre un conjunto de datos estructurados y un modelo de objetos de algn dominio que aporta signicados, as como las relaciones entre estos objetos. el signicado recae en la representacin simblica que los humanos hacemos del mundo si queremos que una mquina comprenda el contenido de un documento, necesitamos automatizar el proceso de interpretacin semntica

@mrebollo

Ontologas

Introduccin Niveles de representacin Representacin conocimiento

Sintaxis Estructura Semntica Uso

Interpretacin
Denition (Interpretacin semntica) Estructurando los smbolos que usamos los humanos en un lenguaje lgico y axiomtico, las mquinas podran concluir aproximadamente, por un proceso de inferencia, lo que una persona hara en circunstancias parecidas Para eso necesitamos una ontologa: expresiones en un lenguaje de representacin del conocimiento (KR) para modelar el mundo sus entidades las relaciones existentes entre ellas y mapear las expresiones del lenguaje con la ontologa.
@mrebollo Ontologas

Introduccin Niveles de representacin Representacin conocimiento

Sintaxis Estructura Semntica Uso

Interpretacin
Denition (Interpretacin semntica) Estructurando los smbolos que usamos los humanos en un lenguaje lgico y axiomtico, las mquinas podran concluir aproximadamente, por un proceso de inferencia, lo que una persona hara en circunstancias parecidas Para eso necesitamos una ontologa: expresiones en un lenguaje de representacin del conocimiento (KR) para modelar el mundo sus entidades las relaciones existentes entre ellas y mapear las expresiones del lenguaje con la ontologa.
@mrebollo Ontologas

Introduccin Niveles de representacin Representacin conocimiento

Sintaxis Estructura Semntica Uso

Mapeo entre sintaxis y semntica

Sintaxis zDLKFL 12323 IcountForLoop 4+3 (x y )

Semntica simple StringConstant IntegerConstant IntegerType Varible Addition(IntegerType Variable, IntegerType Variable) Negation( InclusiveOr( BooleanType Variable, BooleanTypeVariable))

@mrebollo

Ontologas

Introduccin Niveles de representacin Representacin conocimiento

Sintaxis Estructura Semntica Uso

Mapeo entre semntica simple y compleja

Semntica simple Semntica compleja StringConstant { zDLKFL {a , b, c , . . . , s }} IntegerConstant {12323} {1, 2, 3, . . . , n } IntegerType Varible X |X {1, 2, 3, . . . , n } Addition( [[Addition (4 {1, 2, 3, . . . , n }, IntegerType Variable, 3 {1, 2, 3, . . . , n }]] IntegerType Variable ) Negation( [[(X |X {t , f } Y |Y {t , f })]] InclusiveOr( BooleanType Variable, BooleanTypeVariable)) Con [[X ]] se denota el valor de verdad de la expresin X

@mrebollo

Ontologas

Introduccin Niveles de representacin Representacin conocimiento

Sintaxis Estructura Semntica Uso

Uso (pragmtica)

Indica cmo se debe usar la semntica poco usada en lenguajes de programacin (ej #pragma en C) cada vez de ms importancia en la web semntica Pragmtica en agentes inteligentes teora de los speech acts: describe el uso de los mensajes para conseguir ciertos objetivos (informar, solicitar) tipos de dilogo (D. Walton & E: Krabbe)

@mrebollo

Ontologas

Introduccin Niveles de representacin Representacin conocimiento

Sintaxis Estructura Semntica Uso

Uso (pragmtica)

Indica cmo se debe usar la semntica poco usada en lenguajes de programacin (ej #pragma en C) cada vez de ms importancia en la web semntica Pragmtica en agentes inteligentes teora de los speech acts: describe el uso de los mensajes para conseguir ciertos objetivos (informar, solicitar) tipos de dilogo (D. Walton & E: Krabbe)

@mrebollo

Ontologas

Introduccin Niveles de representacin Representacin conocimiento

Sintaxis Estructura Semntica Uso

Intercambio de mensajes entre agentes

Nivel 3) Uso ej 1: solicita ejecucin accin Agente i solicita a agente j una accin identicada como order678 Agente i solicita enviar el paquete package234 a la localizacin 25 35 (action (agent-identifier :name i) (deliver package234 (loc 25 35))) ej 2: acepta accin solicitada Agente j acepta la accin order678 solicitada por agente i La accin solicitada se marca como de alta prioridad ((action (agent-identifier :name i) (deliver package234 (loc 25 35)))(priority order678 high))

2) Semntica 1) sintaxis

@mrebollo

Ontologas

Introduccin Niveles de representacin Representacin conocimiento

Contenidos

Introduccin a las ontologas Niveles de representacin Sintaxis Estructura Semntica Uso Representacin del conocimiento

@mrebollo

Ontologas

Introduccin Niveles de representacin Representacin conocimiento

Expresividad

una ontologa puede variar desde una taxonoma, un tesauro, un modelo conceptual hasta una teora lgica la ingeniera de ontologas la caracteriza mediante un sistema axiomtico.
axiomas reglas de inferencia teoremas teora

@mrebollo

Ontologas

Introduccin Niveles de representacin Representacin conocimiento

Tesauros vs. Ontologas

@mrebollo

Ontologas

Introduccin Niveles de representacin Representacin conocimiento

Niveles de representacin
Nivel 1: Representacin conocimiento Clase, relacin, instancia, funcin, atributo, propiedad, restriccin, axioma, regla. Nivel 2: Conceptos de la ontologa Persona, localizacin, evento, padre, martillo, ro, TransaccinFinanciera, coche, CompraDeCasa, etc. Nivel 3: Instancias de la ontologa Harry X, Landsfor III, Persona62453, 1995-96 V-6, Citron C4 Picasso, etc.

@mrebollo

Ontologas

Introduccin Niveles de representacin Representacin conocimiento

Niveles de representacin
Nivel 1: Representacin conocimiento Clase, relacin, instancia, funcin, atributo, propiedad, restriccin, axioma, regla. Nivel 2: Conceptos de la ontologa Persona, localizacin, evento, padre, martillo, ro, TransaccinFinanciera, coche, CompraDeCasa, etc. Nivel 3: Instancias de la ontologa Harry X, Landsfor III, Persona62453, 1995-96 V-6, Citron C4 Picasso, etc.

@mrebollo

Ontologas

Introduccin Niveles de representacin Representacin conocimiento

Niveles de representacin
Nivel 1: Representacin conocimiento Clase, relacin, instancia, funcin, atributo, propiedad, restriccin, axioma, regla. Nivel 2: Conceptos de la ontologa Persona, localizacin, evento, padre, martillo, ro, TransaccinFinanciera, coche, CompraDeCasa, etc. Nivel 3: Instancias de la ontologa Harry X, Landsfor III, Persona62453, 1995-96 V-6, Citron C4 Picasso, etc.

@mrebollo

Ontologas

Introduccin Niveles de representacin Representacin conocimiento

Para saber ms. . .

N.F. Noy, D.L. McGuinness Desarrollo de Ontologas: Gua para crear tu primera ontologa Standford University, 2005. OntoWeb Consortium A Survey on Ontology Tools OntoWeb IST Project Deliverable 1.3

@mrebollo

Ontologas

Introduccin Niveles de representacin Representacin conocimiento

Temas para posibles trabajos

Revisin del estado del arte Estudiar las ontologas empleadas para la representacin del conocimiento en agentes. Alineamiento ontolgico Uno de las lneas de investigacin abiertas consiste en el alineamiento ontolgico: cmo dos entidades que emplean ontologas distintas pero compatibles son capaces de intercambiarlas y comunicarse entre s. Revisin de herramientas Estudiar y comparar las herramientas disponibles para la construccin de ontologas. Algunas "histricas" como Ontolingua, Oiled y OntoEdit, y otras actuales como Protg y Hozo.
@mrebollo Ontologas