Unit: applied-ontology-readiness
Plan section: AOR-4
Decision: ADR-A88, Proposed
Every LATTICE document loads with its import closure from a checkout, with no machine-specific configuration, and an applied ontology can reach LATTICE by chaining its own catalog to LATTICE’s.
| ID | Given / When / Then | Level | +/- |
|---|---|---|---|
| AOR4-01 | this repository / check / no problems | L1 | + |
| AOR4-02 | fixture tree, a imports b / generate, check, load a’s closure from a’s stub / consistent, b’s term present | L1 | + |
| AOR4-03 | root catalog with b’s entry removed / check, load / drift reported, closure raises | L1 | - |
| AOR4-04 | entry mapping b’s IRI to a’s file / check / “does not declare it” | L1 | - |
| AOR4-05 | stub hand-edited / check / exactly one drift problem | L1 | - |
| AOR4-06 | a imports an IRI nothing declares / check / exactly one unresolved-import problem | L1 | - |
| AOR4-07 | two files declare one IRI / scan / refused | L1 | - |
| AOR4-08 | a known-defect entry for a file with no problem / check / stale-entry problem | L1 | - |
| AOR4-09 | generation run twice / compared / identical | L2 | + |
| AOR4-10 | Behaviour spec closure through the root catalog / loaded / terms from Foundation, Vocabulary, Quantification, Party, Eligibility, Instrument and Behaviour present | L1 | + |
| AOR4-11 | an applied ontology in a temporary directory, its own catalog chaining to LATTICE’s by relative path / closure loaded / elg:Condition present |
L1 | + |
mise run check:ontology-catalog
Pass: 11 passed, then ontology catalog consistent, 7 known defect(s)
reported.
ontology/catalog-v001.xml: 55 in-tree entries and 5 external ones.nextCatalog. Six replace the earlier
hand-made catalogs, which named pre-reset IRIs and absolute paths on one
machine. The MORK stub replaces a mapping of the Mork IRI to Mork.owl. The
root catalog maps it to Mork.ttl, the maintained source.KNOWN_DEFECTS in tools/ontology_catalog.py: seven pre-existing defects
(status record).docs/architecture/ontology-architecture.md §2, the consumer paragraph.Making Catalog.lookup ignore nextCatalog failed AOR4-02 and AOR4-11.
Disabling the entry-declares-IRI comparison failed AOR4-04. Restoring the file
returned 11 passes.
Follow Loading LATTICE in Protégé: open
ontology/behaviour/spec/behaviour.ttl and confirm the import closure loads
with no missing-import prompt, then run the negative control. This settles ADR-A88’s open
question on relative nextCatalog support. If it fails, the fallback is full
per-directory catalogs, generated by the same tool.