本体作为一种重要的知识表示形式,已经逐步从理论研究走向实际应用领域。传统的本体建模语言采用人工智能领域的形式化语言,较为抽象而且应用范围狭窄,不完全适合实际应用的需要。目前较常用的本体开发工具开发效率较低,难以支持本体模型中的知识动态更新。为了解决以上这些问题,学者们提出将UML用于本体的建模。MDA定义的元对象机制可以有效的扩展UML的建模元素。SWRL是一种本体描述语言,较好的支持了本体公理集中的一般性的规则。本文在它们的基础上,研究利用UML对本体进行可视化建模的方法。本文基于MDA对本体公理集中的规则提出了一种较为有效的建模方法,为规则模型给出了基于描述逻辑的形式化方法。首先为SWRL提出了一种改进的元模型,它包含了基本的本体建模元语的图形化建模元素。其中主要的工作是构造了逻辑运算符的建模元素,用以连接并区分规则模型中不同的rdfs:Property和Individual。进而为规则设计了基于UML profile的建模机制。从而解决了前人的元模型难以表达规则前件中的Individual的问题。然后通过推导一部分SWRL规则同描述逻辑的相互翻译的规则,说明了用描述逻辑对部分基于UML建模的规则形式化的可行性,给出了基于描述逻辑对其形式化的方法。最后采用实例证实了该形式化方法:用含有(?)、(?)两种构造算子的描述逻辑包含公理对相关规则集进行形式化描述。