描述逻辑SHOIN(D)相关论文
UML模型一致性自动检测的主要任务是解决形式化问题。描述逻辑是一阶谓词逻辑的可判定子集，具备强大的知识表示和推理功能。针对UML......
UML类图元模型采用非形式化的表示,无法对其结构语义进行严格的描述,因此提出一种UML类图元模型基于描述逻辑表示及验证的方法.在......
期刊
首先分析基于描述逻辑的ER模型的研究现状，提出基于描述逻辑SHOIN(D)的EER模型，给出描述逻辑SHOIN(D)的语法和语义。然后研究EER模型......
期刊
