KL-One est un langage de représentation des connaissances qui pré-date les graphes conceptuels.

Il est difficile de trouver de la documentation électronique sur KL-One, du fait de son ancienneté.
C'est pourquoi il me paraît opportun de mentionner l'article anglais The KL-One family qui couvre très bien les principales facettes de ce langage (interface texte, sémantique) ainsi que les problématiques liées (A-Box, T-Box, famille et variantes, tractabilité, décidabilité).