论文部分内容阅读
统一建模语言（UML）是一个半形式化的语言,其语义部分是采用自然语言描述的,使得它在建模过程中会产生语义不一致等问题。在详细比较UML类图与本体的基础上,提出了一种UML类图的形式化方法;首先将UML类图转换为相应的本体;然后根据本体提供的推理算法（Tableau）对转换得到的本体进行推理,检测其中的不一致性从而修改UML类图,最后达到精确UML类图。