Vocabulary

UofA packages use compact property names that expand into these namespaces. Each term is addressable, so https://uofa.net/vocab#hasWeakener resolves to its entry.

Namespace	IRI	Terms	Labelled	Described
Core	`https://uofa.net/vocab#`	157	122	122
ISO 42001 (AIMS)	`https://uofa.net/vocab/aims#`	127	127	99
Surrogate	`https://uofa.net/vocab/surrogate#`	39	39	31

The JSON-LD contexts that map compact names onto these namespaces are served alongside them.

Coverage is uneven

The ISO 42001 and surrogate namespaces carry authored labels and descriptions in their pack shapes. The core namespace does not: of its 157 terms, 122 have an authored definition, 74 carry SHACL constraints that describe how they are validated, and 23 have neither.

Their pages show what can be derived from the context, the shapes and the JSON Schema, and say plainly where nothing exists. Derived metadata tells you how a term is constrained, not what it means. Writing definitions for the core terms belongs in packs/core/shapes/, alongside the definitions the other packs already carry, so that SHACL messages improve at the same time.