College of Computer Science and Technology;
Jilin University;
Changchun;
130012;
China;
Key Lab of Symbolic Computation and Knowledge Engineering(Jilin University);
Ministry of Education;
Changchun;
130012;
China;
College of Information and Communication Engineering;
Dalian Minzu University;
Dalian;
116600;
China;
description logics; automated reasoning; ontology engineering; justification;