Search
×
FR

Placeholder headline

This is just a placeholder headline

ISO/TR 42505:2026 Sharing economy — Shared manufacturing — Concepts and models

$

192

BUY NOW

Placeholder headline

This is just a placeholder headline

ISO 4306-1:2026 Cranes — Vocabulary — Part 1: General

$

436

BUY NOW

Placeholder headline

This is just a placeholder headline

ISO 21316:2026 Traditional Chinese medicine — Isatis indigotica root

$

192

BUY NOW

Placeholder headline

This is just a placeholder headline

TEMA 11th Edition – Book of Standards (Not for Resale)

$

0

BUY NOW

ISO 21838:2023

ISO 21838:2023 Information technology – Top-level ontologies (TLO) – Part 4: TUpper

CDN $0.00

SKU: 516b5f0696df Categories: , ,

Description

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

1

Published Date

2023-09-19

Status

PUBLISHED

Pages

7

Language Detail Icon

English

Format Secure Icon

Secure PDF

Abstract

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.

Previous Editions

Can’t find what you are looking for?

Please contact us at: