Ontify
Thèse Université Henri Poincaré Nancy 1 and l'Institut National de Recherche en Informatique et en Automatique (INRIA) 1996.