Using Description Logics Reasoner for Ontology Matching | IEEE Conference Publication | IEEE Xplore