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；-使用本体进行推理的方法的规范；-在不同本体语言中开发的本体的符号之间指定翻译器。

标准预览图