Summary

  • El Grupo de Trabajo Data Shapes del W3C publicó el 17 de septiembre de 2026 el primer borrador público titulado SHACL 1.2 Inference Rules. La familia ya tenía un borrador de reglas desde diciembre de 2025.
  • El texto distingue el grafo base del grafo de inferencias. Permite vincular un triplete derivado con su regla mediante sh:sourceRule, pero deja ese registro a elección del motor.
  • El documento aún no es una Recomendación avalada por el W3C. Una prueba superada no demuestra conformidad completa ni elimina los riesgos de consumo excesivo de recursos.

En una base de conocimiento, dos frases pueden ocupar la misma posición aunque hayan llegado por caminos distintos. Una la aportó una fuente; la otra la calculó una regla. Si el sistema posterior las presenta sin esa diferencia, quien decide puede acabar atribuyendo a la fuente algo que solo fue una conclusión del software.

El hecho nuevo es la publicación, el 17 de septiembre, de SHACL 1.2 Inference Rules como primer borrador público con ese nombre. Conviene delimitar la novedad: el W3C anunció un primer borrador de SHACL 1.2 Rules en diciembre de 2025. La versión reciente formaliza un espacio de trabajo para las inferencias; no inaugura la idea de derivar tripletes a partir de SHACL.

El proyecto define tres superficies que una aplicación debería poder distinguir. El grafo base contiene los datos entregados. El grafo de inferencias contiene los tripletes nuevos. Durante el proceso, el grafo de evaluación combina ambos. Las reglas admiten capas, orden y ejecución reiterada; también pueden crear tripletes temporales que se borran al terminar. Por eso el resultado final no equivale, sin más, a un historial de ejecución.

El alcance limitado de una etiqueta de origen

El apartado 9 permite que el motor ofrezca información adicional sobre qué regla produjo cada triplete. sh:sourceRule puede expresar ese vínculo. El verbo normativo es MAY: una posibilidad, no una obligación universal. Cuando el motor genera esos tripletes de seguimiento, las reglas no deben verlos durante el cálculo. Es una frontera técnica importante: la explicación de la salida no debe alterar la salida.

Tampoco conviene pedirle más a la etiqueta de lo que puede dar. El nombre de una regla no identifica por sí solo la versión de los datos de entrada, la configuración del procesador, los límites de iteración o la persona con autoridad para aceptar una clasificación. Estos elementos son relevantes si un resultado inferido se incorpora, por ejemplo, a una vista operativa o a un expediente. No afirmamos que una implementación concreta haya perdido esa información; el riesgo se deduce de la combinación entre una traza opcional y un uso posterior que la necesita.

El borrador exige informar de un fallo cuando aparece una regla cuyo tipo el motor no puede ejecutar. También permite fijar topes de iteraciones o de tripletes inferidos y declarar fallo al superarlos. Su sección de seguridad advierte que un conjunto de reglas puede agotar memoria o capacidad de cálculo y crear datos arbitrarios en una aplicación. Un informe que omita si el cálculo terminó confundirá una salida parcial con una conclusión íntegra.

La autoridad del texto tiene límite temporal. Está en la vía de Recomendación, pero sigue siendo un primer borrador público que puede cambiar. El W3C niega que esa publicación equivalga a su respaldo o al de sus miembros; aprobar el conjunto de pruebas tampoco acredita todo el estándar. La tesis de Lu Heng sobre primacía del código en marcha ayuda a exigir observaciones reproducibles, sin convertir su ensayo en fuente técnica del W3C.

Sources