FPF Reference

    Ontological SoTA and constructive grounding

    Preface node heading:ontological-sota-and-constructive-grounding:15709

    What this page is

    This is generated FPF reference text from the specification preface or supporting sections. It helps interpret FPF; it is not FPF Reference product documentation.

    Methodology

    Use it to understand how the specification wants to be read, then return to a route, pattern, or work packet for active work. Cite generated IDs only when the wording changes the task decision.

    Content

    These sources constrain relation occurrence, identity, and construction. They are not interchangeable: FPF takes constructor-and-input discipline from the constructional-ontology line, uses BORO as a distinct 4D comparison, and treats implementation ontologies as stress comparators rather than proof.

    Ontological source and statusWhat it contributesFPF adoption, mutation, and practical effect
    Florio and Linnebo, Introduction to Constructional Ontology, 2024Separates constructors, constructor inputs, and constructional process, and examines functional and relational ways to characterize construction and output identity.Adopt the discriminating construction test. Recover constructor, inputs, process, and identity only when the direct relation ontology makes construction constitutive. A storage operation is not thereby an ontological constructor.
    Borgo and Righetti, Towards Applied Constructional Ontology, 2025Tests how constructional analysis can expose conceptual, structural, completeness, and consistency choices while marking unresolved application questions.Adopt as improvement pressure, not an imported ontology. A.6.P exposes the exact construction and identity choice whenever it changes occurrence identity.
    Partridge, BORO Ontology, C-FORS 2025 presentationPresents BORO as a 4D extensional, category, and constructional ontology with an evolution method.Use as an ontological comparison under an explicit boundary. A.6.P may use temporal extent when the direct identity rule needs it; FPF does not import universal 4D identity, unrestricted composition, or BORO's category architecture.
    Almeida, Guizzardi, Sales, and Fonseca, gUFO, 2026 preprintProvides a foundational-ontology implementation with differentiated relation and reification patterns.Use the distinctions as a comparator; do not treat the implementation as proof. Direct relation, optional explicit occurrence, assertion, and representation remain separate without importing the source category hierarchy.
    OntoUML Relator, specification lineageModels a relator as a dependent truth-maker whose existence connects participants in a material relation.Retain as a material-relation comparator, not a universal answer. The physical case requires the direct parthood ontology to identify and justify such a truth-maker before a relator is introduced; formal and other relations receive none by analogy.
    Andrei Rodin, Venus Homotopically, 2016Shows that identity across presentations is not obtained from a shared label alone; background, observations, and a trajectory can establish the same world-side referent.Retain as constructive-grounding lineage. Candidate referents are separated through observations, identity tests, and direct-pattern conditions; naming does not close ontology.

    Last Updated: 2026-07-28 — upstream FPF commit 17edd955 (github.com/ailev/FPF)