School of Management,Shanghai Jiaotong Univ.,Shanghai 200052,China;
School of Management,Shanghai Jiaotong Univ.,Shanghai 200052,China;
School of Management,Shanghai Jiaotong Univ.,Shanghai 200052,China;
ontology; description logics; ontology checking; term checking; instantiation checking;