computing most specific concept in description logic with n-ary existential quantifier

(1) School of Computer Science, South China Normal University, Guangzhou 510631, China; (2) State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing 100190, China; (3) College of Computer Science and Information Engineering, Guangxi Normal University, Guilin, Guangxi 541004, China