标准摘要
[中文适用范围]： 本文档将 TUpper 描述为符合 ISO/IEC 21838-1 中规定的顶级本体要求的本体。本文档将 TUpper 描述为旨在支持本体设计、本体集成、自动推理和异构信息系统语义集成的资源。以下内容属于本文档的范围： — TUpper 签名中的类和关系定义； — OWL 2 和 CL 中 TUpper 的公理化； — TUpper 符合 ISO/IEC 21838-1 中规定的顶级本体要求的文档； — 符合 TUpper 的领域本体的指定方法的文档。以下内容不在本文档的范围之内： — 本体语言的规范，包括本体开发中标准使用的语言 RDF、OWL 和 CL； — 使用本体进行推理的方法的规范； — 用不同本体语言开发的本体符号之间的转换器的规范。 [外文原描述]： This document describes TUpper as an ontology that is conformant to the requirements specified for top-level ontologies in ISO/IEC 21838-1. This document describes TUpper as a resource designed to support ontology design, ontology integration, automated reasoning, and semantic integration of heterogeneous information systems. The following are within the scope of this document: — definitions of classes and relations in the signature of TUpper; — axiomatizations of TUpper in OWL 2 and CL; — documentation of the conformity of TUpper to the requirements specified for top-level ontologies in ISO/IEC 21838-1; — documentation of the methodology for specifying domain ontologies that conform to TUpper. The following are outside the scope of this document: — specification of ontology languages, including the languages RDF, OWL and CL standardly used in ontology development; — specification of methods for reasoning with ontologies; — specification of translators between the notations of ontologies developed in different ontology languages.
英文名称Information technology - Top-level ontologies (TLO) - Part 4: TUpper