Class foundation context

    Validation Context

    https://opda.org.uk/pdtf/ValidationContextTurtle ↓

    A reified overlay profile that anchors per-profile cardinality and enumeration constraints to a named, dereferenceable context, so a constraint holds relative to that context rather than as a free-floating axiom.

    Reification of an overlay-profile validation context per ODR-0010 §Q1 (Guarino withdrawal condition). Each instance carries five properties: opda:profileURI, opda:requires, opda:overlaysContext, opda:sourcedFrom, opda:formVersion. Anchors per-profile cardinality/enum constraints in a named context — converting conditionality from 'required (depending)' to 'required relative to a named, dereferenceable context'. ADR-0013 emits per-profile instances under <https://opda.org.uk/pdtf/Baspi5ValidationContext> etc.

    Classification

    Classified under UFO meta-category Substance Kind — a design-time classification (UFO-informed, not UFO-grounded), not an entailed type

    UFO: Substance Kind (informational). Reifies a SHACL profile as a first-class subject so its constraints have determinate model theory (Guarino's withdrawal condition discharged at S010).

    Provenance · dct:source

    • harness/odr/ODR-0010/section-Q1