Dans la réalisation des SBC (systèmes à base de connaissances), deux problématiques se posent et qui présentent une préoccupation essentielle pour les développeurs, la première est le contrôle de cohérence dans une base ...