Quentin Reul: Role of description logic reasoning in ontology matching. University of Aberdeen, UK 2012