On filter theory of residuated lattices. - Yiquan Zhu; Yang Xu 001 (Inf. Sci., 2010)

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)