论文部分内容阅读
复杂的面向对象模型系统中往往隐藏着语义错误,目前的对象建模工具由于缺乏自动推理能力而难以检测出来。本文提出了一种基于本体的系统推理检测方法。基于本体与对象模型的相似之处,将对象模型转换为本体,通过对转换后的本体模型进行推理,以便检测出系统中所存在的不一致性等问题。从而促进软件的开发工作。