Unit of Assurance

Vocabulary

Surrogate

https://uofa.net/vocab/surrogate#

54 terms. This is the namespace UofA packages expand their property names into. Every term below is addressable as https://uofa.net/vocab/surrogate#<Term>.

All 54 terms in this namespace carry an authored label, and 46 carry a description. Definitions live in packs/surrogate/shapes/surrogate_shapes.ttl.

Terms

_closureOutsideValidatedRange _evalOutsideEnvelope _omittedMechanismMaterial applicabilityFactor BenchmarkProvenance boundVariable CalibrationClaim CalibrationDataProvenance CalibrationEvidence calibrationMax calibrationMin closureId ComparativePerformanceClaim ConstraintCheckEvidence constraintId constraintKind coordinateName coordinateValue declaredPhysicsConstraint dimensionlessGroup dimensionName EnvelopeDimension evaluationPoint EvaluationPoint evaluationRegion EvaluationRegion hasBenchmarkProvenance hasConstraintCheckEvidence hasCoordinate hasDimension materiality materialityThreshold materialityThresholdStatus maxBound mechanism minBound ModelComparisonRecord observedValue parentCOU parentDecision parentModelSnapshot ParentModelSnapshot parentMRL parentSignatureTimestamp PhysicsConstraint PointCoordinate snapshotTimestamp SurrogateModel surrogateType surrogateUQMethod trainingEnvelope TrainingEnvelope validatedMax validatedMin

(derived) closure outside validated range _closureOutsideValidatedRange

https://uofa.net/vocab/surrogate#_closureOutsideValidatedRange

Property

Asserted by w_surr_05 on the annotation whose observedValue lies outside [validatedMin, validatedMax]. Leading underscore signals 'computed, not authored'. The marker is what makes the rule firing countable in the engine's deductions, since re-asserting a triple the data already carries leaves no trace.

value xsd:boolean

(derived) evaluation outside envelope _evalOutsideEnvelope

https://uofa.net/vocab/surrogate#_evalOutsideEnvelope

Property

Materialized by derivations/surrogate_derivations_v0.1.sparql when the evaluation point/region is not contained in the training envelope. Leading underscore signals 'computed, not authored'. Consumed by W-SURR-03.

value xsd:boolean

(derived) omitted mechanism active and material _omittedMechanismMaterial

https://uofa.net/vocab/surrogate#_omittedMechanismMaterial

Property

Asserted by w_surr_06 on the annotation whose observedValue lies outside the calibration window and whose materiality is at or above materialityThreshold.

value xsd:boolean

applicability factor applicabilityFactor

https://uofa.net/vocab/surrogate#applicabilityFactor

Property · used 3× in the shipped examples

Links the package to the per-point CredibilityFactor nodes an external applicability tool reports, one per point per detector, fired or quiet. A quiet factor carries the same observation fields as a fired annotation, so a rule's silence is a judgement about the numbers rather than an absence of anything to judge. Kept apart from hasCredibilityFactor, whose shape is the standard's factor table.

value CredibilityFactor

Benchmark Provenance BenchmarkProvenance

https://uofa.net/vocab/surrogate#BenchmarkProvenance

Class

Provenance of the benchmark set used to interrogate the surrogate. Supports the W-SURR-04 benchmark-coverage-gap candidate (method-first; not pre-implemented).

Subclass of ProcessAttestation

bound variable boundVariable

https://uofa.net/vocab/surrogate#boundVariable

Property · used 85× in the shipped examples

The physical coordinate whose validated range the closure carries (e.g. x_over_D). The surrogate need not take it as an input: that is the point of W-SURR-05.

value xsd:string

Surrogate Calibration Claim CalibrationClaim

https://uofa.net/vocab/surrogate#CalibrationClaim

Class

Claim that the surrogate was calibrated. Bundle-sufficiency (OOS-SURR-CALIBRATION / D-VAL-07) wants calibration evidence AND calibration-data provenance distinct from training data.

Subclass of AssuranceClaim

Calibration Data Provenance CalibrationDataProvenance

https://uofa.net/vocab/surrogate#CalibrationDataProvenance

Class

Provenance of the calibration data, distinct from training data (D-VAL-07).

Subclass of ProcessAttestation

Calibration Evidence CalibrationEvidence

https://uofa.net/vocab/surrogate#CalibrationEvidence

Class

Subclass of ValidationResult

calibration window, upper end calibrationMax

https://uofa.net/vocab/surrogate#calibrationMax

Property · used 18× in the shipped examples

Upper end of the window of the dimensionless group over which the surrogate was calibrated.

calibration window, lower end calibrationMin

https://uofa.net/vocab/surrogate#calibrationMin

Property · used 18× in the shipped examples

Lower end of the window of the dimensionless group over which the surrogate was calibrated.

closure id closureId

https://uofa.net/vocab/surrogate#closureId

Property · used 85× in the shipped examples

The literature closure (e.g. gnielinski-1976) the prediction relies on. Read by W-SURR-05.

value xsd:string

Comparative Performance Claim ComparativePerformanceClaim

https://uofa.net/vocab/surrogate#ComparativePerformanceClaim

Class

Claim that the surrogate's performance was compared against an alternative model or CSE baseline. Bundle-sufficiency (OOS-SURR-COMPARISON / D-CCB-15) wants a model-comparison record.

Subclass of AssuranceClaim

Constraint Check Evidence ConstraintCheckEvidence

https://uofa.net/vocab/surrogate#ConstraintCheckEvidence

Class · used 2× in the shipped examples

A checkable residual/conservation-check artifact for a declared physics constraint. Measured by SIP (physicsConstraintResidual).

Subclass of ValidationResult

constraint id constraintId

https://uofa.net/vocab/surrogate#constraintId

Property · used 2× in the shipped examples

Identifies which governing law or invariant is being asserted, so the same constraint carries the same name across packages.

on PhysicsConstraint · value xsd:string

  • datatype xsd:string, min 1, max 1A declared PhysicsConstraint must carry a constraintId.

constraint kind constraintKind

https://uofa.net/vocab/surrogate#constraintKind

Property · used 2× in the shipped examples

conservation | boundary-condition | invariant | monotonicity | ...

value xsd:string

coordinate name coordinateName

https://uofa.net/vocab/surrogate#coordinateName

Property · used 4× in the shipped examples

Which input dimension this coordinate gives a value for, matching the dimension names declared by the training envelope.

on PointCoordinate · value xsd:string

  • datatype xsd:string, min 1, max 1

coordinate value coordinateValue

https://uofa.net/vocab/surrogate#coordinateValue

Property · used 4× in the shipped examples

The value of this coordinate, compared against the envelope bounds to decide whether the point was inside what the surrogate was trained on.

on PointCoordinate · value xsd:decimal

  • datatype xsd:decimal or xsd:double or xsd:integer, min 1, max 1coordinateValue must be a number (decimal, double or integer).

declared physics constraint declaredPhysicsConstraint

https://uofa.net/vocab/surrogate#declaredPhysicsConstraint

Property · used 2× in the shipped examples

value PhysicsConstraint

dimensionless group dimensionlessGroup

https://uofa.net/vocab/surrogate#dimensionlessGroup

Property · used 18× in the shipped examples

The group that says whether the mechanism is active (e.g. richardson_number).

value xsd:string

dimension name dimensionName

https://uofa.net/vocab/surrogate#dimensionName

Property · used 20× in the shipped examples

The named input dimension this bound applies to, matching the coordinate names used by evaluation points.

on EnvelopeDimension · value xsd:string

  • datatype xsd:string, min 1, max 1

Envelope Dimension EnvelopeDimension

https://uofa.net/vocab/surrogate#EnvelopeDimension

Class · used 20× in the shipped examples

One named input dimension with a lower and upper bound (e.g. reynolds in [2e6, 6e6]).

evaluation point evaluationPoint

https://uofa.net/vocab/surrogate#evaluationPoint

Property · used 2× in the shipped examples

value EvaluationPoint

Evaluation Point EvaluationPoint

https://uofa.net/vocab/surrogate#EvaluationPoint

Class · used 2× in the shipped examples

Where this COU exercises the surrogate, as per-dimension scalar coordinates.

evaluation region evaluationRegion

https://uofa.net/vocab/surrogate#evaluationRegion

Property · used 3× in the shipped examples

value EvaluationRegion

Evaluation Region EvaluationRegion

https://uofa.net/vocab/surrogate#EvaluationRegion

Class · used 3× in the shipped examples

Where this COU exercises the surrogate, as per-dimension bounds (uses hasDimension like a TrainingEnvelope).

has benchmark provenance hasBenchmarkProvenance

https://uofa.net/vocab/surrogate#hasBenchmarkProvenance

Property

value BenchmarkProvenance

has constraint check evidence hasConstraintCheckEvidence

https://uofa.net/vocab/surrogate#hasConstraintCheckEvidence

Property · used 2× in the shipped examples

Links a declared physics constraint to its residual/conservation-check artifact. Absence is W-SURR-01.

on PhysicsConstraint · value ConstraintCheckEvidence

has coordinate hasCoordinate

https://uofa.net/vocab/surrogate#hasCoordinate

Property · used 2× in the shipped examples

value PointCoordinate

has dimension hasDimension

https://uofa.net/vocab/surrogate#hasDimension

Property · used 8× in the shipped examples

Links a TrainingEnvelope or EvaluationRegion to one of its named bounded dimensions.

value EnvelopeDimension

materiality materiality

https://uofa.net/vocab/surrogate#materiality

Property · used 18× in the shipped examples

How much the omitted mechanism moves the quantity of interest, as a fraction, from a matched ablation (mechanism on versus off, nothing else changed).

materiality threshold materialityThreshold

https://uofa.net/vocab/surrogate#materialityThreshold

Property · used 18× in the shipped examples

The threshold the annotation declares. W-SURR-06 fires only at or above it.

materiality threshold status materialityThresholdStatus

https://uofa.net/vocab/surrogate#materialityThresholdStatus

Property · used 18× in the shipped examples

illustrative when the threshold is not locked (reported as a value, not a verdict); declared when it comes from the COU acceptance criteria.

value xsd:string

maximum bound maxBound

https://uofa.net/vocab/surrogate#maxBound

Property · used 20× in the shipped examples

The upper end of the range the surrogate was trained over for this dimension. Together with minBound this is what makes an evaluation point inside or outside the training envelope.

on EnvelopeDimension · value xsd:decimal

  • datatype xsd:decimal or xsd:double or xsd:integer, min 1, max 1maxBound must be a number (decimal, double or integer).

mechanism mechanism

https://uofa.net/vocab/surrogate#mechanism

Property · used 18× in the shipped examples

A physical mechanism the surrogate does not represent (e.g. buoyancy). Read by W-SURR-06.

value xsd:string

minimum bound minBound

https://uofa.net/vocab/surrogate#minBound

Property · used 20× in the shipped examples

The lower end of the range the surrogate was trained over for this dimension.

on EnvelopeDimension · value xsd:decimal

  • datatype xsd:decimal or xsd:double or xsd:integer, min 1, max 1minBound must be a number (decimal, double or integer).

Model Comparison Record ModelComparisonRecord

https://uofa.net/vocab/surrogate#ModelComparisonRecord

Class

Comparison of the surrogate against an alternative SciML model or a CSE baseline using purpose-specific metrics (D-CCB-15).

Subclass of ValidationResult

observed value observedValue

https://uofa.net/vocab/surrogate#observedValue

Property · used 103× in the shipped examples

The value of boundVariable (W-SURR-05) or of the dimensionless group (W-SURR-06) at the point under review.

parent COU parentCOU

https://uofa.net/vocab/surrogate#parentCOU

Property · used 2× in the shipped examples

Identifier of the parent high-fidelity model's Context of Use.

  • min 1, max 1A ParentModelSnapshot must identify the parentCOU.

parent decision parentDecision

https://uofa.net/vocab/surrogate#parentDecision

Property · used 2× in the shipped examples

The parent COU's recorded decision: Accepted, Not Accepted, or Conditional. Absence means no decision recorded. W-SURR-02 reads this.

value xsd:string

  • datatype xsd:string, max 1, one of Accepted, Not Accepted, ConditionalparentDecision, when present, must be Accepted, Not Accepted, or Conditional (absence = no decision recorded).

parent model snapshot parentModelSnapshot

https://uofa.net/vocab/surrogate#parentModelSnapshot

Property · used 2× in the shipped examples

value ParentModelSnapshot

Parent Model Snapshot ParentModelSnapshot

https://uofa.net/vocab/surrogate#ParentModelSnapshot

Class · used 2× in the shipped examples

Embedded snapshot of the high-fidelity parent model's credibility for the COU the surrogate inherits from. v1 inheritance architecture: no live cross-package reasoning. parentDecision is the parent's RECORDED decision (inherited provenance), never a SIP/UofA verdict.

parent MRL parentMRL

https://uofa.net/vocab/surrogate#parentMRL

Property · used 2× in the shipped examples

The parent's Model Readiness Level (PCMM-grounded).

parent signature timestamp parentSignatureTimestamp

https://uofa.net/vocab/surrogate#parentSignatureTimestamp

Property

Declared Physics Constraint PhysicsConstraint

https://uofa.net/vocab/surrogate#PhysicsConstraint

Class · used 2× in the shipped examples

A governing law or invariant the surrogate is expected to respect (conservation, boundary condition, monotonicity).

Point Coordinate PointCoordinate

https://uofa.net/vocab/surrogate#PointCoordinate

Class · used 4× in the shipped examples

One named scalar coordinate of an EvaluationPoint (e.g. aoa = 4.0).

snapshot timestamp snapshotTimestamp

https://uofa.net/vocab/surrogate#snapshotTimestamp

Property · used 2× in the shipped examples

When this snapshot of the parent decision was taken (drift indicator).

  • min 1, max 1A ParentModelSnapshot must record snapshotTimestamp.

Surrogate Model SurrogateModel

https://uofa.net/vocab/surrogate#SurrogateModel

Class

A physics-based AI/ML surrogate standing in for high-fidelity simulation: ROM, PINN, operator-learning, data-driven emulator, or ML closure.

Subclass of Model

surrogate type surrogateType

https://uofa.net/vocab/surrogate#surrogateType

Property

One of: ROM, PINN, operator-learning, data-driven-emulator, ML-closure.

on SurrogateModel · value xsd:string

  • datatype xsd:string, min 1, max 1, one of ROM, PINN, operator-learning, data-driven-emulator, ML-closureA SurrogateModel must declare exactly one surrogateType from the enum.

surrogate UQ method surrogateUQMethod

https://uofa.net/vocab/surrogate#surrogateUQMethod

Property

UQ approach for the surrogate's own prediction uncertainty (e.g. conformal-prediction, ensemble, mc-dropout). Consumed by reused W-AL-02.

value xsd:string

training envelope trainingEnvelope

https://uofa.net/vocab/surrogate#trainingEnvelope

Property · used 5× in the shipped examples

Links the surrogate COU to its declared TrainingEnvelope.

value TrainingEnvelope

Training Envelope TrainingEnvelope

https://uofa.net/vocab/surrogate#TrainingEnvelope

Class · used 5× in the shipped examples

The declared input domain over which the surrogate is trained/valid, as per-dimension bounds. The operating-envelope artifact W-ON-02 checks for presence and W-SURR-03 checks for containment of the evaluation point/region.

validated range, upper end validatedMax

https://uofa.net/vocab/surrogate#validatedMax

Property

Upper end of the closure's validated range for boundVariable. Omit when the range is unbounded above.

validated range, lower end validatedMin

https://uofa.net/vocab/surrogate#validatedMin

Property · used 85× in the shipped examples

Lower end of the closure's validated range for boundVariable. Omit when the range is unbounded below.

Provenance

Generated from the JSON-LD context files (v0.1, v0.2, v0.3, v0.4, v0.5, v0.6, v0.7, v0.8, v0.9, v0.10), the SHACL shapes under packs/*/shapes/, and the JSON Schema. Term coverage: 54 labelled, 46 with a description, 10 carrying SHACL constraints, 39 used by the shipped example packages, 8 declaring the class they belong to.

A property with no declared class is one the repository has no single answer for: either nothing uses it yet, or it is carried by several classes at once and rdfs:domain would assert that every carrier is the same kind of thing.