Feature modeling and Verification based on Description Logics. - Guohua Shen; Zhiqiu Huang; Changbao Tian; Qiang Ge; Wei Zhang (SEKE, 2012)

OMReasoner: using multi-matchers and reasoner for ontology matching: results for OAEI 2012. - Guohua Shen; Changbao Tian; Qiang Ge; Yiquan Zhu; Lili Liao; Zhiqiu Huang; Dazhou Kang (OM, 2012)