Axis-Aligned Semantics for ODRL: Resolving Dimensional Ambiguity in Policy Constraints

Resumo Técnico: Semântica Alinhada aos Eixos para ODRL

Declaração do Problema
A Linguagem de Direitos Digitais Abertos (ODRL) é o padrão do W3C para expressar políticas de acesso e uso, amplamente adotada em espaços de dados como o "Espaço de Dados Culturais" alemão. No entanto, a ODRL representa restrições de política como triplas (operando esquerdo, operador, operando direito) sem identidade explícita de eixo. Isso cria uma ambiguidade crítica para ativos digitais multieixos (por exemplo, imagens raster com largura/altura, escaneamentos 3D com largura/altura/profundidade ou dados geoespaciais com longitude/latitude/altitude).

Especificamente, cinco operandos espaciais esquerdos na ODRL — absoluteSize, relativeSize, absoluteSpatialPosition, relativeSpatialPosition e spatialCoordinates — abrangem domínios multieixos (produtos de domínios de valores reais totalmente ordenados). A sintaxe atual trata esses operandos como atributos únicos e não diferenciados. Consequentemente, motores de política não conseguem distinguir se múltiplas restrições se aplicam ao mesmo eixo ou a eixos diferentes. Por exemplo, uma política contendo (absoluteSize, lteq, 1920) e (absoluteSize, lteq, 1080) não pode ser interpretada de forma inequívoca como aplicável à largura, à altura ou a ambas. Essa ambiguidade torna a detecção de conflitos inválida ou incompleta, pois os motores não podem determinar se as restrições se sobrepõem ou são disjuntas. Formalizações existentes da ODRL (por exemplo, lógica de primeira ordem ou semântica baseada em regras) tipicamente colapsam esses operandos multieixos em domínios escalares únicos, falhando em resolver essa ambiguidade dimensional.

Metodologia
Os autores propõem um método geral de decomposição de eixos, instanciado como o Perfil Alinhado aos Eixos da ODRL (OAAP). A metodologia procede da seguinte forma:

1. Decomposição de Eixos: Operandos multieixos são substituídos por um conjunto de operandos escalares distintos e específicos de eixo. Por exemplo, absoluteSize é decomposto em oaap:absoluteSizeWidth, oaap:absoluteSizeHeight e oaap:absoluteDepth. Cada novo operando abrange um domínio específico e totalmente ordenado (por exemplo, $(0, \infty)$ para dimensões de tamanho).
2. Semântica de Intervalos: O perfil restringe os operadores a "operadores de intervalo" (lt, lteq, gt, gteq, eq). Sob essa restrição, cada restrição denota um intervalo contíguo em seu eixo específico. Um conjunto de restrições em um único eixo é normalizado em um único intervalo via interseção.
3. Denotação de Caixas: O conjunto de restrições de uma política sobre um operando multieixo é interpretado como uma caixa alinhada aos eixos (o produto cartesiano dos intervalos normalizados para cada eixo).
4. Álgebra de Vereditos de Três Valores: A detecção de conflitos é definida usando uma lógica de três valores:
   • Conflito: A interseção de intervalos (ou caixas) é vazia.
   • Compatível: A interseção é não vazia.
   • Desconhecido: Uma política restringe um eixo enquanto a outra não o faz (o silêncio não é interpretado como permissão).
   • Esses vereditos são compostos usando conjunção e disjunção de Kleene Forte, onde Conflito é o elemento mínimo e Compatível é o elemento máximo.
5. Composição Lógica: A semântica lida com operadores lógicos (and, or, xone) agregando vereditos de caixas. Para disjunções, uma política é compatível se qualquer par de ramificações for compatível; ela está em conflito apenas se todos os pares de ramificações estiverem em conflito.
6. Ponte de Execução: O framework define uma relação de satisfação onde uma solicitação (um mapeamento parcial de valores de eixo) satisfaz uma política se os valores caírem dentro dos intervalos denotados.

Principais Contribuições

• Perfil OAAP: Uma ontologia OWL 2 e um grafo de formas SHACL que introduz 15 operandos esquerdos específicos de eixo para os cinco termos espaciais afetados. Ele preserva a compatibilidade retroativa, deixando operandos e operadores não intervalares inalterados.
• Semântica Formal: Uma semântica denotacional que mapeia restrições para intervalos e políticas para caixas alinhadas aos eixos. O artigo prova:
  • Expressibilidade: Toda caixa alinhada aos eixos pode ser representada por uma conjunção de restrições específicas de eixo bem formadas.
  • Correção: Um veredito de Conflito garante que as denotações de duas políticas são disjuntas (nenhuma solicitação pode satisfazer ambas).
  • Monotonicidade: Refinar uma política (estreitando seus intervalos) só pode mover o veredito em direção a Conflito, nunca em direção a Compatível.
  • Nitidez do Desconhecido: Se um veredito é Desconhecido, existem completamentos dos eixos não restritos que resultam em Compatível ou Conflito.
• Avaliação: Os autores validaram o framework em um conjunto de testes de 256 problemas de política derivados do cenário de dados culturais BSB–BnF. Esses problemas foram expressos em Turtle, compilados para formatos de Lógica de Primeira Ordem (TPTP) e SMT-LIB, e verificados usando quatro solucionadores: Vampire, E, Z3 e cvc5. Todos os 256 problemas foram verificados com concordância total entre formalismos e solucionadores, com tempos de execução inferiores a 11 segundos no total.

Resultados
A avaliação confirma que o método de decomposição é correto e que a semântica de intervalos resolve corretamente a ambiguidade dimensional. Os solucionadores verificaram com sucesso:

• Denotações de intervalos e caixas (incluindo projeção e normalização).
• O critério de conflito baseado na precedência de extremidades.
• Regras de composição lógica para and, or e xone.
• Contenção de caixas e as propriedades de vereditos Desconhecido.
• Satisfação em tempo de execução (decisões de permitir/negar).
• Correção via exemplos negativos (vereditos deliberadamente errados foram corretamente refutados).

Os resultados demonstram que solucionadores SMT prontos para uso (como o Z3) podem decidir essas restrições em milissegundos, apoiando a verificação de conflitos em tempo de execução potencial.

Significado
O artigo afirma que o OAAP resolve o problema de longa data da ambiguidade dimensional na ODRL sem alterar a sintaxe central de restrições. Ao decompor operandos multieixos em termos escalares específicos de eixo, o perfil permite detecção de conflitos correta e completa para regiões alinhadas aos eixos. Os autores enfatizam que essa abordagem não se limita a dados espaciais; aplica-se a qualquer operando sobre um domínio totalmente ordenado (por exemplo, operandos temporais futuros). Embora o método seja correto, os autores observam modestamente que não é completo para regiões não alinhadas aos eixos (por exemplo, restrições de proporção ou formas circulares), que permanecem fora do escopo da semântica de intervalos atual. O trabalho fornece uma base formal para governar ativos multieixos em espaços de dados, garantindo que motores de política possam determinar de forma confiável compatibilidade e conflito.