基于描述逻辑的CIM模型

• 作 者: 蒋运承 汤庸 王驹 周生明
• 机 构: 广西师范大学计算机科学与信息工程学院,中山大学计算机科学系
• 出 处: 微电子学与计算机
• 发表日期: 2007年12期
• 关键词: 描述逻辑 DUk CIM模型 自主计算 description logic DLRifd CIM model autonomic computing
• 基金项目: 国家自然科学基金项目（60663001.60673135.60373081,60573010）中国博士后科学基金项目（20060400226）广东省自然科学基金重点项目（04105503）教育部“新世纪优秀人才支持计划”项目广西青年科学基金项目（桂科青0640030）

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