Summary

  • O W3C publicou em 17 de setembro de 2026 o Primeiro Rascunho Público de SHACL 1.2 Inference Rules. Já havia um primeiro rascunho de SHACL 1.2 Rules de dezembro de 2025.
  • O texto separa o grafo de entrada do grafo de inferências. Uma implementação pode vincular o triplo derivado à regra por sh:sourceRule, mas não é obrigada a produzir essa trilha.
  • A etapa de rascunho não significa endosso nem Recomendação do W3C; passar nos testes publicados também não prova conformidade integral.

Um triplo RDF não traz, pela sua aparência, a história de como chegou ao sistema. Pode ter sido declarado em uma fonte identificada ou deduzido após a execução de regras. Em uma consulta exploratória, a diferença talvez não mude nada. Em um registro usado para decidir sobre pessoas, organizações ou recursos, ela passa a ser central: a segunda afirmação depende de uma operação que pode ser refeita e contestada.

O Grupo de Trabalho Data Shapes deu novo marco público a essa operação em 17 de setembro, com SHACL 1.2 Inference Rules. A cronologia importa. A publicação de dezembro de 2025 já introduzia regras no conjunto SHACL 1.2; portanto, o evento não é a invenção da inferência. O documento atual delimita a especificação de regras, ao lado do SHACL Core, voltado à estrutura das formas e à validação.

O rascunho descreve um grafo-base com as afirmações recebidas e um grafo de inferências com as novas afirmações. Durante a execução, um grafo de avaliação reúne os dois. Regras podem ser ordenadas, organizadas em camadas e repetidas. Há até triplos temporários que ajudam a chegar ao resultado final e depois são removidos. Um arquivo contendo apenas a saída não conserva automaticamente esse percurso.

Quando a origem fica à escolha do motor

A seção 9 oferece uma forma de associar o resultado à regra produtora: sh:sourceRule. O motor pode gerar triplos adicionais para esse fim; a palavra do rascunho é MAY, não MUST. Se forem criados, esses metadados não podem ficar visíveis para as próprias regras em execução. A separação impede que a explicação altere o cálculo que pretende explicar.

Mesmo uma trilha ativada responde a uma pergunta limitada. Ela pode indicar a regra, mas não comprova sozinha qual versão do grafo entrou, como o processador foi configurado, se houve limite de iterações ou quem considerou a saída suficiente para uma ação. Não há aqui relato de falha em um produto específico. Há uma escolha explícita na especificação e uma responsabilidade que reaparece quando outro sistema consome os dados.

Outras fronteiras do texto ajudam a medir essa responsabilidade. Se o motor não suporta nenhum tipo de uma regra encontrada, deve comunicar falha. Ele também pode falhar ao alcançar limites configurados de iteração ou de triplos inferidos. A seção não normativa de segurança alerta para consumo elevado de memória e processamento e para a criação de dados arbitrários da aplicação. Uma saída de execução incompleta não deveria ganhar a aparência de resultado concluído.

O estágio institucional continua provisório: é um Primeiro Rascunho Público na trilha de Recomendação, sujeito a revisão e sem endosso do W3C ou de seus membros. O próprio texto avisa que a suíte de testes verifica apenas os aspectos cobertos. O princípio de Lu Heng de confrontar procedimentos com código em funcionamento orienta a leitura editorial; não transforma seu ensaio em prova técnica sobre implementações SHACL.

Sources