1. Key Laboratory of Symbol Computation and Knowledge Engineering of the Ministry of Education, College of Computer Science and Technology, Jilin University, Changchun 130012, China
2. College of Chemistry, Jilin University, Changchun 130012, China
3. Department of Information and Communication Technology, University of Trento, 38050 Povo, Italy