Patrick Barlatier: Conception et implantation d'un modèle de raisonnement sur les contextes basée sur une théorie des types et utilisant une ontologie de domaine. University of Savoy, Annecy, France 2009