Open Property Data Association
Smart Property Data Trust Framework
Become a member Join a working group
    Logical tier foundation

    Validation Context

    https://opda.org.uk/pdtf/ValidationContext

    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

    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).

    Sources

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

    Comments

    Loading comments…