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
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…
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…