简单概念图与扩展描述逻辑ALC+的关系探讨

The discussion about the relation between the simple conceptual graphs and extensional description logics ALC+

首先介绍了描述逻辑ALC+,描述逻辑ALC+是在ALC的基础上增加了传递关系、反关系、关系并、关系复合、个体实例集和一般数量约束构造器对其进行了扩展,并给出了ALC+的语法和语义,概念图被制作是继承语义网络和框架系统特点的知识表示方式,而简单概念图是概念图中可判定的部分,然后探讨了描述逻辑ALC+与简单概念图的关系.

It is firstly introduced that 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,and it is given its syntax and semantics.Finally it is disscussed the relation between the simple conceptual graphs and ALC+.The conceptual graphs can be viewed as the knowledge represented way descended from frame systems and semantic networks.And the simple conceptual graphs(SGs)are the most prominent decidable fragment of the conceptual graphs.