臧凤奎
- 作品数：4 被引量：8H指数：1
- 供职机构：兰州理工大学计算机与通信学院更多>>
- 发文基金：甘肃省教育厅科研基金甘肃省自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于本体的UML类图语义推理被引量：5
- 2011年
- 统一建模语言(UML)是一个半形式化的语言,其语义部分是采用自然语言描述的,使得它在建模过程中会产生语义不一致等问题。在详细比较UML类图与本体的基础上,提出了一种UML类图的形式化方法;首先将UML类图转换为相应的本体;然后根据本体提供的推理算法(Tableau)对转换得到的本体进行推理,检测其中的不一致性从而修改UML类图,最后达到精确UML类图。
- 刘嘉童格明李明臧凤奎
- 关键词：本体UML类图形式化描述逻辑
- 本体语言的联系及其逻辑基础分析被引量：1
- 2009年
- 为了准确地描述本体,研究人员各自设计了自己的本体表示语言。在如此众多的语言中,认清语言之间的联系及各自的优缺点和选择出合适的语言描述本体成为本体建模工作的一项重要任务。首先分析了本体表示语言的基本特点,其次从纵向的角度总结出了它们之间的相互联系,最后分析了它们的逻辑基础;为学习和选择本体表示语言描述本体提供了理论基础。
- 张其文臧凤奎李明
- 关键词：本体逻辑基础
- 本体在UML建模中的应用研究被引量：1
- 2008年
- 本体作为一种能够有效表达概念层次结构和语义的模型,被广泛地应用到计算机科学的众多领域。UML作为一种通用的建模语言,已成为面向对象建模领域公认的工业标准。在介绍本体和统一建模语言基本概念的基础上,比较分析了面向对象建模与本体建模的异同,提出用本体技术来弥补UML规范中存在的缺陷,使得UML能够更加规范地表达建模信息。
- 王谦赵少锋臧凤奎李明
- 关键词：本体统一建模语言面向对象描述逻辑
- 基于本体推理的UML模型语义检查
- 统一建模语言/(Unified Modeling Language,UML/)已经被面向对象建模领域公认为事实上的工业标准。使用UML描述的软件模型,表达简洁、直观,便于建模人员进行交流沟通。然而,这种图形化的语言缺乏精...
- 臧凤奎
- 关键词：本体UML模型形式化方法动态描述逻辑TABLEAU算法
- 文献传递
