基于描述逻辑的CIM模型

CIM Modeling with Description Logics

分析了CIM模型在自主计算中的研究现状和存在的问题,在GLanfranchi和ACali的基础上提出了一种具有演化功能的CIM模型。针对CIM模型的特点和需求,提出了一种基于描述逻辑DLRifd的CIM模型,即给出了将CIM模型转化为描述逻辑DLRifd知识库的方法,证明了该转化方法的正确性。以及给出了自动判断CIM模型一致性、冗余性、包含关系的方法,也证明了这些判断方法的正确性。

The current research progresses and the existing problems of CIM for autonomic computing are analyzed. A kind of evolving CIM model is presented based on the works of G Lanfranchi and A Cali. Aiming at the characteristics and requirement of CIM model, CIM model based on description logic DLRifd is presented, i.e., the method of how to translate CIM model into DLRifd knowledge bases is given, and the correctness of the translation method is proved. The automatic reasoning methods of consistency, redundancy, and subsumption relation of CIM model are presented, and the correctness of these reasoning methods is also proved.