💬 NLP

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

Dit artikel lost de dimensionale ambiguïteit in ODRL-ruimtelijke beperkingen op door een as-decompositiemethode te introduceren die multi-as-operatoren omzet in as-specifieke scalair-intervallen, waardoor een correcte en volledige conflictdetectie via doosvergelijking mogelijk wordt, wat gevalideerd is middels een nieuw profiel en uitgebreide formele verificatie.

Oorspronkelijke auteurs: Daham Mustafa, Diego Collarana, Sabrina Kirrane, Christoph Lange, Christoph Quix, Rafiqul Haque, Yixin Peng, Stefan Decker

Gepubliceerd 2026-05-26

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Daham Mustafa, Diego Collarana, Sabrina Kirrane, Christoph Lange, Christoph Quix, Rafiqul Haque, Yixin Peng, Stefan Decker

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

Stel je voor dat je een enorme digitale bibliotheek organiseert waar mensen 3D-scans van historische artefacten, hoogwaardige foto's en kaarten delen. Om alles veilig en eerlijk te houden, gebruikt de bibliotheek een reeks regels genaamd ODRL (Open Digital Rights Language). Deze regels fungeren als portiers in een club die beslissen wie er binnen mag en wat ze mogen doen.

Echter, het artikel identificeert een verwarrend probleem met de manier waarop deze regels momenteel werken bij het omgaan met 3D-objecten (dingen met breedte, hoogte en diepte).

Het Probleem: De "Blinde" Portier

Momenteel lijken ODRL-regels op eenvoudige wiskundige zinnen:

Regel: "Grootte moet kleiner zijn dan 1920."
Regel: "Grootte moet kleiner zijn dan 1080."
Regel: "Grootte moet kleiner zijn dan 50."

Het probleem is dat het woord "Grootte" ambigu is. Is de limiet van 1920 voor de breedte? De hoogte? Of de diepte?

Stel je een portier in een club voor die te horen krijgt: "Laat alleen mensen binnen die korter zijn dan 1,80 meter." Maar de portier weet niet of die regel van toepassing is op de lengte, of dat het een regel is over hoe breed de schouders van een persoon zijn. Als twee mensen proberen binnen te komen, en de ene is 1,83 meter lang maar heeft schouders van 2,10 meter breed, raakt de portier in de war. Hij kan niet zeggen of de regels met elkaar in conflict zijn of compatibel. In de digitale wereld betekent deze verwarring dat het computersysteem niet betrouwbaar kan detecteren of twee beleidsregels met elkaar vechten (een "conflict") of dat ze met elkaar samenwerken.

De Oplossing: Het "As-uitgelijnde" Profiel (OAAP)

De auteurs stellen een nieuwe manier voor om deze regels te schrijven, genaamd OAAP (ODRL Axis-Aligned Profile). Ze lossen de verwarring op door de grote, vage "Grootte"-regel op te splitsen in drie specifieke, aparte regels:

Breedte moet kleiner zijn dan 1920.
Hoogte moet kleiner zijn dan 1080.
Diepte moet kleiner zijn dan 50.

Nu heeft de portier een duidelijke checklist. Hij hoeft niet te raden. Hij kan naar de breedte kijken, de breedteregel controleren, naar de hoogte kijken, de hoogteregel controleren, en zo verder.

Hoe Het Werkt: De "Doos"-Metafoor

Het artikel gebruikt een slimme geometrische metafoor om uit te leggen hoe dit werkt:

Oude Manier: Een regel was een wazige wolk. Je wist niet precies waar de grenzen lagen in de 3D-ruimte.
Nieuwe Manier (OAAP): Elke regel is nu een perfecte, as-uitgelijnde doos.
- Stel je een kartonnen doos voor die op een tafel staat. Het heeft een specifieke breedte, hoogte en diepte.
- Als je een "Verzoek" hebt (wat een gebruiker wil) en een "Aanbod" (wat de bibliotheek toestaat), probeer je in feite één doos in een andere te laten passen.
- Als de "Verzoekdoos" breder is dan de "Aanboddoos", passen ze niet. Conflict!
- Als de "Verzoekdoos" perfect in de "Aanboddoos" past, zijn ze Compatibel.
- Als de "Verzoekdoos" geen diepte vermeldt, maar de "Aanboddoos" wel, zegt het systeem Onbekend. Het is alsof je zegt: "Ik weet dat je in de breedte en hoogte past, maar ik weet nog niet of je in de diepte past."

De Drie-Waardige Logica

Omdat het systeem nu zo nauwkeurig is, kan het drie specifieke antwoorden geven in plaats van alleen "Ja" of "Nee":

Conflict: De dozen overlappen zeker niet. (Bijvoorbeeld: Je vroeg om een breedte van 2000, maar de regel zegt maximaal 1920).
Compatibel: De dozen overlappen zeker. (Bijvoorbeeld: Je vroeg om een hoogte van 800, en de regel staat maximaal 1080 toe).
Onbekend: We kunnen nog niet beslissen omdat één kant geen regel heeft gespecificeerd voor een bepaalde dimensie. (Bijvoorbeeld: De bibliotheek heeft een dieptelimiet ingesteld, maar je hebt niet gezegd welke diepte je nodig hebt. Het systeem wacht op meer informatie in plaats van te raden).

Het Bewijs: De "Wiskundetoets"

De auteurs hebben dit idee niet alleen opgeschreven; ze hebben een rigoureus wiskundig raamwerk gebouwd om te bewijzen dat het werkt. Ze vertaalden deze regels naar een taal die krachtige computerwiskundemotoren (zoals Z3 en Vampire) kunnen begrijpen.

Ze creëerden 256 verschillende testscenario's (zoals een enorme oefentoets).

Ze voerden deze scenario's in bij vier verschillende "wiskundige hersenen" (computersolvers).
Alle vier de solvers waren het over elk enkel antwoord eens.
Ze bewezen dat hun methode sound is (het geeft nooit een vals "Compatibel"-antwoord als er eigenlijk een conflict is) en achterwaarts compatibel (het werkt met de oude regels zonder ze te breken).

Samenvatting

Kortom, het artikel repareert een "blinde vlek" in het beheer van digitale rechten. Door regels te dwingen om precies aan te geven welke dimensie (breedte, hoogte of diepte) ze bedoelen, veranderen ze vage, verwarrende beperkingen in duidelijke, 3D-dozen. Hierdoor kunnen computers direct en nauwkeurig aangeven of twee digitale beleidsregels met elkaar vechten of samenwerken, met behulp van een eenvoudig systeem van "Conflict", "Compatibel" of "Onbekend".

Technische Samenvatting: As-uitgelijnde Semantiek voor ODRL

Probleemstelling
De Open Digital Rights Language (ODRL) is de W3C-standaard voor het uitdrukken van toegangs- en gebruiksbeleid, en wordt wijdverspreid toegepast in dataspace-omgevingen zoals de Duitse "Culture Dataspace". ODRL stelt beleidsbeperkingen echter voor als triples (linkeroperand, operator, rechteroperand) zonder expliciete asidentiteit. Dit creëert een kritieke ambiguïteit voor digitale activa met meerdere assen (zoals rasterafbeeldingen met breedte/hoogte, 3D-scans met breedte/hoogte/diepte, of geospatiale data met lengte- / breedtegraad en hoogte).

Specifiek variëren vijf ruimtelijke linkeroperanden in ODRL—absoluteSize, relativeSize, absoluteSpatialPosition, relativeSpatialPosition en spatialCoordinates—over domeinen met meerdere assen (producten van totaal geordende reëelwaardige domeinen). De huidige syntaxis behandelt deze als enkele, niet-gedifferentieerde attributen. Bijgevolg kunnen beleidsengines niet onderscheiden of meerdere beperkingen van toepassing zijn op dezelfde as of op verschillende assen. Een beleid dat bijvoorbeeld (absoluteSize, lteq, 1920) en (absoluteSize, lteq, 1080) bevat, kan niet eenduidig worden geïnterpreteerd als van toepassing op breedte, hoogte of beide. Deze ambiguïteit maakt conflictdetectie onzeker of onvolledig, aangezien engines niet kunnen bepalen of beperkingen overlappen of disjunct zijn. Bestaande formalisaties van ODRL (zoals first-order logica of regelgebaseerde semantiek) brengen deze multi-as operanden doorgaans terug tot enkele scalair domeinen, waardoor deze dimensionale ambiguïteit niet wordt opgelost.

Methodologie
De auteurs stellen een algemene as-decompositie-methode voor, geïnstancierd als het ODRL Axis-Aligned Profile (OAAP). De methodologie verloopt als volgt:

As-decompositie: Multi-as operanden worden vervangen door een set van onderscheiden, as-specifieke scalair operanden. Bijvoorbeeld, absoluteSize wordt gedecomposeerd in oaap:absoluteSizeWidth, oaap:absoluteSizeHeight en oaap:absoluteDepth. Elke nieuwe operand varieert over een specifiek, totaal geordend domein (bijvoorbeeld $(0, \infty)$ voor afmetingsdimensies).
Intervalsemantiek: Het profiel beperkt operators tot "intervaloperators" (lt, lteq, gt, gteq, eq). Onder deze beperking duidt elke beperking een aaneengesloten interval aan op zijn specifieke as. Een set beperkingen op een enkele as wordt genormaliseerd tot een enkel interval via intersectie.
Boksnotatie: De beperkingenset van een beleid over een multi-as operand wordt geïnterpreteerd als een as-uitgelijnde boks (het Cartesisch product van de genormaliseerde intervallen voor elke as).
Drie-waardige Verdictalgebra: Conflictdetectie wordt gedefinieerd met behulp van een drie-waardige logica:
- Conflict: De intersectie van intervallen (of boxen) is leeg.
- Compatibel: De intersectie is niet-leeg.
- Onbekend: Het ene beleid beperkt een as terwijl het andere dat niet doet (stilte wordt niet geïnterpreteerd als toestemming).
- Deze verdicten worden samengesteld met behulp van de Strong Kleene-conjunctie en -disjunctie, waarbij Conflict het onderste element is en Compatibel het bovenste.
Logische Samenstelling: De semantiek behandelt logische operators (and, or, xone) door boxverdicten te aggregeren. Voor disjuncties is een beleid compatibel als elk paar takken compatibel is; het is alleen in conflict als alle paren takken in conflict zijn.
Runtime-brug: Het kader definieert een satisfierelatie waarbij een verzoek (een partiële mapping van aswaarden) een beleid voldoet als de waarden binnen de aangeduide intervallen vallen.

Belangrijkste Bijdragen

OAAP-profiel: Een OWL 2-ontologie en SHACL-shapes-grafiek die 15 as-specifieke linkeroperanden introduceert voor de vijf betrokken ruimtelijke termen. Het behoudt achterwaartse compatibiliteit door niet-intervaloperanden en -operators ongewijzigd te laten.
Formele Semantiek: Een denotationele semantiek die beperkingen afbeeldt op intervallen en beleidsregels op as-uitgelijnde boxen. Het artikel bewijst:
- Uitdrukkingsvermogen: Elke as-uitgelijnde boks kan worden weergegeven door een conjunctie van goed gevormde as-specifieke beperkingen.
- Juistheid: Een Conflict-verdict garandeert dat de denotaties van twee beleidsregels disjunct zijn (geen enkel verzoek kan beide voldoen).
- Monotonie: Het verfijnen van een beleid (het versmallen van zijn intervallen) kan het verdict alleen naar Conflict bewegen, nooit naar Compatibel.
- Scherpte van Onbekend: Als een verdict Onbekend is, bestaan er volmakingen van de niet-beperkte assen die resulteren in ofwel Compatibel ofwel Conflict.
Evaluatie: De auteurs hebben het kader gevalideerd op een benchmark van 256 beleidsproblemen afgeleid uit het BSB–BnF-cultuurdatascenario. Deze problemen werden uitgedrukt in Turtle, gecompileerd naar First-Order Logic (TPTP) en SMT-LIB-formaten, en geverifieerd met vier oplossers: Vampire, E, Z3 en cvc5. Alle 256 problemen werden geverifieerd met volledige overeenstemming tussen formalismen en oplossers, met uitvoeringstijden onder de 11 seconden in totaal.

Resultaten
De evaluatie bevestigt dat de decompositiemethode correct is en dat de intervalsemantiek de dimensionale ambiguïteit correct oplost. De oplossers verifieerden met succes:

Interval- en boksnotaties (inclusief projectie en normalisatie).
Het conflictcriterium gebaseerd op eindpuntprecedentie.
Logische samenstellingsregels voor and, or en xone.
Bokscontainment en de eigenschappen van Onbekend-verdicten.
Runtime-satisfactie (toestaan/ontzeggen-beslissingen).
Juistheid via negatieve voorbeelden (opzettelijk verkeerde verdicten werden correct weerlegd).

De resultaten tonen aan dat kant-en-klare SMT-oplossers (zoals Z3) deze beperkingen in milliseconden kunnen beslissen, wat potentiële runtime-conflictdetectie ondersteunt.

Betekenis
Het artikel stelt dat OAAP het lang bestaande probleem van dimensionale ambiguïteit in ODRL oplost zonder de kernbeperkingssyntaxis te wijzigen. Door multi-as operanden te decomponeren in scalair, as-specifieke termen, maakt het profiel correcte en volledige conflictdetectie mogelijk voor as-uitgelijnde gebieden. De auteurs benadrukken dat deze aanpak niet beperkt is tot ruimtelijke data; deze is van toepassing op elke operand over een totaal geordend domein (bijvoorbeeld toekomstige temporale operanden). Hoewel de methode correct is, merken de auteurs nederig op dat deze niet compleet is voor niet-as-uitgelijnde gebieden (zoals aspectratio-beperkingen of cirkelvormige vormen), die buiten het bestek van de huidige intervalsemantiek blijven. Het werk biedt een formele basis voor het regelen van multi-as activa in dataspace-omgevingen, zodat beleidsengines betrouwbaar compatibiliteit en conflict kunnen bepalen.