Modelos de Conocimiento Basados en Ontologías para la ...

Capítulo 3. Representación del conocimiento y ontologías
dominio. Por esta razón, a veces se habla de ontología en singular ó de ontologías
en plural. En este trabajo se utiliza el término en singular, ontología, para hacer
referencia a la estructura total que recoge el conocimiento que quiere
representarse, sin tener en cuenta si esta estructura está formada por una o varias
ontologías separadas. Además, se habla de la "parte estática" y la "parte dinámica"
de la ontología para referirse al conocimiento factual y de resolución de
problemas respectivamente.
La creación de ontologías comenzó siendo, y todavía lo es en parte, un arte. Sin
embargo, desde el comienzo se pretendió que la disciplina tuviese un tratamiento
de ingeniería en todos sus aspectos y por lo tanto se llevaron a cabo trabajos que
intentan clarificar los aspectos constructivos (Guarino y Welty, 2004), definir
metodologías de construcción (Fernández et. al., 1997) y métodos de evaluación
(Sure et. al., 2004) así como mecanismos para la reutilización (Pinto y Martins,
2004).
3.3.5 Formalismos para la construcción de ontologías
Las ontologías son un mecanismo de representación del conocimiento que
pertenecen al denominado "nivel del conocimiento" (ver apartado 3.3.1), es decir,
una ontología puede existir en la mente de un ser humano sin que haya reflejo de
la misma en ningún soporte físico externo; sin embargo, en el contexto de la
computación, estas estructuras se introdujeron con la idea de ser implementadas y
automatizadas en un ordenador. La implementación de las estructuras de una
ontología en un lenguaje reconocible por un ordenador se denomina
formalización. En un proceso de formalización siempre se perderá algo de la
expresividad que contiene una ontología expresada en el nivel del conocimiento
porque el ordenador (los lenguajes que el ordenador puede manejar) tiene un
límite expresivo (de ahí surgen los problemas de computabilidad y complejidad
computacional mencionados en apartados anteriores). A lo largo de los años se
han utilizado diferentes formalismos y lenguajes para representar ontologías.
Desde las aproximaciones provenientes de los lenguajes utilizados para la
construcción de los sistemas expertos en los años 1980s, hasta las lógicas
descriptivas y los lenguajes creados para la Web Semántica en Internet, la
evolución ha sido constante. En (Corcho et. al., 2003), (Gómez-Pérez y Corcho,
2002), (Pulido et. al., 2006) se pueden encontrar buenas monografías sobre este
tema. A continuación se ofrece una visión personal y resumida sobre esta
evolución.
Los formalismos de representación del conocimiento aparecen muchas veces
ligados a herramientas o sistemas que forman un entorno completo para la
creación de modelos conceptuales. Pueden poseer una base muy formal,
basándose en una teoría lógica y, por lo tanto, tener una semántica independiente
45