Documents Savoirs Sémantique formelle et représentation des connaissances - article ; n°87 ; vol.22, pg 103-122 Paul Sabatier, Franz Guenthner