Sky Bear Technical Standards - Home
Search
×
FR

Placeholder headline

This is just a placeholder headline

TEMA 2026 Edition – Online Subscription Only

$

BUY NOW

Placeholder headline

This is just a placeholder headline

API RP 15SIH, 2nd Edition: Installation and Handling of Spoolable Reinforced Plastic Line Pipe

$

158

BUY NOW

Placeholder headline

This is just a placeholder headline

API RP 754, 4th Edition: Process Safety Performance Indicators for the Refining and Petrochemical Industries

$

393

BUY NOW

Placeholder headline

This is just a placeholder headline

ASME B31.1-2020: Power Piping

$

668

BUY NOW

Placeholder headline

This is just a placeholder headline

ASME B31.1-2022: Power Piping

$

668

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: