论文部分内容阅读
本文首先介绍了描述逻辑ALC+,描述逻辑ALC+是在ALC的基础上增加了传递关系、反关系、关系并、关系复合、个体实例集和一般数量约束构造器对其进行了扩展,并给出了ALC+的语法和语义。然后探讨了框架表示的知识库到描述逻辑ALC+表示的知识库的转换,给出了框架表示的知识库到描述逻辑ALC+表示的知识库的转换的思想。最后给出了框架表示的知识库到描述逻辑ALC+表示的知识库的转换示例。