论文部分内容阅读
本体作为一种领域知识的形式化表示方法，在信息技术领域有着广泛的应用。语义Web、本体工程等领域研究和应用的迅猛发展，推动了上下文本体相关理论和技术的创新与发展。在本体研究中具有基础地位的描述逻辑研究领域，新近提出了一种称为二维描述逻辑的描述工具，为上下文本体建模和分析提供了形式化的理论基础，为上下文本体研究和应用提供了一种新的途径。本文从二维描述逻辑的元建模方法出发，借鉴软件工程中模型驱动架构相关的技术，在二维描述逻辑应用基础研究方面取得了一定成果。本文的主要工作和贡献如下：1.提出了一种二维描述逻辑元建模方法；2.给出了二维描述逻辑族中若干形式化表示的元模型；3.定义了一种扩展Web本体语言的上下文本体语言；4.给出了一种基于元模型的二维描述逻辑度量方法；5.设计和实现了二维描述逻辑可视化建模工具；6.讨论和分析了二维描述逻辑的若干应用领域。