Building the foundations for better decisions Reality and Representation in the Age of Digital Transformation Westminster Digital Business Symposium 2022 Thursday 7th July Chris Partridge – Chief Ontologist, BORO Solutions Information Junction The Information Management Experts Structure Introducing the IMF Team Background Information Management Framework Choice-based framework TLO Initial Use Situating the TLO in the IMF Data Section: Core Constructional Ontology Data Section: Top Level Ontology 2 Who is doing the work: introducing the IMF Team Information Junction The Information Management Experts Joint Policy Leads – National Digital Twin programme : Alexandra Luck Barry Blackwell Background Evolving Information Management Framework Choice-based framework 4 The evolving Information Management Framework UK’s National Digital Twin programme (NDTp) Information Management Framework (IMF) “a national system for connecting digital assets designed to enable competition on delivery and encourage innovation and development over time” Policy paper - National Data Strategy - Published 9 September 2020 “This will include further developing the Information Management Framework , which will seek to establish a common language by which digital twins can communicate securely and effectively, part of the Centre for Digital Built Britain’s work towards developing a National Digital Twin.” https://www.gov.uk/government/publications/uk-national-data-strategy/national-data-strategy 5 Latest incarnation: Managing Shared Data : An introduction to the Information Management Landscape and the Information Management Framework style.visibility style.visibility style.visibility style.visibility style.visibility A framework for assessing an ontology’s architectural choices https://www.repository.cam.ac.uk/handle/1810/313452 Appendix E: Summary of Framework Assessment Matrix Results 31 ontological choices 37 top ontologies shortlisted and assessed The ontological choices shape the architecture of the ontology web-based: https://digitaltwinhub.co.uk/a-survey-of-top-level-ontologies/#a_survey_of_TLOs_contents 6 Architecture: the choice of whether to stratify or unify “4.2.2 Horizontal aspects: stratification versus unification There is a group of fundamental choices that impact the ontological architecture which involves whether or not to make a distinction. If one chooses not to make the distinction, one only introduces a single type. If one chooses to make the distinction, one introduces two types; one for each alternative. The choice boils down to whether to horizontally stratify or unify. One can describe choosing to make the distinction as ‘separating one potentially unified type into two’, creating a horizontal stratification in the hierarchy – and not making the distinction, ‘unifying the potentially separated two types into one’.” 7 Horizontal stratification choices 8 {5C22544A-7EE6-4342-B048-85BDC9FD1C3A} Label Unified type Separate types Stratifying relation spacetime spatio-temporal locations spatial locations, temporal locations spaces are multiply located at times (though this is often a derived relation – from an occupying object’s links to both space and time) locations supersubstantival objects (physical) objects, locations objects are (exactly) located at their locations properties objects substances, properties substances are bearers of properties endurants perdurants continuants, occurrents occurrent is dependent upon continuant immaterial (physical) objects material objects, immaterial objects immaterial objects are part of material objects Spacetime stratification: unifying or stratifying A key choice: unifying or stratifying space and time temporal entities spatial entities entities more stratified supersubstantive objects more unified happens at 9 Horizontal Aspects: Stratification: unifying and separated 10 The progenitors of the IMF’s TLO From: The Approach to Develop the Foundation Data Model for the Information Management Framework https://www.cdbb.cam.ac.uk/files/250221_the_choice_of_start_point_for_the_foundation_data_model_for_the_information_management_framework_1.pdf 11 TLO Initial Use Case: ‘Euclidean’ standards "The epistemic value of a theory cannot be determined in isolation from its use, and successful use of a theory requires pragmatic understanding." Understanding scientific understanding - Henk W. de Regt - p. 36 12 TLO Initial use case is ‘Euclidean’ standards ISO 10303 Part 42 INSPIRE OS Open Names A core set of standards and associated data These assume a ‘Euclidean geometry’ typically (3 + 1)D Aim for an integrated 4D common foundation for these https://digitaltwinhub.co.uk/a-survey-of-idms-and-rdls-intro/ 13 Two clear ‘things’ emerge {5C22544A-7EE6-4342-B048-85BDC9FD1C3A} spatial objects one, two or three (spatial) dimensional objects either eternal or recurring (at each snapshot) technically rigid, in the sense of no (or practically no) deformation over time spatial locations where the spatial objects are located typically expressed as a (2/3D) coordinate system note: these have the same characteristics as spatial objects (eternal/recurring and rigid) Current situation: space appears to be Euclidean no clear way of dealing with time (mostly, not even mentioned) no deep formalization 14 Some examples ISO 10303 Part 42 INSPIRE OS Open Names {5C22544A-7EE6-4342-B048-85BDC9FD1C3A} places spatial objects geography geometry roads spatial objects geography geometry solids spatial objects CAD geometry surfaces spatial objects CAD geometry points spatial objects CAD geometry Eastings and Northings spatial locations geography geometry coordinates (2D and 3D) spatial locations CAD geometry examples 15 Proposed scope: ‘space-time’ Proposed scope: a formalized, unified, spatio-temporal account of spatial objects and locations hence named ‘space-time’ Spatio-temporal (unifying) challenge: provide, a clear, unified way of dealing with space-time a deep formalization of space and time Spatial (unifying+) challenge: provide, an account of spatial objects and locations in space-time a unified, super-substantival account. there is also a nexus of other things needed for this, including: rigid objects and being relatively at rest 16 Situating the TLO in the IMF Drilling down into the Foundational Data Layer 17 Drilling down into the Foundational Data Layer: Step 1: IMF Data Standards Circles The last (bottom) four of the seven circles focus on data standards The IMF – broadly organised into seven circles. 18 Drilling down into the Foundational Data Layer: Step 3 : Its three data sections Corresponding to each of the Foundational Data Circles is a Data Section. The Foundational Data Layer breaks down into three data sections: Foundation Data Model (FDM) Top-Level Ontology (TLO) Core Constructional Ontology (CCO) Our focus is on the last two sections 19 The data sections’ data components Note: Two types of data component: module mortar (to be explained later ) 20 Four-dimensional space-time emerges in the final component A word of warning: Underlying inter-connectedness From: Atomicity vs. Infinite Divisibility of Space, Claudio Masolo , Laure Vieu . 1999. COSIT '99: Proceedings of the International Conference on Spatial Information Theory: Cognitive and Computational Foundations of Geographic Information Science The stratified structure consolidates this inter-connectedness into a much simpler structure for ease of explanation and efficiency of development 21 Example of interconnectedness Core Constructional Ontology (CCO) Data section composed of data components 22 novel!!! CCO – Data Components unifying the three constructors introducing the three constructors general constructional framework background logical framework See: Core Constructional Ontology: The Foundation for the Top-Level Ontology of the Information Management Framework Top Level Categories: Categories for the Top-Level Ontology of the Information Management Framework Looking ahead: 4D doesn’t appear at this stage. pluralities constructor sets sum constructor individuals tuple constructor tuples e.g. set of individuals 23 set constructor See: The Many and the One: A Philosophical Study of Plural Logic, Salvatore Florio & Øystein Linnebo. (2021) Top Level Ontology (TLO) Data section composed of data components 24 TLO Components Four-dimensional space-time emerges in the final module atoms connection self-connected before-after worlds worldlines worldframes 4D space-time world 4D regions congruent curves 25 curves mereotopology mereotopology introduces connection : two individuals can be connected (or distinct) From this it defines self-connection an individual whose every part is connected to every other part. 26 worldology wordology introduces (possible) worlds defined in mereotopological terms as maximally self-connected regions worlds are self-connected individuals that are not part of any other self-connected individuals so different worlds are not connected in any way when we introduce time, we can say that they are not connected spatially or temporally. This has been called a Lewisian or concretist view. “There are countless other worlds, other very inclusive things. Our world consists of us and all our surroundings, however, remote in time and space; just as it is one big thing having lesser things as parts, so likewise do other worlds have lesser other-worldly things as parts.” David Lewis, 1986. On The Plurality of Worlds, p. 2 27 atomology atomology introduces atoms defined (simply) as individuals which have no (proper) parts 28 curveology curveology introduces (simple, open) curves defined using mereotopology and atomology as minimal, self-connected objects containing two atom endpoints are composed of atoms – zero-dimensional objects 29 regionology regionology introduces higher-level dimensional objects, including 4D Regions it collects together homogeneously two-, three- and four-dimensional regular objects where regular objects are self-connected using mereological operations, such as union and intersection, less regular objects can be generated 30 congruentology congruentology introduces a notion of congruent curves – a relation over curves (curveology) it collects together congruent curves that is those of the same ‘length’ 31 Prior form: chronology and worldlineology {5C22544A-7EE6-4342-B048-85BDC9FD1C3A} Year Author Title 1919 A. N. Whitehead An enquiry concerning the principles of natural knowledge 1928 R. Carnap The Logical Structure of the World 1936 B. Russell On order in time 1939 J. H. Woodger The Technique of Theory Construction 1981 P. Needham Temporal Intervals and Temporal Order 1982 C. Lejewski Ontology: What's Next? Opportunity to build upon previous work, including: Key architecture: time as a before-after relation between individuals worldlines as characterising space-time Introduced the name ‘chronology’ 32 chronology chronology introduces a (completely) before-after relation between individuals from this the other temporal relations can be defined 33 worldlineology Illustration: Minkowski, Hermann (1909), "Raum und Zeit", Physikalische Zeitschrift, 10: 75–88 worldlineology introduces worldlines defined in terms of a time-like (chronology) curve (curveology) every two points (atoms) in the time-like curve have to be in a before-after relation 34 worldframeology worldframeology introduces worldframes defined as sets of ‘parallel’ worldlines (worldlineology) that cover space-time, where ‘parallel’ is defined using congruence (congruentology) there are typically an infinite number of worldframes Year Title Link 2019 Coordinate Systems: Level Ascending Ontological Options https://borosolutions.net/coordinate-systems-multi-2019 2013 Air Control Means: An ‘Improving Precision’ Case Study https://borosolutions.net/air-control-means-ontobras-2013 2013 Geospatial and Temporal Reference: A Case Study Illustrating (Radical) Refactoring https://borosolutions.net/geospatial-temporal-reference-ontobras-2013 2011 An information model for geospatial and temporal references https://borosolutions.net/qq2011-model-geospatial-temporal-references See also: 35 homogeneously dimensional worldframeology homogeneously dimensional worldframeology introduces worldframes that are homogeneously (higher-level) dimensional, including 4D space-time world in other words, homogeneously four dimensional (regionology) worlds (worldology) and their worldframes (worldframeology), including a distinction between space and time (chronology) 36 Abbott, Edwin A. (1884). Flatland: A Romance in Many Dimensions. New York: Dover Recap: Journey to Four-Dimensional Space-Time 37 Questions 38 Additional References Florio, S. & Linnebo , Ø. (forthcoming). Core Constructional Ontology: The Foundation for the Top-Level Ontology of the Information Management Framework. Florio, S. & Linnebo , Ø. (2021). The Many and the One: A Philosophical Study of Plural Logic, Oxford, England: Oxford University Press. Hetherington, J. & West, M. (2020). The pathway towards an Information Management Framework - A “Commons” for Digital Built Britain. CDBB. https://doi.org/10.17863/CAM.52659. Partridge, C. (forthcoming). Top Level Categories: Categories for the Top-Level Ontology of the Information Management Framework. Partridge, C. (forthcoming). Developing Thin Slices: An introduction to the methodology for developing the Foundation Data Model and Reference Data Library of the Information Management Framework. Partridge, C., Mitchell, A., Cook, A., Sullivan, J. & West, M. (2020). A Survey of Top-Level Ontologies - to inform the ontological choices for a Foundation Data Model. Partridge, C. (forthcoming). Developing Thin Slices: An introduction to the methodology for developing the Foundation Data Model and Reference Data Library of the Information Management Framework. West, M. (forthcoming). Information Quality Basics. West, M. (forthcoming). Managing Shared Data: An introduction to the Information Management Landscape and the Information Management Framework. West, M., Cook, A., Leal, D., Mitchell, A., Partridge, C. & Sullivan, J. (2020). The Approach to Develop the Foundation Data Model for the Information Management Framework. https://www.cdbb.cam.ac.uk/files/approach_summaryreport_final.pdf. 39 40