Information technology — Top-level ontologies (TLO) — Part 4: TUpper

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.

Edition	2023
Standard Part No	4
Published Date	2023
Published By	ISO/IEC
Page Count	7

ISO/IEC

ISO/IEC 4396-5:2023

ISO/IEC 14543-5-103:2023

ISO/IEC 9075-4:2023

ISO/IEC 14543-4-302:2023

ISO/IEC 23093-4:2023

ISO/IEC 21838-4:2023

ISO/IEC 4005-4:2023

ISO/IEC 24751-4:2023

ISO/IEC 4396-4:2023

ISO/IEC 24773-4:2023

ISO/IEC 7816-4:2020/AMD1:2023

ISO/IEC 23003-4:2020/AMD2:2023