(1) College of Computer Science and Information Engineering, Guangxi Normal University, Guilin, Guangxi 541004, China; (2) State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing 100190, China
Jiang Yuncheng,Tang Suqin,Wang Ju,et al. computing most specific concept in description logic with transitive roles and existential restrictions[J]. Jisuanji Yanjiu yu Fazhan/Computer Research and Development,2009-01-01,46(6):979-987.