ISO/IEC 21838-4:2023 信息技术 顶级本体（TLO） 第4部分：TUpper

标准编号：ISO/IEC 21838-4:2023

中文名称：信息技术 顶级本体（TLO） 第4部分：TUpper

英文名称：Information technology — Top-level ontologies (TLO) — Part 4: TUpper

发布日期：2023-09

标准范围

本文档将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.

标准预览图