FPF Reference

F.1:12.2 Method quartet with types & measurement (model state graph)

Preface node heading:f-1-12-2-method-quartet-with-types-measurement-model-state-graph:47824

Content

Unification line. Method‑CAL + Kind-CAL + KD‑CAL.

Contexts (five Cards).

  1. SPEM 2.0 / ISO 24744 — methods family; design; Method / MethodDescription language.
  2. OWL 2 (profiles) — types family; design; class, subclass, equivalent class.
  3. FCA corpus — types family; design; concept lattices.
  4. SOSA/SSN (2017) — sensing family; run; Observation / Procedure.
  5. ISO 80000‑1 (2022) — metrology family; design; quantity kinds, units.

Thinking pay‑off.

  • You keep Method (abstract how‑to) separate from MethodDescription (epistemic recipe) and Execution (run) because the Contexts already split design vs run.
  • You avoid treating FCA “concept” as a U.Type; later F.9 can bridge OWL classes to FCA concepts with cautions.