16.50 15.3.1 Objetivo y alcance
Derivar, consultar y validar conocimiento sobre movimientos de escalada de forma reproducible, explicable y segura, separando hechos afirmados, curados, inferidos, provisionales y contradictorios.
La sección no añade nuevos movimientos ni modifica relaciones canónicas. Define cómo obtener consecuencias reproducibles, bajo qué perfil se consideran válidas, cómo consultarlas y cómo demostrar de dónde surgió cada resultado.
RDF y RDFS proporcionan una semántica formal y patrones de
entailment; OWL 2 ofrece perfiles con distintos compromisos entre
expresividad y coste. OWL 2 RL está diseñado para
implementaciones basadas en reglas y razonamiento escalable [P52-R1,
P52-R2].
16.50.1 Incluido
- Grafos nombrados para separar afirmaciones, curación, inferencia, contradicciones y validación.
- Perfiles de razonamiento desde consulta sin inferencia hasta adjudicación humana.
- Catálogo de reglas monotónicas, diagnósticas y experimentales.
- Consultas SPARQL oficiales con contrato de resultado y límites operacionales.
- Trazas de prueba, razonamiento incremental y control de determinismo.
- SHACL, tests de conformidad y quality gates para releases.
16.50.2 Fuera de alcance
- Afirmar que toda consulta SPARQL sea portable sin declarar el entailment regime del motor.
- Resolver automáticamente conflictos clínicos, biomecánicos o terminológicos.
- Convertir probabilidades de un clasificador en equivalencias ontológicas.
- Usar ausencia de evidencia como negación.
- Modificar las fichas de los 344 conceptos mediante inferencia.