In the multi-level type modeling community, claims that most enterprise application systems use ontologically multi-level types are ubiquitous. To be able to empirically verify this claim one needs to be able to expose the (often underlying) ontological structure and show that it does, indeed, make a commitment to multi-level types. We have not been able to find any published data showing this being done. From a top-level ontology requirements perspective, checking this multi-level type claim is worthwhile. If the datasets for which the top-level ontology is required are ontologically committed to multi-level types, then this is a requirement for the top-level ontology. In this paper, we both present some empirical evidence that this ubiquitous claim is correct as well as describing the process we used to expose the underlying ontological commitments and examine them. We describe how we use the bCLEARer process to analyse the UNICLASS classifications making their implicit ontological commitments explicit. We show how this reveals the requirements for two general ontological commitments; higher-order types and first-class relations. This establishes a requirement for a top-level ontology that includes the UNICLASS classification to be able to accommodate these requirements. From a multi-level type perspective, we have established that the bCLEARer entification process can identify underlying ontological commitments to multi-level type that do not exist in the surface linguistic structure. So, we have a process that we can reuse on other datasets and application systems to help empirically verify the claim that ontological multi-level types are ubiquitous.

The Centre for Digital Built Britain has been tasked through the Digital Framework Task Group to develop an Information Management Framework (IMF) to support the development of a National Digital Twin (NDT) as set out in “The Pathway to an Information Management Framework” (Hetherington, 2020). A key component of the IMF is a Foundation Data Model (FDM), built upon a top-level ontology (TLO), as a basis for ensuring consistent data across the NDT.

This document captures the results collected from a broad survey of top-level ontologies, conducted by the IMF technical team. It focuses on the core ontological choices made in their foundations and the pragmatic engineering consequences these have on how the ontologies can be applied and further scaled. This document will provide the basis for discussions on a suitable TLO for the FDM. It is also expected that these top-level ontologies will provide a resource whose components can be harvested and adapted for inclusion in the FDM.

Following the publication of this document, the programme will perform a structured assessment of the TLOs identified herein, with a view to selecting one or more TLOs that will form the kernel around which the FDM will evolve. A further report – The FDM TLO Selection Paper – will be issued to describe this process in late 2020.

The review of existing industry data models and reference data libraries will support the development of the National Digital Twin Information Management Framework. The review will have different roles during the development. The envisaged roles are as follows:

- existing industry data models and reference data libraries are identified

- the structure of the models and libraries is summarised

- the extensibility of the models is described

- the documentation of the models is described

- the maintenance and usage of the models is described

This is the first in a series of presentations that should be seen as an integrated whole rather than a collection of separate presentations. It is an introduction to the whole and covers the Information Quality Management angle which is the motivation for our interest in 4-Dimensionalism. Later presentations will go down through the 7 circles of information management showing how 4D permeates what we are doing in developing and using 4-Dimensionalism on the National Digital Twin programme.

The purpose of this report is to give an understanding of the technicalities of the foundation and formalisation underpinning a foundational ontology.

This report is directed at a technical audience interested in understanding what the foundation of the foundational ontology is and how it is formalised. In particular, we expect the report to be of interest to logicians and formal ontologists.

This is part of a project to build a unified foundation, called the Core Constructional Ontology (CCO). This stage of the project has developed a transitional framework that establishes the feasibility of building the CCO. The framework is formalised by means of a theory we call the Core Constructional Theory (CCT). Here we describe the CCT and its associated CCO. Later stages of the project will further develop and enhance this framework. Appendix E.5 gives some indication of what these enhancements could be. This novel theory develops the idea that all the objects in the CCO emerge during construction. We start from an initial collection of objects—often called givens—and a small number of constructors, and the entire ontology unfolds from repeated constructions. So from the givens and constructors one knows, in principle, all the objects in the ontology. Using the technical resources of plural logic, the CCT formalises the arrangement of constructions in stages, where the intended ontology arises after exhausting all the stages. This report documents the CCT and provides a proof of its consistency.