College of Computer Science and Technology, Symbol Computation and Knowledge Engineering Lab of Ministry of Education, Jilin University, Changchun, China.|College of Computer Science and Technology, Symbol Computation and Knowledge Engineering Lab of Ministry of Education, Jilin University, Changchun, China.|College of Computer Science and Technology, Symbol Computation and Knowledge Engineering Lab of Ministry of Education, Jilin University, Changchun, China.