Detecting Semantic Mapping of Ontologies with Inference of Description Logic | IEEE Conference Publication | IEEE Xplore