En esta página
- 16.51 15.3.2 Principios normativos
- 16.51.1 RSN-01 — Separate assertion from entailment
- 16.51.2 RSN-02 — Open world by default
- 16.51.3 RSN-03 — Use monotonic production rules
- 16.51.4 RSN-04 — No silent promotion
- 16.51.5 RSN-05 — Preserve contradictions
- 16.51.6 RSN-06 — Every inference has a proof trace
- 16.51.7 RSN-07 — Profiles are explicit
- 16.51.8 RSN-08 — Validation is not inference
- 16.51.9 RSN-09 — Taxonomy is cycle-safe
- 16.51.10 RSN-10 — Composition is not subclassing
- 16.51.11 RSN-11 — Equivalence is exceptional
- 16.51.12 RSN-12 — Queries are contracts
- 16.51.13 RSN-13 — Determinism is tested
- 16.51.14 RSN-14 — Incremental equals full
- 16.51.15 RSN-15 — Draft standards are isolated
- 16.51.16 RSN-16 — Human decisions remain attributable
- 16.51.17 RSN-17 — Bound computational risk
- 16.51.18 RSN-18 — Never mutate canonical entities
16.51 15.3.2 Principios normativos
16.51.1 RSN-01 —
Separate assertion from entailment
Los hechos de fuente y las consecuencias calculadas viven en grafos distintos.
16.51.2 RSN-02 —
Open world by default
La ausencia de conocimiento no se interpreta como falsedad.
16.51.3 RSN-03 —
Use monotonic production rules
El baseline de producción sólo materializa reglas monotónicas y guardadas.
16.51.4 RSN-04 —
No silent promotion
Una aserción Provisional o DerivedProvisional no se promueve sin actividad de curación.
16.51.5 RSN-05 —
Preserve contradictions
Las contradicciones se representan y revisan; no se borran silenciosamente.
16.51.6 RSN-06 —
Every inference has a proof trace
Cada triple derivado identifica inputs, regla, perfil, motor y digests.
16.51.7 RSN-07 —
Profiles are explicit
Toda consulta o salida declara el régimen de entailment o razonamiento usado.
16.51.8 RSN-08 —
Validation is not inference
SHACL reporta conformidad; una violación no crea automáticamente hechos de dominio.
16.51.9 RSN-09 —
Taxonomy is cycle-safe
Los caminos jerárquicos sólo se ejecutan sobre relaciones validadas como acíclicas.
16.51.10 RSN-10 —
Composition is not subclassing
Contener un movimiento no convierte la composición en subtipo ni al componente en padre.
16.51.11 RSN-11 —
Equivalence is exceptional
Alias, traducción, similitud y closeEquivalent no justifican exactEquivalent.
16.51.12 RSN-12 —
Queries are contracts
Las consultas oficiales declaran perfil, resultado, límites y semántica esperada.
16.51.13 RSN-13 —
Determinism is tested
La misma entrada, ruleset, motor y configuración deben producir el mismo digest.
16.51.14 RSN-14 —
Incremental equals full
El razonamiento incremental debe coincidir con recomputación completa.
16.51.15 RSN-15 —
Draft standards are isolated
RDF/SPARQL/SHACL 1.2 se usa sólo bajo RP6 con versión explícita.
16.51.16 RSN-16 —
Human decisions remain attributable
La adjudicación se registra como actividad humana, no como inferencia del motor.
16.51.17 RSN-17 —
Bound computational risk
Caminos, reglas y canonicalización aplican presupuestos y mitigaciones.
16.51.18 RSN-18 —
Never mutate canonical entities
El razonamiento añade aserciones; no cambia los 344 conceptos ni sus fichas.
Normativa: DEBE indica requisito;
DEBERÍA, recomendación fuerte; PUEDE,
extensión controlada.