3 papers
cs.LO2026
Sort-Stratified Semantics for Temporal Conflict Detection in ODRL Policies
Daham M. Mustafa, Diego Collarana, Sabrina Kirrane +5
In the Open Digital Rights Language (ODRL), temporal constraints range over two sorts, instants and durations, but the comparison operators do not distinguish them. The same operat…
cs.CL2026
Axis-Aligned Semantics for ODRL: Resolving Dimensional Ambiguity in Policy Constraints
Daham Mustafa, Diego Collarana, Sabrina Kirrane +5
The Open Digital Rights Language (ODRL) represents policy constraints as triples of a left operand, an operator, and a value. Several spatial operands, however, range over multi-ax…
cs.CL2026
Denotational Semantics for ODRL: Knowledge-Based Constraint Conflict Detection
Daham Mustafa, Diego Collarana, Yixin Peng +4
ODRL's six set-based operators -- isA, isPartOf, hasPart, isAnyOf, isAllOf, isNoneOf -- depend on external domain knowledge that the W3C specification leaves unspecified. Without i…