{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,7]],"date-time":"2026-10-07T23:58:47Z","timestamp":1791417527689,"version":"4.3.3"},"reference-count":0,"publisher":"IOS Press","isbn-type":[{"value":"9781643686813","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,9,1]],"date-time":"2026-09-01T00:00:00Z","timestamp":1788220800000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026,9,1]]},"abstract":"<jats:p>ODRL policy evaluators produce verdicts, but say nothing about the normative positions a policy brings into existence, the authority structures those positions presuppose, or who holds the power to declare a norm violated. We formulate the Cross-Level Design Principle: any normative language with violable, consequential norms requires both conduct-level positions (Permission, Duty, Right, No right) and competence-level positions (Power\u2013Subjection, Immunity, Disability). Applying this to ODRL, we establish that prohibition is sanctioned (violation possible and consequential), that permission is underspecified across its behaviour parameter (open vs. closed world), and that the formal semantics covers achievement obligations only. We ground ODRL in UFO-L, mapping each activated rule to a simple legal relator and extending coverage from two to eight legal positions; violation-declaration authority, implicit in every existing evaluator, becomes an explicit Power, Subjection pair. All axioms are mechanically verified in Isabelle\/HOL and across a 39-problem benchmark under Vampire, E, and Z3.<\/jats:p>","DOI":"10.3233\/faia260776","type":"book-chapter","created":{"date-parts":[[2026,9,2]],"date-time":"2026-09-02T08:47:31Z","timestamp":1788338851000},"source":"Crossref","is-referenced-by-count":1,"title":["What Does ODRL Mean? A Cross-Level Ontological Grounding of Permissions, Prohibitions, and Duties in UFO-L"],"prefix":"10.3233","author":[{"given":"Daham M.","family":"Mustafa","sequence":"first","affiliation":[{"name":"Fraunhofer FIT, Sankt Augustin, Germany"},{"name":"RWTH Aachen University, Aachen, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Christoph","family":"Lange","sequence":"additional","affiliation":[{"name":"Fraunhofer FIT, Sankt Augustin, Germany"},{"name":"RWTH Aachen University, Aachen, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Giancarlo","family":"Guizzardi","sequence":"additional","affiliation":[{"name":"University of Twente, The Netherlands"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Diego","family":"Collarana","sequence":"additional","affiliation":[{"name":"Fraunhofer FIT, Sankt Augustin, Germany"},{"name":"Universidad Privada Boliviana, Bolivia"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Christoph","family":"Quix","sequence":"additional","affiliation":[{"name":"Fraunhofer FIT, Sankt Augustin, Germany"},{"name":"RWTH Aachen University, Aachen, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Stefan","family":"Decker","sequence":"additional","affiliation":[{"name":"Fraunhofer FIT, Sankt Augustin, Germany"},{"name":"RWTH Aachen University, Aachen, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"7437","container-title":["Frontiers in Artificial Intelligence and Applications","Formal Ontology in Information Systems"],"original-title":[],"link":[{"URL":"https:\/\/ebooks.iospress.nl\/pdf\/doi\/10.3233\/FAIA260776","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,9,2]],"date-time":"2026-09-02T08:47:32Z","timestamp":1788338852000},"score":1,"resource":{"primary":{"URL":"https:\/\/ebooks.iospress.nl\/doi\/10.3233\/FAIA260776"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,9,1]]},"ISBN":["9781643686813"],"references-count":0,"URL":"https:\/\/doi.org\/10.3233\/faia260776","relation":{},"ISSN":["0922-6389","1879-8314"],"issn-type":[{"value":"0922-6389","type":"print"},{"value":"1879-8314","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,9,1]]}}}