Metodologa para el desarrollo de

ontologas
Rubn Daro Alvarado*
11 de mayo de 2010

Resumen
Una metodologa es un conjunto de mtodos y tcnicas que determinan que los
resultados de un proceso tengan una calidad aceptable. En contraste mtodo es
un conjunto ordenado de pasos o procedimientos utilizados en el desarrollo de un
producto, mientras que tcnica es un procedimiento utilizado para conseguir un
objetivo (Ander-Egg, 1978).
Por tanto, la metodologa nos proporciona un marco de trabajo, un conjunto
ordenado de pasos que nos ayudarn a construir una ontologa para el dominio del
proyecto.
En el novel campo de la Ingeniera del Conocimiento diversos grupos de investigacin buscan un mtodo de desarrollo de ontologas adecuado pero, las variables
son tantas y tan diversas que es prcticamente imposible obtener un slo mtodo
adecuado para todos los casos. Entre los mtodos ms utilizados para disear y construir ontologas tenemos: Mtodo de desarrollo de Ontologas de Uschold y King;
Mtodo Virtual Empresarial Toronto (TOVE) de Gruninger y Fox; Methontology;
KAKTUS y, el Mtodo de desarrollo de Ontologas propuesto por Noy y McGuiness.

1.

Generalidades

Una metodologa es un conjunto de mtodos y tcnicas que determinan que los resultados de un proceso tengan una calidad aceptable. En contraste mtodo es un conjunto
ordenado de pasos o procedimientos utilizados en el desarrollo de un producto, mientras
que tcnica es un procedimiento utilizado para conseguir un objetivo (Ander-Egg, 1978).
Por tanto, la metodologa nos proporciona un marco de trabajo, un conjunto ordenado
de pasos que nos ayudarn a construir una ontologa para el dominio del proyecto.
En el novel campo de la Ingeniera del Conocimiento diversos grupos de investigacin
buscan un mtodo de desarrollo de ontologas adecuado pero, las variables son tantas y
tan diversas que es prcticamente imposible obtener un slo mtodo adecuado para todos
los casos. Entre los mtodos ms utilizados para disear y construir ontologas tenemos:
*

Si tienes comentarios o correcciones por favor escribe al siguiente correo: ruben.dario76@gmail.com

Mtodo de desarrollo de Ontologas de Uschold y King; Mtodo Virtual Empresarial

Toronto (TOVE) de Gruninger y Fox; Methontology; KAKTUS y, el Mtodo de desarrollo
de Ontologas propuesto por Noy y McGuiness.

2.

Metodologa propuesta

Tomando como base las metodologas de Noy & McGuiness y Methontology, proponemos el siguiente proceso de desarrollo que pone nfasis en la construccin de un modelo
conceptual robusto y en la determinacin clara y concisa de los requerimientos de la
ontologa a construirse:
1. Determinar los requerimientos de la ontologa
2. Reutilizar las ontologas o metadatos existentes
3. Elaboracin del modelo conceptual
4. Implementacin del modelo conceptual
5. Evaluacin de la ontologa
A priori es necesario relevar la importancia que tiene la determinacin de los requerimientos ya que su definicin nos ayudar a tomar varias decisiones durante todo el proceso
de desarrollo. Tambin debemos tomar en cuenta que una ontologa no es nada ms (ni
nada menos) que un modelo de la realidad y como tal debe reflejarla.
Los procesos de evaluacin y documentacin son ejes transversales de este mtodo, lo
que implica su presencia continua en todos y cada uno de los pasos anteriormente citados,
aunque no siempre con el mismo grado de formalidad; esto tomando en cuenta que un
desmedido nfasis en la documentacin de cada uno de los pasos volvera engorroso y
lento el proceso de desarrollo a ms de ser absolutamente innecesario.
Utilizaremos varios de los instrumentos proporcionados por Methontology (esquemas,
diagramas y descriptores) para documentar debidamente el proceso de elaboracin del
modelo conceptual (especialmente). El esquema mostrado en la figura siguiente ilustra
todo el proceso de construccin e implementacin de la ontologa con los instrumentos y
herramientas requeridos para cada paso.
Como se puede observar en la figura anterior, se privilegia la facilidad de comprensin
del desarrollador sobre el nivel de formalizacin del mtodo; es decir, se intenta que esta
primera aproximacin a la creacin de ontologas se realice de forma intuitiva y, conforme
se avanza en el proceso, se incrementa el nivel de formalidad (y de dificultad) del mismo.
Adems, cabe destacar que este es un proceso iterativo; es decir, que despus de obtener
la versin inicial de la ontologa, debemos evaluarla y corregirla; para ello utilizaremos
los requerimientos obtenidos y, por supuesto, la ayuda de los expertos en el dominio.

Figura 1: Descripcin de nuestro mtodo de desarrollo

3.

Fases de la metodologa

Antes de comenzar el proceso de construccin de la ontologa conviene destacar algunas

reglas fundamentales segn Noy & McGuiness (1995):
No existe una nica forma correcta de modelar un dominio; al contrario, siempre
hay alternativas posibles. La mejor solucin casi siempre depende del propsito u
objetivo final de la ontologa o de sus aplicaciones.
El desarrollo de una ontologa es necesariamente un proceso iterativo.
Los conceptos o clases de una ontologa deberan ser muy cercanos a objetos o
entes (tanto fsicos como lgicos) y a las relaciones existentes en nuestro dominio
de inters. Estos conceptos o clases sern muy probablemente nombres (objetos) o
verbos (relaciones) que encontraremos en las frases que describen nuestro dominio.

3.1.

Determinacin de requerimientos

Iniciamos el desarrollo de una ontologa definiendo el dominio, alcance y granularidad

de la misma; para ello es mejor utilizar preguntas significativas o de competencia (Gruninger y Fox, 1995) es decir, utilizar una lista de preguntas que el sistema debera ser
capaz de contestar.
En este apartado se dar respuesta a las siguientes cuestiones bsicas:
Qu dominio cubrir la ontologa? OntoWikiUTPL permitir modelar (representar) la
estructura de una gua didctica de la modalidad de estudios a Distancia de la
UTPL. A manera de ejemplo, se modelarn los contenidos de la gua didctica de
la asignatura de Matemticas Discretas.

Para qu se va a emplear la ontologa? Esta ontologa facilitar la bsqueda de conceptos,

ejemplos y/o ejercicios relacionados con la asignatura de matemticas discretas.
Naturalmente, ser necesaria la inclusin de los conceptos que describen tanto a
la asignatura como a la gua didctica como tal, descartando algunos elementos
propios de la enseanza de la asignatura como la gestin de la bibliografa, de sus
autores o de la estructura del plan de estudios de la carrera correspondiente.
Qu preguntas debera contestar la ontologa? En el dominio de la gua didctica de la
asignatura de matemticas discretas, las siguientes cuestiones son relevantes (entre
otras): Qu es un conjunto? Cuntas formas existen para determinar un conjunto?
Qu grfico ilustra la relacin de inclusin? Cuntas y cules son las operaciones
entre conjuntos? Qu tipo de diagramas permiten la representacin grfica de las
operaciones entre conjuntos? Qu actividades debo desarrollar y enviar a travs
del entorno virtual de aprendizaje? De acuerdo a este listado de preguntas, la ontologa contendr informacin sobre conceptos o definiciones; ejemplos y/o ejercicios;
esquemas, diagramas y figuras; todos estos, elementos constitutivos de una gua
didctica.
Quin utilizar y mantendr la ontologa? Los usuarios potenciales de esta ontologa son
los estudiantes y profesores de la carrera de sistemas informticos y computacin
de la Modalidad Abierta y a Distancia de la UTPL, matriculados en la asignatura
de matemticas discretas. Los administradores de la ontologa sern las personas
encargadas del mantenimiento de la misma.

3.2.

Reutilizacin de ontologas y metadatos

En la actualidad el contenido de la web se asemeja a una biblioteca desordenada y catica de donde es muy difcil y costoso extraer algn tipo de conocimiento. Para solucionar
este problema se han desarrollado metadatos que permiten describir la informacin, facilitan su procesamiento por parte de las mquinas y admiten la integracin y reutilizacin
de la informacin contenida en la web, facilitando la extraccin de conocimientos tiles
para el ser humano.
En general los metadatos son datos que describen a los datos. De forma especfica
permiten mantener un registro sobre el significado, contexto y propsito de un objeto
de informacin para poder comprenderlo y administrarlo de la mejor manera posible.
Existen diversas agrupaciones, a nivel mundial, dedicadas al desarrollo y estandarizacin
de metadatos. Entre las principales tenemos: Dublin Core y W3C.
La importancia del anlisis de diversos repositorios de metadatos radica en la posibilidad de reutilizar los trminos en l definidos para el desarrollo de OntoWikiUTPL.
Este proceso incluye la formalizacin de los nombres utilizados en la ontologa por sus
respectivos sinnimos ms usados o conocidos, lo que permitir una mejor comprensin
del modelo final.
Entre los diversos estndares de metadatos y ontologas existentes en la actualidad,
se realiza una descripcin y comparacin de aquellas cuya relacin con el proyecto a

realizar es estrecha. La finalidad de esta seccin es encontrar elementos reutilizables en

el desarrollo de OntoWikiUTPL.
3.2.1.

Metadatos de Dublin Core

Dublin Core es una organizacin que promueve un estndar de propsito general, sencillo y descriptivo de los recursos de la web sobre cualquier materia. Promueve la iniciativa
Dublin Core Metadata Initiative (DCMI) que provee una infraestructura operativa para
la red semntica y el intercambio de la informacin por medios electrnicos.
Los metadatos universales DC estn diseados especficamente para indexar documentos y recursos. Para ello contiene quince elementos bsicos agrupados segn el tipo de
informacin: siete elementos de contenido, cuatro elementos con informacin relativa a la
propiedad intelectual del recurso y cuatro elementos relativos a la identificacin, formato
y temporalidad del documento.
Cuadro 1: Metadatos de Dublin Core
Contenido

Propiedad Intelectual

Instanciacin

Ttulo (title)

Autor (creator)

Fecha (date)

Tema (subject)

Editor (publisher)

Formato (format)

Descripcin (description)

Colaborador (contributor)

Identificador (identifier)

Tipo (type)

Derechos (rights)

Lengua (language)

Fuente (source)
Relacin (relation)
mbito (coverage)

3.2.2.

WikiOnt

Esta ontologa fue desarrollada por estudiantes del DERI de la National University of
Ireland. WikiOnt es el acrnimo de Wikipedia Ontology, fue creada para tener una definicin comn de la estructura de la informacin contenida en la Wikipedia. La ontologa
es una representacin de Wikipedia (interpretable por un computador) que permite que
el software consulte y reutilice los datos.
Una descripcin completa de la ontologa (en ingls) se encuentra en la pgina http://
sw.deri.org/2005/04/wikipedia. A continuacin presentamos un resumen de las clases
y propiedades descritas en WikiOnt.
Las principales clases identificadas son: article, category, image y stub. Ambas stub
y category son subclases de Article. Las instancias de las clases se conectan mediante
propiedades. Se definieron algunas propiedades, pero en general se trat de reutilizar
elementos de ontologas existentes como Dublin Core y SKOS cuando eran apropiados.

Cuadro 2: Descripcin de WikiOnt

Clases

Propiedades

Article

contentType

Contributor

Sioc views

Category

externalLink

DC date

Skos narrower

Image

internalLink

DC title

Skos subject

Stub

Image height

DC creator

Text

Image width

Link

redirectsTo

Al realizar la definicin de la ontologa, en lugar de abundar en clases y propiedades,

se trat de capturar la esencia de un artculo publicado en la Wikipedia.
3.2.3.

Swim Ontology

Definida por Christoph Lange estudiante de la Jacobs University de Bremen (Alemania) para el proyecto SWIM - A semantic wiki for mathematical knowledge management
http://kwarc.info/projects/swim/. Esta basada en la estructura del documento OMDOC y su esquema en XML, modelada en OWL-DL. Todos los conceptos y relaciones
expuestas en la ontologa tienen su contraparte explcita en la sintaxis OMDOC.
En el cuadro 3 presentamos un resumen de las clases y relaciones utilizadas en esta
wiki semntica (SWIM).
Cuadro 3: Descripcin de la ontologa SWIM
Clases

Relaciones

Theory

Definition defines symbol

Statement

Example exemplifies statements

Proof

Example corroborates assertion

Assertion

Example refutes assertion

Example

Proof proves assertion

Definition
Symbol
Del cuadro anterior se puede inferir la total especializacin de la ontologa, puesto que
describe fielmente el formato OMDOC utilizado exclusivamente para la creacin de documentos del rea de matemtica. SWIM es manejada exclusivamente por el desarrollador
de la wiki.

3.2.4.

Anlisis comparativo

En el cuadro 4 se ilustra el anlisis comparativo de las principales caractersticas de

las ontologas que sirven de base a diversas wikis semnticas.
Cuadro 4: Anlisis comparativo de las ontologas
Caracterstica

WikiOnt

Ontologa SWIM

Documentacin

Abundante

Escasa

Nivel de especializacin

Bajo, ontologa general para

artculos de la wiki

Alto, ontologa slo para

documentos matemticos

Lenguaje de representacin

OWL

OWL

Aplicaciones

Utilizada en el proyecto
Semantic Media Wiki

Utilizada en el proyecto
SWIM

Motor de wiki

Media Wiki

IkeWiki

Licencia

Licencia pblica general

(GNU-GPL)

Licencia pblica general

(GNU-GPL)

Basndonos en la descripcin de las dos ontologas y en el cuadro 4 podemos concluir

que:
Las ontologas analizadas poseen licencia GNU-GPL lo cual nos permite utilizar
alguno de sus elementos o en su conjunto.
La abundante documentacin existente acerca de WikiOnt nos permite detallar
todos sus elementos lo que no es posible con SWIM.
El lenguaje de implementacin (OWL) facilita la integracin de estas ontologas en
cualquier proyecto a desarrollarse.
Finalmente, el nivel de especializacin de las dos ontologas no permite usarlas en este
trabajo investigativo, utilizaremos los elementos de cualquiera de ellas que ms se adecen
al propsito de este proyecto.
3.2.5.

Elementos a reutilizar

En el apartado anterior se realiz un estudio tanto de los metadatos como de las

ontologas utilizadas como base para diversos motores de wikis semnticas, de esta manera
se logr determinar algunas clases y propiedades que pueden ser reutilizadas en la creacin
de OntoWikiUTPL:
De la ontologa WikiOnt, se han tomado algunas propiedades como: link, externalLink, internalLink y text.

De la ontologa desarrollada para SWIM, las clases definition y example.

La reutilizacin de estos elementos se ver de forma explcita en la seccin siguiente que
detalla la construccin del modelo conceptual de la ontologa OntoWikiUTPL.

3.3.

Elaboracin del modelo conceptual

3.3.1.

Definicin de trminos de la ontologa

En este paso se realiza un listado de todos los trminos que tienen relacin con el
dominio; el cuadro denominado Glosario de Trminos (cuadro 5 y cuadro 6) detalla el
nombre de cada concepto acompaado de una breve descripcin del mismo.
Los trminos se han seleccionado a partir de la documentacin (artculos, libros, sitios
web, etc., en nuestro caso particular el mapa conceptual de la gua didctica mostrado
en la seccin ??) y de las respuestas a las preguntas relevantes obtenidas en la primera
parte de este proceso.
Cuadro 5: Glosario de Trminos (parte 1)
Nombre

Descripcin

rea

Nombre del rea a la que pertenece la carrera.

Carrera

Nombre de la carrera a la que pertenece la asignatura.

Asignatura

Nombre de la asignatura de la gua didctica.

Ciclo

Agrupacin de asignaturas en un perodo de tiempo.

Perodo

Espacio de tiempo en el que se desarrolla el ciclo (en nuestro

caso cinco meses).

Gua didctica

Documento que facilita la comprensin del material didctico

por parte del estudiante y orienta y organiza el trabajo del
educando integrando los elementos didcticos para el estudio
de una asignatura.

ndice

Lista ordenada que detalla los captulos y secciones de la gua

didctica indicando el lugar (pgina) donde aparecen.

Introduccin

Seccin inicial que establece el propsito y los objetivos del

contenido de la gua didctica.

Objetivos

Elementos que identifican los resultados o logros que alcanzar

el estudiante en la asignatura.

Cuadro 6: Glosario de Trminos (parte 2)

Nombre

Descripcin

Contenido

Conjunto secuencial de los temas fundamentales de la

asignatura organizados por captulo y seccin.

Bibliografa

Descripcin de los libros o direcciones electrnicas consultadas

para la elaboracin de la gua didctica.

Orientaciones

Sugerencias al estudiante para mejorar el proceso de

enseanza-aprendizaje.

Glosario

Definicin de los trminos nuevos.

Evaluacin

Elemento educativo cuyo fin es verificar los conocimientos

adquiridos por el estudiante.

Direccin electrnica

Elemento que hace referencia a un recurso digital en internet.

Captulo

Divisin de la gua didctica cuyo contenido pertenece a un

mismo tema.

Seccin

Divisin del captulo.

Definicin

Proposicin que rene las propiedades generales y

diferenciadoras de algo material o inmaterial.

Ejercicio

Enunciado cuyo desarrollo permite la comprensin de la teora.

Es ms sencillo que un problema.

3.3.2.

Definicin de las clases y de la jerarqua

Tomando como base el glosario de trminos desarrollado en el apartado anterior, se

selecciona aquellos conceptos que describen objetos independientes para constituir las
clases, mientras que los vocablos que describen cmo son esos objetos se los deja para un
anlisis posterior (posiblemente puedan constituir las propiedades de una o ms clases
de la ontologa).
Algunas reglas generales que nos ayudan a decidir cundo introducir una clase nueva,
segn Noy & McGuiness (1995), se detallan a continuacin:
Una nueva subclase de una clase generalmente:
1. Debera tener nuevas propiedades que no posee la clase
2. Debera tener diferentes valores para las propiedades que los de la clase
3. Debera participar en diferentes relaciones que la clase.
En jerarquas terminolgicas, las nuevas clases no tienen por qu introducir nuevas
propiedades.

Si un factor es importante en el dominio y pensamos en los objetos con diferentes

valores para ese factor como diferentes clases de objetos, entonces deberamos crear
una nueva clase o clases considerando dicho factor.
Las instancias son los conceptos ms especficos representados en una ontologa.
Si los conceptos de un dominio forman una jerarqua natural, debemos representarlos como clases, aunque sean clases abstractas.
Considerando las reglas mencionadas, a continuacin se presentan las clases definidas
para OntoWikiUTPL.
Cuadro 7: Listado de clases de la ontologa
Asignatura

Orientacin

Enlace

Captulo

Objetivo

Contenido

Evaluacin

Seccin

Gua didctica

Bibliografa

Autoevaluacin

Definicin

ndice

Glosario

Solucionario

Ejercicio

Introduccin

Palabra clave

Unidad de informacin

Ejercicio propuesto
Ejercicio resuelto

Luego, deben organizarse las clases en una jerarqua de clases. Cuando desarrollamos
la taxonoma de clases se deben considerar ciertas reglas generales (Noy & McGuiness,
1995). As:
Si una clase A es una superclase de la clase B, entonces toda instancia de B es
tambin una instancia de A.
Una subclase de una clase representa un concepto que es un tipo especial o una
subespecie dentro del concepto representado por la clase.
Si B es una subclase de A y C es una subclase de B, entonces C es una subclase de
A.
No debemos emplear sinnimos de un mismo concepto para representar clases diferentes, sino que los sinnimos deben considerarse denominaciones diferentes para
un mismo y nico concepto.
No deben aparecer ciclos o bucles en la jerarqua de clases.
Los conceptos de un mismo nivel de la jerarqua o clases hermanas (excepto los que
derivan directamente de la raz) deben presentar el mismo nivel de generalidad.
Cada clase debera tener entre 2 y 12 subclases directas.

10

Se debe recordar que no es necesario especializar o generalizar una ontologa ms de lo

que se necesite para la aplicacin. La jerarqua de clases de OntoWikiUTPL es:

Figura 2: Jerarqua de clases de la ontologa

11

En un intento de clasificacin y jerarquizacin de los diversos elementos que forman la

gua didctica se propone el concepto unidad de informacin que facilita la inclusin de
varios componentes genricos en los que cada autor divide al contenido.
Otro factor importante en la definicin de unidad de informacin es el grado de granularidad necesario para que la ontologa pueda reutilizarse en diferentes asignaturas. Se
propone tener tres tipos de unidad de informacin de diferente granularidad: captulo,
seccin y, definicin y ejercicio. Los captulos tienen granularidad gruesa y estan formados por un conjunto de secciones (granularidad media). Las secciones se explican en base
a una coleccin de definiciones y ejercicios (granularidad fina); estos ltimos se eligen
convenientemente por el autor de la gua. De esta forma se puede reutilizar la unidad
de informacin en tres niveles distintos, es decir, se puede reutilizar un captulo entero,
secciones de un captulo o las definiciones y ejercicios que componen una seccin.
3.3.3.

Definicin de las propiedades de las clases

Definidas las clases se describen sus atributos y las relaciones existentes entre ellas
mediante el diagrama de relaciones binarias.
Como las clases fueron seleccionadas del glosario de trminos, la mayora de los trminos que quedan son probablemente sus propiedades.
En general, las caractersticas de los objetos que pueden convertirse en propiedades o
slots en una ontologa son las siguientes:
Todas las subclases de una clase heredan las propiedades de dicha clase, por lo
que una propiedad debera ser adscrita a la clase ms general que posea dicha
propiedad.
Garantizar la consistencia de la base de conocimiento cuando existan propiedades
o relaciones inversas en una ontologa.
El cuadro siguiente muestra el listado de las clases con sus respectivos atributos:
Cuadro 8: Listado de atributos de las clases de la ontologa
Clase
Asignatura

Objetivo
Gua didctica

Atributos

Clase

Atributos

Universidad, modalidad,
rea, carrera, docente,
estudiante.

Enlace

Tipo

Tipo, bimestre.
Ciclo, perodo, autor.

Orientacin

Tipo.

Contenido

Bimestre

Bibliografa

Tipo.

Captulo

Bimestre

Definicin

Texto, imagen.

Ejercicio

Texto, imagen.

Autoevaluacin

Captulo

Solucionario

Captulo

12

El Diagrama de Relaciones Binarias permite conocer el tipo de relaciones entre clases,

las relaciones que se muestran a continuacin son parte de OntoWikiUTPL.

Figura 3: Diagrama de relaciones binarias de la ontologa

El Diccionario de Clases de la Ontologa (cuadro 9 y cuadro 10) permite definir las
relaciones, los atributos de las clases y los atributos de las instancias.
Finalmente, en la figura 4 se presenta el Modelo Conceptual de OntoWikiUTPL.

13

Cuadro 9: Diccionario de clases de la ontologa (parte 1)

Clase

Instancia

Atributos de
clase

Atributos de
instancia

Relaciones

Asignatura

Matemticas
discretas

Universidad

UTPL

tiene gua
didctica

Modalidad

Abierta

tiene objetivo

rea

Tcnica

Carrera

Ingeniera en
Sistemas

Docente

Paola Sarango

Estudiante

Fausto Maldonado

Tipo

General o
especfico

Bimestre

Primero o segundo

Perodo

Abril - agosto,
octubre - febrero

alcanza
objetivo; tiene
unidad de
informacin;
tiene ndice;

Ciclo

Primero, . . .
dcimo

tiene
introduccin;
tiene
orientacin;

Autor

Paola Sarango

tiene
bibliografa;
tiene glosario;
tiene palabra
clave; tiene
enlace;

Tipo

General o
especfico

Objetivo

Gua
didctica

Objetivo 1

Gua didctica
de matemticas
discretas

ndice

ndice 1

Introduccin

Introduccin 1

Orientacin

Orientacin 1

14

Cuadro 10: Diccionario de clases de la ontologa (parte 2)

Clase

Instancia

Atributos de
clase

Atributos de
instancia

Relaciones

Contenido

Contenido 1

Bimestre

Primero o segundo

Bibliografa

Libro 1

Tipo

Bsica,
complementaria o
direccin
electrnica

Glosario

Entrada 1

tiene palabra
clave

Palabra
clave

Palabra 1

tiene enlace

Enlace

Enlace 1

Tipo

Interno o externo

Autoevaluacin

Autoevaluacin
1

Captulo

Solucionario

Solucionario 1

Captulo

Captulo

Captulo 1

Bimestre

Primero o segundo

Seccin

Seccin 1

Definicin

Definicin 1

Ejercicio

Ejercicio 1

Evaluacin

Unidad de
Informacin
tiene seccin
tiene definicin;
tiene ejercicio

Tipo

15

Propuesto o
resuelto

ilustra
definicin

16
Figura 4: Modelo conceptual de la ontologa

3.3.4.

Definicin de las restricciones de las propiedades

En una ontologa, las propiedades pueden tener diferentes facetas, stas describen o
caracterizan el tipo de valor que posee una propiedad.
Las restricciones ms comunes aplicadas a las propiedades son: los valores permitidos
y el nmero de valores posibles (cardinalidad). A continuacin una breve descripcin de
cada una de ellas:
Cardinalidad: Establece cuntos valores puede tener una propiedad o slot. Algunos sistemas distinguen nicamente entre cardinalidad simple (como mximo un valor) y
cardinalidad mltiple (se permiten cualquier nmero de valores).
Tipo de valor: Describe qu tipo de valores puede poseer una propiedad. Los ms frecuentes son: String [Cadena de caracteres], Number, Boolean, Symbol, e Instance.
Dominio y rango de una propiedad o slot: Se suele denominar rango de una propiedad
a las clases permitidas para una propiedad de tipo instancia. El dominio de una
propiedad es el conjunto de clases que describe o caracteriza dicha propiedad.
En la construccin de OntoWikiUTPL se han considerado las restricciones siguientes:

Figura 5: Restricciones de las propiedades de la ontologa

17

Como se puede apreciar en la tabla anterior, se ha detallado para cada una de las
propiedades de cada clase, determinada en la seccin 3.2, el tipo de valor requerido, la
cardinalidad (utilizando los valores simple y mltiple), y las restricciones propias del tipo
de dato symbol.
3.3.5.

Definicin de los axiomas formales

La tabla de axiomas lgicos define las expresiones lgicas que, en la ontologa, son
siempre verdaderas. La definicin de cada axioma incluye el nombre, la descripcin de
la regla en lenguaje natural, el concepto al que se refiere el axioma, la expresin lgica
que describe formalmente el axioma utilizando FOPC (clculo de predicados de primer
orden) y la relacin.

Figura 6: Axiomas de la ontologa

3.3.6.

Creacin de instancias

El ltimo paso consiste en crear las instancias individuales de cada una de las clases.
La definicin de una instancia individual para una clase determinada exige el siguiente
proceso:

18

Elegir una clase

Crear una instancia individual para esa clase
Llenar los valores de las propiedades.
A continuacin se lista como ejemplo los valores de las instancias para las clases: asignatura, objetivo, gua didctica, orientacin, bibliografa, enlace y captulo con sus respectivas
propiedades.

Figura 7: Algunas instancias de la ontologa

3.4.

Implementacin

Para la implementacin de la ontologa se eligi Protg por su portabilidad entre

diversas plataformas, su extenso uso y abundante documentacin. Esta herramienta posee
una interfaz grfica que facilita el desarrollo de la ontologa sin tener que preocuparse
por la sintaxis del lenguaje de definicin de ontologas escogido (OWL).
La codificacin en Protg del modelo conceptual, desarrollado en el apartado anterior,
se realiz de la siguiente manera:

19

3.4.1.

Definicin de los conceptos

Para la especificacin de los conceptos de la jerarqua utilizaremos la pestaa Classes

de Protg. Debemos especificar el nombre de la clase, la superclase (clase padre), y las
clases disjuntas (ubicadas en el mismo nivel jerrquico).

Figura 8: Definicin de clases en Protg

3.4.2.

Definicin de las relaciones entre clases

Definimos las relaciones entre clases utilizando la pestaa Object Properties de Protg.
Para cada relacin se debe anotar: el nombre, el dominio y el rango; as:

Figura 9: Definicin de relaciones en Protg

20

3.4.3.

Definicin de atributos

Al definir los atributos, cuya funcin es describir los conceptos, utilizamos la pestaa Data Properties. Para cada atributo se debe especificar: el nombre, tipo de valor,
cardinalidad, clase a la que pertenece y valores por defecto.

Figura 10: Definicin de atributos.

3.4.4.

Definicin de axiomas

En la definicin de axiomas se utilizan las relaciones y las clases existentes en la ontologa cuantificndolas de forma universal y existencial.

Figura 11: Definicin de axiomas de la clase Asignatura

21

La figura anterior muestra la definicin de los axiomas que pertenecen a la clase asignatura:
Uno existencial: Algunas asignaturas tienen una gua didctica.
Otro universal: Toda asignatura tiene objetivos.
3.4.5.

Declaracin de instancias

Se definen las instancias pertenecientes a cada clase (o concepto) con sus respectivos
atributos.

Figura 12: Declaracin de instancias de la clase Asignatura

La figura anterior muestra los tres paneles en los que se divide Protg al realizar la
creacin de instancias de una clase: class browser, instance browser e individual editor. En
el primero se escoge la clase de la cual se van a crear las instancias y, en el segundo se
realiza el proceso de creacin.

22

Figura 13: Atributos de la instancia de la clase Asignatura

La figura anterior muestra la utilizacin del tercer panel (individual editor) en el que
se muestran los atributos y relaciones de la instancia de la clase a los cuales se les debe
asignar un valor determinado.

Figura 14: Diagrama de clases de la ontologa OntoWikiUTPL

Finalmente, la figura anterior muestra el diagrama de clases de OntoWikiUTPL, generado gracias al plugin TGViz de Protg.
3.4.6.

Definicin de consultas

A continuacin se muestran los resultados de dos consultas realizadas sobre el dominio

de la ontologa; la primera busca todas las definiciones que contengan la palabra conjunto

23

y la segunda busca los ejemplos que se refieran al concepto conjunto.

Figura 15: Creacin de la primera consulta

La figura anterior ilustra el proceso de creacin de la consulta que nos permitir buscar
la palabra conjunto dentro de todas las instancias de la clase definicin utilizando para
ello el atributo texto definido para esta clase.

Figura 16: Bsqueda de datos de la primera consulta

El resultado de esta bsqueda se muestra en la figura anterior. El panel search results
exhibe todas las instancias que continen la palabra conjunto.

3.5.

Validacin de la ontologa

Mediante el uso del razonador Pellet, Protg permite validar algunos aspectos de la
ontologa, entre ellos: chequear la consistencia de la ontologa, obtener automticamente
la clasificacin taxonmica y computar los tipos inferidos.

24

Los resultados de la aplicacin de estas pruebas de validacin a la ontologa OntoWikiUTPL se muestran a continuacin:

Figura 17: Verificacin de inconsistencia de clases

Comprobacin de la consistencia: permite constatar que no existen contradicciones en la
ontologa. La semntica de OWL define una especificacin formal para la definicin
de la consistencia en una ontologa empleando Pellet.

Figura 18: Verificacin de la taxonoma de clases

Validacin de la taxonoma de clases: observa la relacin entre cada clase y comprueba
la jerarqua de clases completa.

Figura 19: Verificacin de inferencia de clases

25

Verificacin de inferencia de clases: encuentra las clases ms especficas a las que pertenece una instancia; en otras palabras, determina la clase a la que pertenece cada
uno de los individuos.

4.
4.1.

Evaluacin de OntoWikiUTPL
Evaluacin de versiones de la ontologa

La creacin de una ontologa es un proceso iterativo e incremental por lo tanto, es una

actividad que se realiza de manera paralela a cada una de las fases de la metodologa
utilizada; esto permite detectar errores y documentar cada fase de desarrollo.
Durante el proceso de desarrollo de OntoWikiUTPL se realiz un refinamiento de tres
versiones. A continuacin las detallamos:
Cuadro 11: Primera versin de OntoWikiUTPL
Criterio

Valor

Nmero de clases

25

Nmero de atributos

14

Nmero de relaciones

24

En esta primera versin, la dificultad mayor consisti en la diferenciacin entre clase

y atributo; a ello se debe el alto nmero de clases existentes. Tambin se tom en cuenta
algunas relaciones entre conceptos triviales cuya depuracin terminara en la tercera
versin de la ontologa.
Cuadro 12: Segunda versin de OntoWikiUTPL
Criterio

Valor

Nmero de clases

21

Nmero de atributos

16

Nmero de relaciones

20

En la segunda versin se solucion el problema de diferenciacin entre clase y atributo,

por lo que algunos conceptos considerados clases en la primera versin se transformaron en atributos en la segunda. La principal dificultad en esta versin consisti en la
consideracin de varias clases vacas, es decir que no tenan instancias asociadas; esto se
solucion en la tercera versin de la ontologa.

26

Cuadro 13: Tercera versin (definitiva) de OntoWikiUTPL

Criterio

Valor

Nmero de clases

19

Nmero de atributos

19

Nmero de relaciones

17

Para la tercera y definitiva versin se consolidaron el nmero de clases, atributos y

relaciones, eliminado las clases no instanciadas, los atributos no utilizados y las relaciones
no recorridas. Como resultado se logr obtener una ontologa compacta y con un nivel
de expresividad suficiente para los fines planteados.
Cuadro 14: Anlisis comparativo de las versiones de OntoWikiUTPL
Criterio

Versin 1

Versin 2

Versin 3

Nmero de clases

25

21

19

Nmero de atributos

14

16

19

Nmero de relaciones

24

20

17

Nmero de axiomas

4.2.
4.2.1.

16

Evaluacin a nivel estructural

Mtricas de cohesin

Para este tipo de evaluacin se consideraron los criterios provisto en Gangemi et al. ya
que permiten evaluar la ontologa en funcin de su estructura y funcionalidad. En cuanto
a la escala de evaluacin, se tomo en consideracin la proporcionada por Yao, Orme y
Etzkorn (2005) as:
Cuadro 15: Escala de valores para la evaluacin
Criterio

Valor

Bajo

0.00

Moderado

0.25

Promedio

0.50

Alto

0.75

Excelente

1.00

27

Los valores encontrados para OntoWikiUtpl son:

Cuadro 16: Mtricas de Cohesin de OntoWikiUTPL
Criterio

Valor

Nmero de clases races (NCR)

14

Nmero de clases hoja (NCH)

17

Promedio de profundidad de herencia

del rbol de nodos hoja (PPH-ANH)

0.86

Cuadro 17: Clculo del PPH-ANH

Concepto

Caminos por
concepto

Nodos por
camino

Asignatura

Bibliografa

Contenido

Enlace

Evaluacin

ndice

Introduccin

Objetivo

Orientacin

Palabra clave

Solucionario

Glosario

Gua didctica

Unidad de
informacin

Total

19

22

Considerando los resultados obtenidos a nivel estructural, con un valor de 0.86 para
el promedio de profundidad de herencia del rbol de nodos hoja, podemos afirmar que
OntoWikiUTPL tiene un valor de cohesin alto muy adecuado para el propsito de la
misma.

28

5.

Conclusiones y Lneas Futuras

1. No es necesario tener una vasta experiencia en el campo de la ingeniera del conocimiento para construir una ontologa; lo realmente importante es el escogitamiento
de una metodologa comprensible que explicite el proceso de desarrollo y la colaboracin de los expertos en el dominio de la ontologa a desarrollarse.
2. La metodologa propuesta permite un tratamiento gil con un buen nivel de documentacin adems de facilitar la comprensin del proceso de construccin gracias al
apoyo de esquemas y organizadores grficos en cada una de las etapas del proceso.
3. Este proyecto permite la estructuracin semntica de una gua didctica de cualquier asignatura utilizando una wiki semntica.

Referencias
[1] Abin, Miguel ngel (2005). El futuro de la web: XML, RDF/RDFS, Ontologas y
Web Semntica.
[2] Antoniou, G. and Van Harmelen, F. (2004). A Semantic Web Primer. Cambridge,
Massachusetts: The MIT Press.
[3] Booch, G., Rumbaugh, J. and Jacobson, I. (1997). The Unified Modeling Language
user guide. Addison-Wesley.
[4] Breitman, K. K., Casanova, M. A. and Truszkowski, W. (2007). Semantic Web:
Concepts, Technologies and Applications. Springer.
[5] Fensel, D., Hendler, J., Lieberman, H. and Wahlster, W. (2005). Spinning the Semantic Web. Cambridge, Massachusetts: The MIT Press.
[6] Grninger, M., Fox, M. S. (1995). Methodology for the Design and Evaluation of
Ontologies. Conf. AI Workshop on Basic Ontological Issues in Knowledge Sharing.
[7] Hepp, M., De Leenheer, P., De Moor, A., and Sure, Y. (2008). Ontology Management:
Semantic Web, Semantic Web Services, and Business Applications. Springer.
[8] Noy, Natalya y McGuinness, Debora (2005). Desarrollo de Ontologas 101: Gua
para crear la primera ontologa. Universidad de Stanford, California.
[9] Rumbaugh, J., Blaha, M., Premerlani, W., Eddy, F. and Lorensen, W. (1991).
Object-Oriented modeling and design. Englewood Cliffs, New Jersey: Prentice Hall.
[10] Uschold, M., Grninger, M. (1996). Ontologies: Principles, Methods and Applications. Knowledge Eng. Rev., Vol. 11, N 2.
[11] Hendler, J. (2001). Agents and the Semantic Web. IEEE Intelligent Systems,
March/April 2001.

29

[12] Aguilar, F., Ruth, M. (2007). Orientaciones Generales para la elaboracin de guas
didcticas en la Modalidad de Educacin a Distancia. UTPL, Loja.
[13] Vlkel, M., Oren, E. (2006). Personal Knowledge Management with Semantic Wikis.
[14] Schaffert, S., Gruber, A., Westenhaler, R. (2005). A Semantic Wiki for Collaborative
Knowledge Formation. In: Semantics 2005, Vienna, Austria.
[15] Guarino, N. (1998). Formal ontology and information systems. In: Proceedings of
the First International Conference on Formal Ontologies in Information Systems,
FOIS98, Trento, Italia.
[16] Berners-Lee, T.; Lassila, O.; Hendler, J. (2001). The Semantic Web: A new form
of Web content that is meaningful to computers will unleash a revolution of new
possibilities. Scientific American, 284(5), pp. 34-43.
[17] Protg (2000). The Protg Project: http://protege.stanford.edu
[18] W3C Semantic Web: http://www.w3.org/2001/sw/
[19] CO-ODE: http://www.co-ode.org/
[20] OnToKnowledge Project: www.ontoknowledge.org/
[21] Dublin Core http://dublincore.org
[22] Ontolingua:
http://www-ksl-svc.stanford.edu:5915/doc/
ontology-server-projects.html
[23] WebOnto: http://eldora.open.ac.uk:3000/Webonto
[24] DAML Library: http://www.daml.org/ontologies/
[25] SchemaWeb: http://www.schemaWeb.info/
[26] OilEd: http://oiled.man.ac.uk

30