Unit of Assurance

Vocabulary

Surrogate

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

39 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 39 terms in this namespace carry an authored label, and 31 carry a description. Definitions live in packs/surrogate/shapes/surrogate_shapes.ttl.

Terms

_evalOutsideEnvelope BenchmarkProvenance CalibrationClaim CalibrationDataProvenance CalibrationEvidence ComparativePerformanceClaim ConstraintCheckEvidence constraintId constraintKind coordinateName coordinateValue declaredPhysicsConstraint dimensionName EnvelopeDimension evaluationPoint EvaluationPoint evaluationRegion EvaluationRegion hasBenchmarkProvenance hasConstraintCheckEvidence hasCoordinate hasDimension maxBound minBound ModelComparisonRecord parentCOU parentDecision parentModelSnapshot ParentModelSnapshot parentMRL parentSignatureTimestamp PhysicsConstraint PointCoordinate snapshotTimestamp SurrogateModel surrogateType surrogateUQMethod trainingEnvelope TrainingEnvelope

(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

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

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

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, min 1, max 1

declared physics constraint declaredPhysicsConstraint

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

Property · used 2× in the shipped examples

value PhysicsConstraint

dimension name dimensionName

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

Property · used 4× 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 4× 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

value EvaluationRegion

Evaluation Region EvaluationRegion

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

Class

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 2× in the shipped examples

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

value EnvelopeDimension

maximum bound maxBound

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

Property · used 4× 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, min 1, max 1

minimum bound minBound

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

Property · used 4× 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, min 1, max 1

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

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 2× 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 2× 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.

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), the SHACL shapes under packs/*/shapes/, and the JSON Schema. Term coverage: 39 labelled, 31 with a description, 10 carrying SHACL constraints, 25 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.