FPF Reference

    F.2:11.3 Kind-CAL + method/work stack + KD‑CAL

    Preface node heading:f-2-11-3-kind-cal-method-work-stack-kd-cal:81444

    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

    • Context: OWL 2 (profiles) — LNF: subclass‑of Tech: subclass‑of - Plain: is‑a (type hierarchy) Gloss: “C ⊑ D: every instance of C is an instance of D.”

    • Context: FCA corpus — LNF: formal‑concept Tech: formal‑concept - Plain: extent–intent node Gloss: “Maximal (objects, attributes) pair under a Galois connection.”

    • Context: SPEM 2.0 / ISO 24744 — LNF: method Tech: method - Plain: abstract way of doing Gloss: “Abstract how‑to independent of specification or execution.”

    • Context: SOSA/SSN (2017) — LNF: procedure Tech: procedure - Plain: measurement recipe Gloss: “Specification guiding how an observation is produced.”

    Thinking pay-off: discourages treating an FCA "concept" as a root kind, or a procedure as a method without later proof.

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