UNIVERSIDAD TECNOLÓGICA ISRAEL

las lógicas descriptivas o las redes semánticas. Todos ellos se pueden entender
como antecedentes de las ontologías. Así mismo, igual que se han utilizado
diferentes formalismos para estas técnicas, como los grafos conceptuales para
las redes semánticas, se han de utilizar medios de representación para las
ontologías.
Los lenguajes para la representación de ontologías suponen un nivel primario
necesario para la implementación de las ontologías. Los lenguajes de
representación del conocimiento se utilizan para construir descripciones formales
de los conceptos de una ontología. Un lenguaje de representación del
conocimiento ofrece formas de construir representaciones simbólicas de lo que se
conoce, conjuntamente con métodos formales que utilizan estas representaciones
para hacer inferencias y obtener conclusiones. De algún modo, el significado de
los conceptos en la ontología debe representarse de forma que pueda
manipularse por ordenadores para realizar tareas de búsqueda, descubrimiento de
relaciones entre conceptos o buscar inconsistencias en la ontología.
Una primera familia de lenguajes para definir ontologías estaría formada por las
denominadas lógicas descriptivas, que se basan en el cálculo de predicados de
primer orden extendido para razonar sobre las relaciones. Más concretamente,
esta familia de lenguajes tiene su origen en el lenguaje KL- que ha producido
diferentes lenguajes como BACK, CLASSIC, CRACK, LOOM, o YAK.
Estos lenguajes se caracterizan por estar definidos precisa y formalmente. Las
formulaciones matemáticas de cualquiera de estos lenguajes pueden expresarse
70