computing most specific concept in description logic with transitive roles and existential restrictions

(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