FPF Reference

    Ontological SoTA and constructional sources

    Preface node heading:ontological-sota-and-constructional-sources:11178

    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

    This pattern uses these sources to constrain its account of occurrence existence and identity. Their role here is ontological comparison, 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 as current improvement pressure 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.

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