框架表示法到扩展描述逻辑ALC%2b的转换初探.pdfVIP

框架表示法到扩展描述逻辑ALC+的转换初探睾 文斌，甘健侯，夏幼明，徐天伟 云南师范大学计算机科学与信忠技术学院，云南昆明650092 wenbin一315@163．corn 体实例集和一般数量约束构造嚣对其进行了扩展，并给出了AI-C+的语法和语义。然后探讨了框架表示的知识库到描述逻 辑ALe+表示的知识库的转换，给出了框架表示的知识库到描述逻辑ALC+表示的知识库的转换的思想。最后给出了框架 表示的知识库到描述逻辑ALC+表示的知识库的转换示例。 关键词：描述逻辑，框架表示法，户屹+ The DisscussionoftheTransformationfromFrame toExtended RepresentationWay DescriptionLogicALC—plus Wen Bm，GanJi觚一h∞，Xia 1诌n—wd