ISO/IEC 21838-4:2023
信息技术 顶级本体 (TLO) 第 4 部分：TUpper
Information technology — Top-level ontologies (TLO) — Part 4: TUpper
- 标准号
- ISO/IEC 21838-4:2023
- 发布
- 2023年
- 发布单位
- 国际标准化组织
- 当前最新
- ISO/IEC 21838-4:2023
- 引用标准
- ISO/IEC 21838-1:2021 ISO/IEC 24707
- 适用范围
- 本文档将 TUpper 描述为符合 ISO/IEC 21838-1 中规定的顶级本体要求的本体。本文档将 TUpper 描述为旨在支持本体设计、本体集成、自动推理和异构信息系统语义集成的资源。以下内容属于本文档的范围： — TUpper 签名中的类和关系定义； — OWL 2 和 CL 中 TUpper 的公理化； — TUpper 符合 ISO/IEC 21838-1 中规定的顶级本体要求的文档； — 符合 TUpper 的领域本体的指定方法的文档。以下内容不在本文档的范围之内： — 本体语言的规范，包括本体开发中标准使用的语言 RDF、OWL 和 CL； — 使用本体进行推理的方法的规范； — 用不同本体语言开发的本体符号之间的转换器的规范。