gfp-模型的描述逻辑flε的循环术语集推理 gfp-model-based reasoning of terminological cycles in description logic flε.pdfVIP

32 2010，46(12) and ComputerEngineeNngApplications计算机工程与应用 ◎研究、探讨◎ gfp一模型的描述逻辑FLe的循环术语集推理 覃俊明-，耿继兵1，王驹2，蒋运承z，3 Ju2,JIANG QINJun—ming‘，GENG Yun-chenf’3 Ji-bin91，WANG 1．广西师范大学数学科学学院，广西桂林541004 2．广西师范大学计算机科学与信息工程学院，广西桂林541004 3．中国科学院计算机科学国家重点实验室，北京100190 ofMathematics Normal 541 004，China 1．College Scienee，GuangxiUniversity，Guilin。Guangxi of ScienceandInformation Normal