ISO/IEC 21838-4:2023
(Main)Information technology — Top-level ontologies (TLO) — Part 4: TUpper
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.
Technologies de l'information — Ontologies de haut-niveau (TLO) — Partie 4: Titre manque
General Information
Buy Standard
Standards Content (Sample)
Style Definition: Heading 2: Outline numbered + Level: 2 +
ISO/IEC JTC 1/SC 32 N
Numbering Style: 1, 2, 3, … + Start at: 1 + Alignment: Left +
Aligned at: 0 pt + Tab after: 18 pt + Indent at: 0 pt, Adjust
2022-11-01
space between Latin and Asian text, Adjust space between
Asian text and numbers, Tab stops: Not at 18 pt
ISO/IEC FDIS 21838-4:2023(E)
Style Definition: Heading 3: Outline numbered + Level: 3 +
Numbering Style: 1, 2, 3, … + Start at: 1 + Alignment: Left +
Aligned at: 0 pt + Tab after: 36 pt + Indent at: 0 pt
ISO/IEC JTC 1/SC 32/WG2
Style Definition: a2: Indent: Left: 0 pt, Tab stops: Not at
162 pt
2023-05-24
Style Definition: a3: Indent: Left: 0 pt, First line: 0 pt, Tab
stops: Not at 58.5 pt
Information technology — Top-level ontologies (TLO) — Part 4: TUpper
Formatted: Font: Cambria
Formatted: Space Before: 0 pt
Formatted: Font: Cambria
Warning
Formatted: Font: Cambria, 12 pt, Bold
This document is not an ISO International Standard. It is distributed for review and comment. It is subject to
Formatted: Space After: 11 pt
change without notice and may not be referred to as an International Standard.
Formatted: Font: Cambria
Formatted: zzCover, Indent: Left: 0 pt, First line: 0 pt
Recipients
Formatted: Font: Not Italic, English (United Kingdom)
---------------------- Page: 1 ----------------------
ISO/IEC 21838-4:2023(E)
Formatted: Section start: New page, Numbering: Restart
© ISO/IEC 2023
each page, Not Different first page header
All rights reserved. Unless otherwise specified, or required in the context of its implementation, no part
Formatted: Font color: Black, English (United States)
of this draft are invited to submit, with their comments, notification of any relevant patent rights of which they
are aware and to provide supporting documentation.
ii © ISO/IEC 2023 – All rights reserved
Document type: Working draft
Document subtype:
Document stage: (20)
Preparation
---------------------- Page: 2 ----------------------
ISO/IEC 21838-4:2023(E)
Copyright notice
This ISO document is a Draft International Standard and is copyright-protected by ISO. Except as Formatted: Adjust space between Latin and Asian text,
Adjust space between Asian text and numbers, Tab stops: Not
permitted under the applicable laws of the user's country, neither this ISO draft nor any extract
at 31.5 pt
from itpublication may be reproduced, stored in a retrieval system or transmitted or utilized otherwise
Formatted: Font: 10 pt, Font color: Black, English (United
in any form or by any means, electronic, or mechanical, including photocopying, recording or otherwiseor
States)
posting on the internet or an intranet, without prior written permission being secured. Requests for
Formatted: Font: 10 pt, Font color: Black, English (United
permission to reproduce should be addressed to. Permission can be requested from either ISO at the
States)
address below or ISO's member body in the country of the requester.
Formatted: Font: 10 pt, Font color: Black, English (United
States)
ISO copyright office
Formatted: Font: 10 pt, Font color: Black, English (United
Case postale 56ISO Copyright Office
States)
CP 401 • CH-12111214 Vernier, Geneva 20
Formatted: Font: 10 pt, Font color: Black, English (United
Tel.
States)
Phone: + 41 22 749 01 11
Formatted: Font: 10 pt, Font color: Black, English (United
Fax + 41 22 749 09 47
States)
E-mail copyright@iso.org
Formatted: Font: 10 pt, Font color: Black, English (United
Web
States)
Email: www.iso.orgcopyright@iso.org
Formatted: Font: 10 pt, Font color: Black, English (United
Website: www.iso.org
States)
Reproduction may be subject to royalty payments or a licensing agreement. Violators will be
Formatted: Font: 10 pt, Font color: Black, English (United
prosecuted. States)
Formatted: Justified, Space After: 0 pt, Adjust space
between Latin and Asian text, Adjust space between Asian
text and numbers, Tab stops: Not at 31.5 pt
Formatted: Font: 10 pt, Font color: Black
© ISO/IEC 2023 – All rights reserved iii
---------------------- Page: 3 ----------------------
ISO/IEC 21838-4:2023(E)
Published in Switzerland.
iv © ISO/IEC 2023 – All rights reserved
---------------------- Page: 4 ----------------------
ISO/IEC 21838-4:2023(E)
Formatted: Font: Cambria
Contents
Formatted: zzContents, Right: 0 pt, Space Before: 0 pt,
Don't adjust space between Latin and Asian text, Don't adjust
FOREWORD 4 space between Asian text and numbers, Tab stops: Not at
476.5 pt
Formatted: Font: Cambria, All caps
INTRODUCTION 5
1 SCOPE 9
2 NORMATIVE REFERENCES 9
3 TERMS AND DEFINITIONS 10
4. CONFORMANCE OF TUPPER TO ISO 21838-1:2020 10
BIBLIOGRAPHY 18
FOREWORD . VI
INTRODUCTION .
...
INTERNATIONAL ISO/IEC
STANDARD 21838-4
First edition
Information technology — Top-level
ontologies (TLO) —
Part 4:
TUpper
PROOF/ÉPREUVE
Reference number
ISO/IEC 21838-4:2023(E)
© ISO/IEC 2023
---------------------- Page: 1 ----------------------
ISO/IEC 21838-4:2023(E)
COPYRIGHT PROTECTED DOCUMENT
© ISO/IEC 2023
All rights reserved. Unless otherwise specified, or required in the context of its implementation, no part of this publication may
be reproduced or utilized otherwise in any form or by any means, electronic or mechanical, including photocopying, or posting on
the internet or an intranet, without prior written permission. Permission can be requested from either ISO at the address below
or ISO’s member body in the country of the requester.
ISO copyright office
CP 401 • Ch. de Blandonnet 8
CH-1214 Vernier, Geneva
Phone: +41 22 749 01 11
Email: copyright@iso.org
Website: www.iso.org
Published in Switzerland
ii
PROOF/ÉPREUVE © ISO/IEC 2023 – All rights reserved
---------------------- Page: 2 ----------------------
ISO/IEC 21838-4:2023(E)
Contents Page
Foreword .iv
Introduction .v
1 Scope . 1
2 Normative references . 1
3 Terms and definitions . 1
4 Conformance of TUpper to ISO 21838-1 . 2
4.1 Overview . 2
4.2 Natural language representation of TUpper . 2
4.3 OWL 2 formalization of TUpper . 2
4.4 Common Logic axiomatization of TUpper . 2
4.4.1 General . 2
4.4.2 Modularity . 3
4.5 Specification of the purpose of TUpper (in conformance to ISO/IEC 21838-1:2021,
4.4.2) . 3
4.6 Conformance of a domain ontology to TUpper (in conformance to ISO/IEC 21838-
1:2021, 4.4.3) . 3
4.7 Consistency of the CL axiomatization of TUpper (in conformity to ISO/IEC 21838-
1:2021, 4.4.4) . 3
4.8 Interpretability of the OWL 2 axiomatization of TUpper in the CL axiomatization
(in conformity to ISO/IEC 21838-1:2021, 4.4.5) . 4
4.9 Demonstration of breadth of coverage of TUpper (in conformance to ISO/IEC
21838-1:2021, 4.4.6) . 4
4.9.1 General .
...
Questions, Comments and Discussion
Ask us and Technical Secretary will try to provide an answer. You can facilitate discussion about the standard in here.