Enciclopedia Boulder v1.0

Inicio · Capítulos · 15. Ontología y relaciones entre movimientos

16.19 15.1.18 Pruebas de aceptación

ID Prueba Esperado
ONT-A01 All 344 canonical IDs are unique and resolvable. PASS
ONT-A02 Movement and failure records remain byte-equivalent. PASS
ONT-A03 Every graph edge has a controlled predicate. PASS
ONT-A04 Every edge subject and object resolve. PASS
ONT-A05 Domain and range declarations exist for all relation types. PASS
ONT-A06 Hierarchical relations contain no self loops. PASS
ONT-A07 Prerequisite relations contain no self loops. PASS
ONT-A08 Canonical concepts are distinct from observations. PASS
ONT-A09 Aliases do not generate exactEquivalent automatically. PASS
ONT-A10 Every term record requires language and status. PASS
ONT-A11 Every assertion carries provenance. PASS
ONT-A12 Deprecated IDs remain resolvable. PASS
ONT-A13 Inverse relation declarations are consistent. PASS
ONT-A14 Symmetric relations can be normalized deterministically. PASS
ONT-A15 SHACL shapes cover concepts, assertions, terms, observations and releases. PASS
ONT-A16 Competency questions are executable against the graph projection. PASS
ONT-A17 Ontology release contains content digest and changelog. PASS
ONT-A18 All prior computer-vision submodels remain unchanged. PASS
ONT-A19 All new source IDs resolve. PASS
ONT-A20 Next-section marker is present. PASS

16.19.1 Resultado

Comprobación Valor Estado
Movimientos preservados 310 PASS
Fallos preservados 34 PASS
Nodos 344 PASS
Aristas 3607 PASS
Relaciones 35 PASS
Referencias nuevas 16 PASS
Referencias resueltas True PASS
Capítulo 14 preservado True PASS