FPF Reference

    (a) Class-order comparison

    Preface node heading:a-class-order-comparison:95000

    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

    Comparison or useExact source-local entriesObtaining relationsLoss and boundaryBasisConclusion
    Explain two class-order notationsOWL 2 SubClassOf; FPF U.SubtypeRelation claimAn explicit representation or semantic relation, if established for the selected expressionsOWL profile semantics and FPF kind criteria may differC.3, C.29, A.6.3.RT, and cited sourcesUse one didactic gloss only within the stated notation comparison; do not include FCA order by resemblance.

    Last Updated: 2026-09-03 — upstream FPF commit b999972c (github.com/ailev/FPF)