В статье формулируется Кросс-уровневый принцип проектирования для решения проблемы того, как оценщики политик ODRL не специфицируют нормативные позиции, структуры власти или полномочия по объявлению о нарушении. Устанавливается, что любой нормативный язык с нарушаемыми нормами требует как позиций уровня поведения (conduct-level), таких как Разрешение и Обязанность, так и позиций уровня компетенции (competence-level), таких как Власть и Иммунитет.
- Запрет идентифицируется как санкционированный, тогда как разрешение оказывается недостаточно специфицированным по своему параметру поведения.
- Формальная семантика в настоящее время охватывает только обязательства достижения, которые авторы расширяют путем сопоставления правил ODRL с правовыми реляторами в UFO-L.
- Охват правовых позиций расширен с двух до восьми, что делает полномочие по объявлению о нарушении явной парой Власть-Подчинение (Power-Subjection).
- Все аксиомы были механически верифицированы в Isabelle/HOL и протестированы на бенчмарке из 39 задач с использованием Vampire, E и Z3.
Это обоснование предоставляет более полную онтологическую рамку для ODRL путем явного определения нормативных позиций и структур власти, которые существующие оценщики предполагают неявно.