Séminaire du 30 mai 2012. Marie-Christine Rousset. Raisonnement dans le Web sémantique