迈向本体工程的方法论原则。-研究论文

互联网和其他开放连接环境对共享数据语义提出了强烈的要求。 新兴的本体对于计算机科学应用越来越重要。 组织将它们视为许多应用程序领域中至关重要的机器可处理语义。 通常，本体是对特定领域的公认理解（即语义），被公理化并正式表示为计算机资源中的逻辑理论。 通过共享本体，自治的和分布式的应用程序可以有意义地进行通信以交换数据，并使事务独立于其内部技术进行互操作。 本文的主要目的是提出用于本体工程的方法论原理，以指导本体构建者构建高度可重用和可用，易于构建且易于维护的本体。 首先，我们研究了本体工程中的三个基本挑战（即本体可重用性，本体应用独立性和本体演化）。 基于这些挑战，我们得出了六个本体工程需求。 满足这些要求是我们方法论原则的目标和动力。 其次，我们介绍了本体工程的两个方法学原理：1）本体双重发音，以及2）本体模块化。 双重发音原则建议将本体构建为单独的域公理化和应用公理化。 虽然领域公理化侧重于在域级别表征词汇的预期含义（即，预期模型），但根据某些应用程序/可用性观点，应用公理化主要集中于该词汇表的可用性。 申请公理化的目的是指定申请利益的法律模型（预期模型的子集）。 模块化原则建议以模块化方式构建应用程序公理化。 公理化应作为一组小模块进行开发，然后组成一个模块公理化。 我们定义了用于自动模块合成的合成运算符。 它结合了组成模块中引入的所有公理。 第三，为了说明我们的方法论原则的实现，我们开发了一种称为ORM-ML的概念标记语言，一种名为DogmaModeler的本体工程工具原型以及作为现实案例研究的客户投诉本体。 该研究是对DOGMA研究项目的贡献，该项目是用于建模，工程设计和部署本体的研究框架。 此外，我们发现我们从参与多个欧洲项目中受益匪浅。 通过CCFORM项目（在第7章中进行了广泛讨论），我们能够测试和调试产生本文的许多想法。 卓越网络KnowledgeWeb也被证明是一个富有成果的集思广益的环境，无疑提高了所进行的分析和获得的结果的质量。