Slide 1 Context Representation and Reasoning with Formal Ontologies Juan Gómez-Romero 1,2, University Carlos III of Madrid (Spain) Fernando Bobillo 2, University of Zaragoza…