Using Description Logics Reasoner for Ontology Matching. - Guohua Shen; Zhiqiu Huang; Xiaodong Zhu; Lei Wang; Gaoyou Xiang (IITA, 2007)