陈伟芳¹，金智勇¹，高济^1，2，周斌斌¹

(1.浙江树人大学 信息科技学院，浙江 杭州 310015；

2.浙江大学 计算机科学与技术科技学院，浙江 杭州 310027)

摘  要：该文提出了一种应用域本体形式化建模方法，定义对应的形式化建模语言DORL，建立了DORL语言的集成开发框架，实现本体的语法和一致性检查，利用语言范畴同构的思想实现了DORL语言与XML Schema语言的相互转换.

关键词：本体;形式化建模语言;多Agent系统;建模平台

中图分类号：TP312        文献标志码：A         文章编号：1671-2714(2013)02-0009-07