This presentation describes what the 4-dimensionalist top level ontology (TLO) based upon mereotopology and space-time being developed for the Information Management Framework (IMF) looks like. It describes the agile, iterative, modular approach adopted. It situates the 4-dimensional approach in terms of its ontological choices. It outlines the scope of the first iteration, based upon requirements that emerge from industrial standards such as; Building Smart, STEP amd TC211/INSPIRE. It describes the spatio-temporal candidates for ontological analysis that emerge from these standards. It then provides a historical overview of the use of worldlines to characterise these candidates. And builds upon this for one example, coordinate systems. Finally it provides an overview of how space-time can be modularised. 
Presentation Structure

• Preliminaries - overall approach: How, broadly speaking, do we develop the ontology?
• Situating 4D in ontological space: A requirement for space-time is central
• Broad modularisation context
• First iteration: scope : What should the scope of the first ‘MVP’ be?
• Top-down and bottom-up approach
• Space-time – top-down workstream
• Space-time: Foundation Data Model : from worldlines to spatial objects and locations
• Space-time: top-level-ontology: from core to worldlines

The digitalisation journey that takes us to semantically seamlessly interoperating enterprise systems is (at the later stages - where ontology is deployed) a hard road to travel. This presentation aims to highlight some of the main hurdles people will face on the digitalisation journey using a cultural evolution perspective. From this viewpoint, we highlight the radical new practices that need to be adopted along the journey. The presentation looks at the concerns this evolutionary perspective raises. For example, evolutionary contingency. It seems clear that if we don’t adapt in the right way, we will not evolve interoperability. While we have some idea of what the practices are, what the trajectory of the journey is. This is not enough, the community also needs find the means to (horizontally) inherit these. The presentation then does a quick tour around so of the new practices that need to be adopted.

This presentation introduces the survey of top-level ontologies. It provides an overview of the context in which it was produced and reviews its contents.

Presentation Structure:

1. Context
2. Candidate Top-level Ontologies
3. Assessment Framework
4. Summary

BORO is a metaphysically grounded foundational ontology developed specifically for use with computer systems (a foundational ontology is a system of general domain-independent ontological categories that can form a foundation for domain-specific ontologies; some but not all of these are grounded in metaphysics) and an associated methodology for legacy re-engineering systems. It emerged from a number of system replacement projects that started in the late 1980s. It was developed to mine the ontology-based conceptual models from legacy systems for use in the development of next generation systems.

Once the re-engineering methodology was established in the initial projects, questions arose as to where it could usefully be deployed. To answer this, it would help to understand why it was effective; after all, it would be hard to find a more abstract and esoteric subject than metaphysics – and one that does not immediately seem related to computing. Furthermore metaphysics is a broad subject, it would be good to understand better what areas of metaphysics are important, why they are important and how they are useful. It would also be good to have a better idea of where in computing metaphysics could play a useful role.

The purpose of this position paper is to sketch out how BORO has, over the decades, developed a view that provides answers to these questions (with no claim that this is the only way to answer them). This view is framed by two related themes. The first is that a new kind of information quality – which we label ‘computerate’ – is needed for computer systems and the second that metaphysics provides the right apparatus for grounding foundational ontologies that can be used to produce this ‘computerate’ information.

Launched in July 2018, the National Digital Twin programme was set up to deliver key recommendations of the National Infrastructure Commission 2017 “Data for the Public Good Report”

• to steer the successful development and adoption of the Information Management Framework for the built environment
• to create an ecosystem of connected digital twins – a national digital twin– which opens the opportunity to release value for society, the economy, business and the environment

This presentation introduces the Core Constructional Ontology (CCO). It firstly provides the background to the development of this ontology. It secondly, provides a summary of the approach to the development, looking at its key features and giving an overview of the formalisation.

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.

This presentation shows a foundational ontology that aims to underpin a range of enterprise systems in a consistent and coherent manner and takes data-driven re-engineering as its natural starting point for domain ontology building. It has two closely intertwined components, a foundational ontology and a re-engineering methodology.

The origin and predominant area of application has been the enterprise. Suitability has been demonstrated in many industrial projects across a range of business domains including finance, oil and gas, and defense.

This presentation aims to give an overview of how the unification of types could fit into IS.

This presentation looks at why the ‘unification of types’ is pragmatically important (and, more generally, why the ‘innocent’ development environment unification is pragmatically important). It does this by taking an evolutionary perspective that recognises unification as a form adaption for semantic interoperability.