扩展描述罗辑ALC^+到谓词逻辑的转换研究初探

Discussion about the transformation research from extensional description logics ALC^+ to predicate logic

首先介绍了描述逻辑ALC+,描述逻辑ALC+是在ALC的基础上增加了传递关系、反关系、关系并、关系复合、个体实例集和一般数量约束构造器对其进行了扩展,并给出了ALC+的语法和语义,对ALC+的完备性进行了讨论,谓词逻辑是比较经典的知识表示方法,然后探讨了描述逻辑ALC+到谓词逻辑的转换,给出了描述逻辑ALC+到谓词逻辑的转换思想．

The Description Logics ALC+, which is extended on ALC by adding transitive role, inverse role, role disjunction, role composition, individuals set and general number restriction, is firstly introduced in this article and its syntax and semantics are given, then the complement of ALC+ is stated. Then the transtor-mation from ALC+ to predicate logic is disscussed, the predicate logic is the typical knowledge presented way, finaly the idea of the transformation from ALC+ to predicate togic is given.