UNIVERSIDAD NACIONAL DE

PIURA
ESCUELA DE POSTGRADO

TRABAJO
ONTOLOGIA, DEFINICION, COMPONENTES, EJEMPLOS,
METODOLOGIAS Y RELACIONES.

INTEGRANTES:
PINGO ARRIETA GERARDO ROEL
PURIZACA MARTINEZ RAUL ADOLFO
ALZAMORA CASTILLO OSCAR IGOR
DOCENTE:
DR. FLAVIO GUTIERREZ SEGURA

PIURA, 26 DE SETIEMBRE DEL 2015

ONTOLOGIAS
En 1991 la agencia norteamericana de proyectos de investigacin avanzados
(ARPA) en su esfuerzo por compartir conocimientos, revoluciono la manera
segn la cual deberan construirse sistemas inteligentes. Esta fue su propuesta
construir sistemas inteligentes hoy ben da conlleva construir nuevas bases de
conocimientos a partir de borradores de las mismas.
Esto podra llevarse a cao a partir de ensamblar componentes reutilizables. Los
desarrolladores de esos sistemas solo necesitaran preocuparse acerca de crear
los conocimientos especializados y nuevos razonadores adaptados a la tarea
especfica de su tarea, usndolos a cabo para llevar algunos razonamientos. De
esta forma deberan compartirse entre sistemas conocimientos declarativos,
tcnicas de solucin de problemas y servicios de razonamiento. Este enfoque
facilitara construir mejores sistemas, ms grandes, ms baratos, etc.
Desde entonces, se ha hecho un esfuerzo considerable en desarrollar las bases
conceptuales para construir la tecnologa que permita reutilizar y compartir
componentes de conocimientos. Esto ha permitido conseguir notables
progresos en este dominio, pero quizs los ms relevantes para facilitar
compartir y reutilizar conocimientos y razonamientos a lo largo y ancho de
dominios y tareas, sean los alcanzados en Mtodos de Solucin de Problemas
(MSP) Y ontologas.
Los primeros tienen que ver con los conocimientos dinmicos de razonamiento
del dominio, y las segundas con los conocimientos estticos. La integracin de
estos dos enfoques tecnolgicos constituye, segn Bylander y Chandrasekaran,
una posible solucin al problema de la interaccin, que establece que
representar conocimientos con el propsito de resolver algn problema, est
muy afectado por la naturaleza del problema y la estrategia de inferencia a
aplicar al problema. Mediante las ontologas y los MSP, esta interaccin pude
hacerse explicita y tenida en consideracin.
Las bases de conocimientos, BCC en singular y las ontologas estn
estrechamente relacionadas en sistemas GC.
Genricamente la ontologa es la rama de la filosofa que trata con el orden y la
estructura de la realidad. es decir, con el termino ontologa, se denota un
campo ms bien esotrico de la filosofa que estudia el ser , esto es , lo que
Hay en el mundo .
Etimolgicamente ontologa (del griego ontos : ser ; y logos: tratado o estudio)
es el estudio del ser y sus propiedades esenciales . O si se quiere, la naturaleza
de la existencia o la nocin de la presencia .

La cuestin general de la ontologa; es decir como estructurar mejor los

conceptos para una computacin efectiva, conduce al filosfico y fundamental
resultado de que es la computacin . En este sentido, Berners Lee, creador de
la web y colegas consideran que las ontologas son una parte crtica de su
ltimo trabajo sobre una Web Semntica, que imagina que no solo permitir a
los agentes software comunicarse entre ellos, sino tambin con telfonos.
Casi todas las ontologas que usan actualmente disponibles conciernen con la
modelizacin de conocimiento esttico de un dominio. En su forma ms
fuerte
.Intentan
capturar
conocimientos
universalmente
vlidos,
independientes de su uso, una visin estrechamente relacionada con sus
orgenes filosficos .Sin embargo, en IA se renuncia a esta visin porque resulta
que el uso especfico del conocimiento
influencia su modelizacin y
representacin.

DEFINICIN DE ONTOLOGA

En la vida real, todo lo que existe y se conoce tiene un nombre, por ejemplo, un
libro, una herramienta, una ciudad, etc. Para la GC, y ms concretamente a la
hora de conceptualizar los conocimientos de un experto, lo que existe es todo
aquello que puede ser representado en un lenguaje comprensible por la
computadora. Por ellos tiene sentido hablar de las oncologas en GC.
La definicin ms comnmente citada es la de Gruber: Una ontologa es una
especificacin formal de una conceptualizacin compartida. En este contexto,
una conceptualizacin se refiere a un modelo abstracto de cmo la gente
piensa acerca de las cosas en el mundo, habitualmente restringidas a un rea
temtica particular. Una especificacin explicita significa que los conceptos y
relaciones del modelo abstracto son trminos y definiciones explicitas dadas.
Posteriormente el mismo Gruber la describe como una especificacin explicita
de una visin abstracta del mundo simplificada, que se desea representar.
Una razn tpica para construir una ontologa es dar un lenguaje comn y
consensuado para compartir y reutilizar el conocimiento acerca de un
fenmeno de inters en el mundo.

COMPONENTES Y TIPOS DE ONTOLOGAS

Los conocimientos en las ontologas se formalizan teniendo en cuenta la
clasificacin de Gruber.
Conceptos o Clases. Son colecciones de objetos de dominio y se usan en un
sentido amplio. Pueden ser abstractos y concretos, elementales o compuestos,
reales o ficticios, etc. En resumen, un concepto puede ser cualquier cosa
acerca de la cual se dice algo y por lo tanto podra ser la descripcin de una
tarea, funcin, accin, estrategia, razonamiento, proceso, etc. Dentro de las
clases se obtienen los siguientes superconjuntos, subconjuntos, taxonomas y
componentes.
1.
2.
3.
4.
5.

Metaclases: tienen como instancias otras clases.

Particiones: clases que no tienen instancias comunes.
Clases: se organizan en taxonomas.
Atributos: son propiedades que describen las clases.
Las relaciones representan interacciones entre conceptos del dominio.

6. Las funciones son un caso especial de relaciones entre clases.

7. Los axiomas se utilizan para las sentencias del modelo que son siempre
verdad.
8. Las instancias se utilizan para modelizar elementos de las clases.
9. Las instancias de relaciones son elementos de las relaciones.
10.Las reglas de produccin que se utilizan para expresar heursticas
mediante conjunto de condiciones y acciones que pueden ser utilizadas
independientemente de la forma en la cual sern utilizadas.
11.Procedimientos, un procedimiento representa un mtodo para obtener
un resultado.

EJEMPLOS EN EL USO DE ONTOLOGIAS

Los conocimientos de una ontologa pueden ser reutilizados al conceptualizar
otros sistemas si estn expresados con la suficiente generalidad y abstraccin.
Es decir, si son independientes del uso final de las definiciones. El siguiente
ejemplo presenta conocimientos de una BC (base de conocimiento) que no
pueden ser reutilizados y que tipos de conocimiento formaran parte de la
ontologa para que si lo pudieran ser. Obsrvese que las diferencias de cilindro,
batera y motor formaran parte de una ontologa dependiendo del dominio de
los coches, mientras que las definiciones del concepto componente, y de la
relacin parte-de formaran parte de una meta ontologa (ontologa usada para
construir otras ontologas), vlida para cualquier dispositivo fsico.
B.C
PARTE DE (Cilindro, Motor)
PARTE DE (Batera, Motor)
Ontologa de Coches:
Concepto: Cilindro
Tipo-de: Componente
Concepto: Batera
Tipo-de: Componente
Concepto: Motor
Tipo-de: Componente
METAONTOLOGIAS:
Concepto: Componente
Relacin: Parte-de
N Argumentos: 2
Tipo.Arg1: Componente
Tipo.Arg2: Componente
Las ontologas se agrupan en libreras de ontologas, de tal forma que una
ontologa puede usar definiciones de otras. Las libreras de ontologas son
tiles en la etapa de conceptualizacin porque permiten reutilizar
conocimientos ya adquiridos, conceptualizados y expresados en un lenguaje

formal. En cada ontologa, los conocimientos del dominio se encuentran

organizados en jerarquas de conceptos, y cada concepto tiene un conjunto de
propiedades y relaciones con otros conceptos. Por consiguiente, la labor del
usuario cuando reutiliza conocimientos procedentes de ontologas para
construir un nuevo SBC (Sistemas basados en conocimientos) consiste en:
1. Ir a la librera de ontologas y seleccionar aquellas ontologas que le son
tiles
2. Buscar en cada ontologa seleccionada las definiciones
3. Identificar las definiciones que necesita y que la ontologa no incluye
4. Ensamblar ambas partes creando la BC del sistema.
GRAFICO 1:
Se muestran los pasos realizados al modelar los conocimientos del dominio de
vehculos. En el ejemplo, la librera de ontologas consta de tres ontologas. La
ontologa de vehculos, que proporciona una jerarqua de conceptos. La de
nmeros, que contiene una jerarqua, proporciona un conjunto de instancias.
Solo son tiles definiciones procedentes de ontologas de vehculos.
Concretamente de la jerarqua de vehculos, las definiciones de: vehculo,
coche, camin, coche-familiar, coche-deportivo, y camin. El resto de vehculos
(coche-polica, furgoneta y ambulancia) que el IC tiene identificados, y que no
le son dados en la ontologa, tendr que ser definidos por l. Finalmente, hay
que ensamblar ambas partes de la base de conocimientos de un sistema
REUTILIZACION DE CONOCIMIENTOS DE ONTOLOGIAS EN EL DESARROLLO DE
SS.BB.CC

Ont.
Vehculos
Vehculo
Coche
autobs
Camin
Coche
deportivo
Coche
Vehculo
Coche
autobs
Camin
Coche
deportivo
Coche

Ont.
Nmeros
Entero
Natural

Ont. Unidades de
medida
Unidad de medida
Da
Unidad de Tiempo
Ao
Unidad de distancia

Furgoneta
Coche polica
ambulancia

Modelo
Dominio
Vehculo

Las ontologas tambin se utilizan para que diferentes sistemas compartan

conocimientos en tiempo de ejecucin. En este caso, un sistema plantea a otro
sistema una consulta, y proporciona la respuesta. La siguiente figura nos
muestra como diferentes sistemas construidos en el campo de la aeronutica
pueden utilizar conocimientos de otros. En este caso, un sistema de reparacin
de aviones que no posee conocimientos de diseo y de diagnstico utiliza,
temporalmente, cuando los necesite, los conocimientos y las tcnicas de
inferencia de dichos sistemas. Se evita as el tener que repetir conocimientos
que ya estn expresados en otros sistemas.. Para que esto sea posible, se
necesita:

Un lenguaje compartido que sea independiente de los lenguajes utilizados por

ambos sistemas. El lenguaje KIF (Knowledge Interchange Format) fue
concebido por este propsito.
Un protocolo de comunicacin para que los
ordenadamente, por ejemplo, KQML (Knowledge
Language).

sistemas dialoguen
Query Manipulation

Un vocabulario compartido que unifique los vocabularios de ambos sistemas.

Por ejemplo si un sistema conoce y razona con el concepto kilometro y otro con
el concepto milla, y el primero necesita utilizar conocimientos del segundo, la
ontologa unificara sus vocabularios al decir que una milla es
aproximadamente 1,6 km.
COMPARTIR CONOCIMIENTOS ENTRE DIFERENTES SISTEMAS

Diagnstico
de aviones

Diagnstico
de aviones

Lenguaje compartido
&
Protocolo de
comunicacin
&
Vocabulario

Diagnstico
de aviones

Diagnstico
de aviones

Prediccin de
fallos en aviones

PRINCIPIOS METEDOLOGICOS PARA CONSTRUIR ONTOLOGIAS

-

Claridad: trminos bien definidos y documentacin en lenguaje natural

Complecin: expresar la definicin en trminos de condiciones
necesarias y suficientes.
Maximizar la ampliacin montona: esto quiere decir que deben incluir
en la ontologa trminos nuevos.

Acuerdos ontolgicos mnimos: conocer y estar conforme con los

conceptos de otros sistemas. Ejemplo del quirfano, tanto enfermera
como mdico, tienen que estar de acuerdo en lo que es una venda, un
bistur o una tijera.
Minimizar la distancia semntica entre conceptos emparentados: es
decir conceptos emparentados son agrupados y representados como
subclases de una clase
Normalizacin: estandarizar los nombres tanto como sea posible.

FACTORES QUE INCIDEN EN LA NECESIDAD ONTOLOGICA EN GC

Los usuarios de GC realizan discusiones en grupo, bien para plantear o
responder una cuestin. Para ello deben ser capaces de aislar a los grupos que
estn interesados en los mismos temas. Las ontologas sirven para definir el
mbito de las discusiones de esos grupos; y por otra parte para definir entre
que diferentes grupos discutir, sin una ontologa que guie lo que discuten os
grupos puede haber redundancia entre lo que discuten haciendo difcil para los
usuarios cumplir con sus objetivos y necesidades en particular.
Los sistemas de GC debe proporcionar capacidades de bsqueda con cierto
nivel de precisin y capacidad de filtrado, es decir examinar cantidades de
informacin y dirigir al usuario hacia la fuente de informacin de su inters.
Las ontologas tambin facilitan la reutilizacin del conocimiento almacenado
en el sistema de GC, un ejemplo seria las firmas consultoras que archivan
conocimientos referidos a las propuestas.
Cuando una ontologa es preferible a otra? Qu caracterstica definen la
preferibilidad de una ontologa?, estas caractersticas son las siguientes:
-

Costes-beneficio: las decisiones finales se toman de acuerdo al costo y

beneficio que genere.
Descomponibilidad: las ontologas deben ser descomponibles en
elementos de conocimientos independientes, ya que as se hace se hace
ms eficiente su bsqueda
Facilidad de entendimiento: material bien definido y grficamente
ilustrado.
Ampliables: las ontologas deben ser ampliables a nuevos conceptos.
Modularidad y comunicacin: las ontologas deben relacionarse entre s.
Se deben base en teoras o marcos de trabajo, para facilitar su eleccin

ONTOLOGAS Y BB.CC.

Los componentes tal vez ms importantes de los sistemas de GC son las

BB.CC. y las ontologas. En efecto, los sistemas de GC emplean un amplio
rango de BB.CC. incluyendo especialmente las de lecciones aprendidas y
MM.PP. Para usar efectivamente esas BB.CC., es necesario generar ontologas
que permitan a los usuarios definir precisamente que recursos necesitan y
quieren. De hecho, las ontologas y las BB.CC. estn estrechamente
relacionadas en GC. Las ontologas definen las caractersticas y visiones de las
BB.CC., al tiempo que emplean modelos que son tiles en la definicin y
acceso a las BB.CC. Adems las ontologas permiten facilitar la comunicacin
entre mltiples usuarios y enlaces entre mltiples BB.CC. A su vez. Las Bb.CC.
confan en las ontologas para su especificacin no ambigua de visiones y
estructura.
En efecto, la GC es la gestin formal de los conocimientos para facilitar la
creacin, acceso y reutilizacin de los conocimientos especialmente usando
tecnologa avanzada. Los sistemas de GC contienen numerosas BB.CC. con
datos y noticias tanto cualitativos(as) como cuantitativos(as). Adems esos
sistemas permiten, con frecuencia, las discusiones en grupo que se centran
sobre un conjunto nico de asuntos o actividades especficas.
Las BB.CC. engloban el contenido del sistema de GC. Depende habitualmente
del dominio y negocio especficos en los cuales est inmersa la organizacin.
Tpicamente, las BB.CC. incluyen: propuestas, contratos, noticias, MM.PP. y un
amplio abanico de otros temas. Las BB.CC. de contratos renen informacin
acerca de distintos trabajos que estn capturados en papeles de trabajo, reales
o virtuales. Las BB.CC. de propuestas capturan informacin acerca de las
propuestas que una organizacin concreta ha efectuado para generar
contratos. Las BB.CC. de noticias proporcionan noticias de inters para la
organizacin, mientras que otras BB.CC. permiten acceder a artculos recientes
en diarios y revistas. Las BB.CC. de MM.PP. proporcionan acceso a procesos de
la organizacin que parecen definir la mejor forma de hacer las cosas. Las
BB.CC. de expertos identifican quin es experto en la organizacin en un
conjunto particular de actividades.
Las BB.CC. no slo difieren en sus contenidos, sino tambin en la complejidad
de su desarrollo, o la dificultad de desatollar unas con respecto a otras. Esta
dificultad viene influenciada por distintos factores. En primer lugar, porque
algunas BB.CC. capturan informacin que fue generada utilizando tecnologa
limitada, como el papel. En segundo trmino, muchas BB.CC. usan una fuente
de informacin nica. Estas Bb.CC., al estar limitadas a un nico tipo de
informacin, son generalmente ms fciles de desarrollar y mantener que otras
con mltiples fuentes de conocimientos. Eso es debido a que no hay necesidad
de integrar dichas fuentes y no es preciso buscar informacin en distintos
lugares. Adems, las BB.CC. pueden usar informacin de fuentes externas y/o,
internas, aunque la calidad y cantidad de informacin externa es menos

predecible y controlable que la interna. Tambin, las BB.CC. de mltiples

fuentes derivan de decisiones basadas en adquisicin e integracin. Por
consiguiente, esas BB.CC. que necesitan ambos tipos de informacin son ms
difciles de generar y mantener accesos fciles que las que recopilan
informacin de una fuente nica.

METODOLOGAS PARA ONTOLOGAS

En la siguiente tabla, se muestra un resumen de las propuestas de las distintas
metodologas sobre la etapa de conceptualizacin:
Metodologa

Cyc
Uschold y King
Grninger y Fox
Bernaras et otros
Methontolohy
Sensus

Propuesta de una
etapa intermedia entre
la adquisicin y la
implementacin
No
No
S
S
S
No

Propuesta de una
etapa de
conceptualizacin
No
No
No
S
S
No

Las conclusiones a las que se llegan son las siguientes:

Slo dos metodologas proponen una etapa de modelizacin conceptual
independiente de la tecnologa. Dado que las ontologas contienen
conocimientos, y dado que estos conocimientos tienen que ser legibles por una
mquina, surge, de manera natural, una descomposicin del proceso de
modelizacin de ontologas en dos etapas: una en el nivel de conocimientos,
independiente de la tecnologa, y otra en el nivel simblico. Ahora bien, slo
Methontology y la metodologa de Bernaras y colegas proponen una etapa de
modelizacin independiente de la tecnologa.
No todas las metodologas que incluyen una etapa de conceptualizacin la
especifican en el mismo detalle. Al igual que ocurre con las dems etapas, hay
una diferencia en el grado de detalle de la exposicin del mtodo de
conceptualizacin muy a favor de Methontology con respecto a Bernaras y
colegas. De hecho, Methoontology ha tomado prestado, como esquema de
conceptualizacin, el esquema de Gmez y colegas.
El hecho de que una determinada metodologa proponga una etapa de
conceptualizacin no va necesariamente asociado a un grado de mayor
madurez de la metodologa. La metodologa de Bernaras y colegas no est ms
madura que la metodologa de Grninger y Fox. Pues la primera no hace
mencin al orden en que se han de realizar las distintas actividades, mientras
que en la de Grninger y Fox se establece en qu orden se llevan a cabo las
actividades de desarrollo. Adems, la metodologa de Grninger y Fox detalla
ms la manera de llevar a cabo cada actividad.

Slo las metodologas de Grninger y Fox, la de Bernaras y sus colaboradores,

y Methontology, proponen una etapa de diseo. En las que no existe tal
propuesta, el salto de la adquisicin a la implementacin es todava ms
brusco.
Las metodologas que dan guas para conceptualizar y formalizar tienen
modelos de conocimientos rgidos. No permiten adaptar los mecanismos de
modelizacin a distintas situaciones. sta es una circunstancia que se da tanto
en la conceptualizacin como en la formalizacin.

RELACIONES ENTRE MM.CC. Y ONTOLOGAS

Ahora que ya se conocen las tcnicas de representacin de conocimientos, esto
es, los MM.CC. y ontologas, se van a explicar las relaciones existentes entre
ellas. Bien es cierto que hay ontologas que se pueden trasladar al campo de
los MM.CC. y viceversa, por tratarse ambas de tcnicas de representacin de
conocimientos, no obstante, cada tcnica tiene su orientacin, y es ms
adecuada dependiendo del contexto o la situacin. Es aqu en donde entra la
pericia del IC para elegir la tcnica ms adecuada.
Relacin
Tipos I
Tipos II

Dominios

MM.CC.
Globales, detallados
Ad-hoc
Archivo
Conceptos
Mentales
Informacin
TIC
Valores
Carretera
Estratgicos:
Planificacin
Negocio
Oportunidades TIC
Etc.

Procesable

En principio pensado
para niveles
conceptuales, pero se
puede implementar

Razonamiento

A nivel de Clase
A nivel de
No
automtico
Instancia
Combinado
Se pueden definir
MM.CC. en funcin de

Meta

Ontologa
De la organizacin
De la Tarea
Del Dominio
Aplicacin
Tcnicos:
Medicina
Aeronutica
Medidas
Sistemas
Etc.
Comprende dede
niveles procesables
hasta niveles de
implementacin por
ejemplo: portal de
ontologas.
A nivel de Clase
A nivel de
No
automtico
Instancia
Combinado
Metaontologas

Componentes

Otras

s mismos
Conceptos
Relaciones
Enlaces

Nodos

Etiquetados
Otras
Valores
Configuracin
Hitos
Es especiales
Tareas
Procedimiento muy
visual e intuitivo
Representacin

Conceptos(clases)
Relaciones
Atributos
Funciones
Procedimientos
Axiomas
Instancias de clase
Instancias de relacin

Procedimiento
automtico
Comunicacin entre
sistemas
Como se puede ver en la tabla anterior, los MM.CC. estn ms orientados a una
representacin conceptual de conocimientos mientras que las ontologas se
componen de modelos que se van desde conceptualizacin hasta la
implementacin, por ejemplo en portales de ontologas, pasando por algn tipo
de formalizacin. Aunque ambas tcnicas se pueden implementar, las
ontologas estn concebidas, para compartir vocabulario comn entre
diferentes sistemas permitiendo la interactuacin entre ellos. sta razn, entre
otras, es la que hace que los dominios que cubren las ontologas sean ms
tcnicos, mientras que los MM.CC., adquieran un carcter ms estratgico, de
planificacin o gestin.
Tambin se puede observar en la tabla que, en ambos casos, se pueden
realizar razonamientos tanto a nivel de clase, instanciando el modelo a un caso
particular, o de manera combinada, aunque en ontologas por lo general se
suelen hacer de manera automtica.