统一建模语言(Unified Modeling Language,UML)已经被面向对象建模领域公认为事实上的工业标准。使用UML描述的软件模型,表达简洁、直观,便于建模人员进行交流沟通。然而,这种图形化的语言缺乏精确的形式化语义基础,由此,可能导致建模过程中产生不一致性等问题。目前虽然已经有很多工作致力于UML精确性研究和UML模型的不一致性管理等研究,但是,它们主要从局部给出了个别UML图形建模的解决办法,不能从根本上解决问题。基于本体的精确化特点和自推理功能,我们以本体作为UML模型不一致检查的语义层次基础,根据UML模型和本体的相似性特点,把UML模型转化为本体模型,通过本体的推理功能,以此来检查UML模型中的语义不一致性等问题。为达到这个目的,本文主要开展了以下几个方面的研究工作:1.详细比较了本体和UML模型的异同点。本文主要从静态、动态、共享、可扩展性、建模方法、继承、封装、类之间的关系、类和属性的层次,以及推理特性等角度,对两者进行了详细的比较;同时,我们还详细比较了两种模型各自的描述语言,以便为下一步的模型转换奠定基础。2.建立了两种模型的转换规则。在上述本体和UML模型比较的基础上,基于两种模型的相似性,给出了从UML模型到本体模型的转换规则;并以大学员工的部分UML模型为实例,综合验证了方法的可行性(主要内容包括模型的转换和推理验证)。3.提出了描述逻辑的动态扩展。目前的描述逻辑ALCQI只能描述UML图形中的静态特征,还不能很好地描述UML图形中的动态和时态特征,针对描述逻辑ALCQI不足之处,本文提出了扩展描述逻辑的构造算子,以便于适合形式化UML行为图的动态特征;并初步探讨了Tableau算法的一些基本性质,如:可判定性(Termination)、可靠性(Soundness)、完备性(Completeness)。