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

Capítulo 3. Representación del conocimiento y ontologías
desarrollo de una aplicación basada en ontologías, ya que de esa elección depende
la capacidad de representar en el ordenador todas las estructuras existentes en la
ontología, así como la posibilidad de que el esquema resultante sea computable y
tenga una complejidad computacional abordable 16 .
El paradigma del modelado del conocimiento es aplicable en la realización de
cualquier tipo de software, aunque es más eficiente en aquellos problemas en los
que interviene conocimiento humano difícilmente explicitable (y posiblemente
incompleto, por tanto) o en dominios complejos cuya estructura pretende
utilizarse en toda su complejidad durante la ejecución de la aplicación.
Las ideas de la ingeniería del conocimiento están ganando terreno en el campo de
la creación de aplicaciones prácticas. La interacción entre ingeniería del
conocimiento e ingeniería del software es hoy en día elevada, siendo el paradigma
del modelado del conocimiento el punto de unión de ambas. La madurez de la
ingeniería del conocimiento se puede comprobar en el hecho de que algunos
lenguajes y técnicas relacionadas con las ontologías están siendo objeto de
procesos de estandarización por parte de organismos como la OMG o el World
Wide Web Consortium (W3C)
ntica .
17 . En este último caso, el lenguaje OWL
(Ontology Web Language), de representación de conocimiento en ontologías, es
el que se está utilizando como base para la construcción de lo que se postula como
18
el nuevo servicio Web: la denominada Web Semá
El capítulo está organizado como sigue: El apartado 3.2 está dedicado a la historia
de la representación del conocimiento, centrándose sólo en los aspectos más
relevantes mediante los que se pueden presentar las ideas que dieron lugar a la
situación actual de la disciplina y ofrecer un contexto para introducir el concepto
de ontología. En el apartado 3.3, una vez definido el concepto de ontología, se
automatizables. En este sentido la mayor formalidad sería la conseguida mediante lenguajes cuya semántica esté basada en
la lógica y la teoría de modelos formales de Tarsky.
16 Por computabilidad se entiende el estudio de si un determinado problema es resoluble utilizando un determinado
modelo de computación. El término está relacionado con la decidibilidad (se estudia si el ordenador puede hacer frente a un
determinado problema mediante cierto algoritmo y resolverlo en un tiempo finito). La complejidad computacional, por su
parte, hace referencia a la eficiencia en la resolución de un problema mediante un determinado algoritmo, estando
relacionada con el concepto de tratabilidad (se estudia si se puede asegurar que el ordenador ofrecerá una respuesta en un
tiempo finito y asumible - tiempo polinomial - o no -tiempo exponencial -). Puede haber esquemas de representación cuyos
algoritmos sean indecidibles, decidibles pero intratables o decidibles y también tratables. La expresividad del esquema de
representación se ve reducida en cada uno de esos casos. Cabe mencionar también que los estudios sobre decidibilidad y
tratabilidad se pueden aplicar a aquellos problemas que se pueden expresar como un problema de decisión. En el caso de
los lenguajes de representación del conocimiento estos estudios se pueden realizar cuando el lenguaje utilizado está basado
en una teoría lógica. Se dice que una teoría lógica es decidible si el conjunto de todas las fórmulas bien formadas válidas en
el sistema es decidible, es decir, si existe un algoritmo tal que para cada fórmula en el sistema el algoritmo es capaz de
decidir en un número finito de pasos si la fórmula es válida en el sistema o no. El problema de decisión es pues el de la
validez o no de una fórmula. A modo de ejemplo, la lógica de proposiciones es decidible, la de predicados (ó lógica de
primer orden) sólo lo es si se limita a predicados monádicos.
17 El World Wide Web Consortium “desarrolla tecnologías inter-operativas (especificaciones, líneas maestras, software y
herramientas) para guiar la Red a su potencialidad máxima. El W3C es un foro de información, comercio, comunicación y
conocimiento colectivo” http://www.w3.org
18 http://www.w3.org/TR/owl-features/
27