Library / First Principles Framework (FPF) - Core Conceptual Specification
Jump to passage
In this reading

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 11:52:20 UTC · snapshot created 2026-10-03 11:53:41 UTC · last check 2026-10-03 14:00:20 UTC

A.6.REL:11.1 - Ontological SoTA and constructional sources

This pattern uses these sources to constrain its account of occurrence existence and identity. They provide ontological comparisons, not notation selection.

Ontological sourceWhat it contributesFPF adoption, mutation, and practical effect
Florio and Linnebo, Introduction to Constructional Ontology, 2024Separates constructors, constructor inputs, the source account’s construction process, and output identity.Adopt the construction test and adapt the source process to FPF method and work distinctions. Section 4.3 asks which system acts as constructor, which method it enacts, which entities are inputs, which work it performs, and how that work occurrence contributes to output or relation identity. Row creation and assertion remain non-constructive unless the direct rule declares the corresponding work constitutive.
Borgo and Righetti, Towards Applied Constructional Ontology, 2025Tests how constructional analysis could reconstruct existing foundational ontologies and exposes conceptual, structural, completeness, and consistency questions; it is an early applied step, not a finished recipe.Adapt with that maturity boundary. Checklist 9 and the physical case require a recoverable construction choice instead of accepting an inherited relation representation or taxonomy.
Partridge, BORO Ontology, C-FORS 2025 presentationPresents a 4D extensional, categorical, and constructional ontology with an ontology-evolution method.Adapt as a current ontological comparison under a boundary. Sections 4.3 and 5.1 use temporal extent and constituting occurrences when the direct identity rule needs them. FPF rejects universal 4D identity, unrestricted composition, and BORO’s category architecture for this pattern.
Almeida, Guizzardi, Sales, and Fonseca, gUFO, 2026 preprintProvides a current foundational-ontology implementation with differentiated relational-aspect and reification patterns.Adapt its ontological distinctions as a current comparison; reject its OWL implementation as proof of FPF occurrence existence or identity. Section 4.4 separates direct relation, assertion, reifier, and optional relator without importing the complete category hierarchy.
OntoUML Relator, specification lineageModels a relator as a dependent truth-maker for a material relation.Reject as current competitive SoTA; retain and adapt as a lineage comparison for material relators. Section 4.4 permits a relator only when the direct material ontology identifies the relator, its dependence relations to the participants, and its occurrence-identity rule.