Conception et implantation d'un modèle de raisonnement sur les contextes basé sur une théorie des types et utilisant une ontologie de domaine / Patrick Barlatier ; sous la direction de Christophe Roche, co-directeur Richard Dapoigny / Lille : Atelier national de reproduction des thèses , 2009