Table of Contents

Foreword
Introduction
1 Scope
2 Terms, definitions, and abbreviated terms
3 Fundamental concepts and assumptions
4 Modelling basics
5 Template specification
6 Templates for individuals
7 Templates for classes
8 Templates as reference data
Annex A (normative) - Information object registration
Annex B (normative) - Listing: ISO 15926-2 in first-order
        logic
Annex C (normative) - Listing: proto-templates
Annex D (informative) - Table: proto-templates
Annex E (informative) - Recursive vs. non-recursive template
        expansion
Annex F (informative) - Template expansion: example
Annex G (informative) - Consistency checking via coherent
        logic
Annex H (informative) - Formal constraints beyond templates
Annex J (normative) - Semantics of templates
Annex K (normative) - Properties of template expansion
Bibliography
Index

Abstract

Specifies a methodology for data integration of ontologies using mathematical first-order logic, which makes it independent of computer languages.

General Product Information

Published
Document Type	Standard
Status	Current
Publisher	International Organization for Standardization
Pages
ISBN
Committee	TC 184