一类扩展的动态描述逻辑 family of extended dynamic description logics.pdfVIP

ISSN1 RUXUEW 000—9825，CODEN Journal ofSoftware，V01．21，No．1，January2010，PP．1-13 doi：10．3724／SP．J．1001．2010．03494 Institute Chinese reserved． @by ofSoftware．theAcademyofSciences．Allrights ^ 一类扩展的动态描述逻辑 常亮1∞，史忠植1+7陈立民1’3，牛温佳1,3 1(中国科学院计算技术研究所智能信息处理重点实验室，北京 100190) 2(桂林电子科技人学计算机与控制学院，广西桂林541004) 3(中国科学院研究生院，北京 100049) ofExtended Family DynamicDescriptionLogics CHANG Wen．Jial，3 Li．Minl，，NIU Lian91，2，一，SHIZhong．Zhil+，CHEN