本体工程

本体工程，又称为本体论工程、本体论设计或本体设计，是计算机科学与信息科学当中的一个新兴领域，旨在研究用于构建本体的方法和方法学。本体工程乃是一个新兴的研究和应用领域，关注的是本体开发过程、本体生命周期、用于构建本体的方法和方法学以及那些用于支持这些方面的工具套装和语言。

概述
本体提供的是某一领域的公共词表，并采用不同水平的形式化程度，对术语的含义以及术语之间的关系加以界定。在过去的十年时间里，人们对于各种本体的关注日益增强。如今，本体已广泛应用于、人工智能以及计算机科学领域；同时，本体还广泛应用于知识管理、自然语言处理、电子商务、智能信息集成、生物信息学和教育等方面以及语义网之类的新兴领域。本体工程旨在明确特定领域的那些隐含在软件应用程序以及企业机构和业务过程当中的知识。本体工程为解决各种语义障碍所造成的互操作性问题提供了一个前进的方向。其中，语义障碍指的也就是那些与业务术语和软件类的定义相关的障碍和问题。本体工程是一套与特定领域之本体开发工作相关的任务。

本体工程主题
本体
本体就是由若干概念及其在某种逻辑理论（如一阶谓词演算）支持下的定义所构成的一种分类法。对于特定一个领域而言，本体表达的是其那套术语、实体、对象、类、属性及其之间的关系，提供的是形式化的定义和公理，用来约束对于这些术语的解释。本体允许使用一系列丰富的结构关系和非结构关系，如泛化、继承、聚合和实例化，并且可以为软件应用程序提供精确的领域模型。例如，本体可以为传统软件提供面向对象型系统的对象模式（），以及类的定义。

语义多重性
在整个生产制造生命周期里面，过程规划、过程建模、排程调度、工作流程以及模拟之类的软件应用程序，都会利用过程信息来描述生产活动当中所涉及到的活动、资源需求、订单关系以及时间约束。尽管一个应用程序的输出数据和过程可能会参与构成另一应用程序的输入，但这些应用程序通常情况下彼此之间并不进行互操作。对于每个应用程序和厂商来说，若要想实现数据和过程的共享，就必须编写某种转换程序。PSL在互操作性应用程序的开发方面采用的是一种不同的方法。PSL的这种方法就是要开发一部为那些与生产制造活动相关的概念提供明确定义的本体，并且建立种种用于支持应用程序之间定义转换的机制。PSL致力于创建一种用于建立过程规约的标准语言，用于明确而又详细地说明过程或过程流及其辅助参数，并且将其作为不同生产制造过程之间的一种公共交换语言。

PSL是一种稳健的交换技术，用于成就不同的生产制造应用程序之间的分布式协作。上述施莱诺夫等人的这篇论文阐述了，当PSL应用于生产制造过程的时候，PSL究竟是如何来解决那些与语义问题相关的问题。同时，作者在此文之中还针对如何对PSL加以改编，以便将其用于生产制造企业集成方面的基于智能体的系统（），提出了一些初步的想法，并且采用形式逻辑来定义它们的语义。采用KIF的好处就是能够证明定义和公理的一致性和完整性。PSL本体具有可扩展性，且建立在一种由公理和扩展所构成的核心（即PSL核心本体）的基础之上。

当前，PSL之中收录有大约300个分散于31个模块之中的概念。现在，其中已经表达有过程建模、排程调度以及模拟方面的固有概念。为了对作为一种交换语言的PSL加以验证，目前已经成功实现了首个过程信息交换试点实施项目；该试点项目是在基于的业务过程建模工具与一种C++调度程序之间进行的。

本体语言
本体一般都是采用本体语言来编制的。本体语言，又称为“本体论语言”，是一种用于编制本体的形式化语言。目前，存在着许许多多此类的本体语言，既包括专有的，也包括基于标准的：

（）就是ISO标准24707；这是关于一种本体语言家族的技术规范，其中的本体语言彼此之间可以准确地相互转换。
Cyc项目有其自己的，基于一阶谓词演算，且具有某些高阶扩展的本体语言（即）。
语言之中包括了关于自身扩展的规则，因而集成了一部本体和一种本体语言。
是一种用于编制和维护准确的，具有可复用性的领域本体的软件工程方法。
知识交换格式（，KIF）是基于S-表达式的一种一阶逻辑语法。
规则交换格式（Rule Interchange Format，RIF）与（）可将各种本体和规则结合起来。
OWL（）是一种用于编写本体声明（）的语言。OWL的发展继承了RDF和RDFS以及一些早期的本体语言项目，包括（，OIL）、（，DAML）以及。OWL旨在应用于万维网之上；而且，其构成要素（类、属性和个体）均被定义为RDF资源，并采用URI加以标识。

本体工程工具
建模程序的屏幕快照]]
*
*
*
*
*

参见
*

模块化

参考文献
引用
来源
: 注：本条目之中吸纳了来自美国国家标准与技术研究院（，NIST）的一份出版物当中的内容。该出版物是属于公有领域范围内的美国联邦政府出版物。来源：[http://www.nist.gov/ 美国国家标准与技术研究院网站] 。

评论 (0)