{"id":"https://openalex.org/W7165746909","doi":"https://doi.org/10.48550/arxiv.2606.24344","title":"What Does ODRL Mean? A Cross-Level Ontological Grounding of Permissions, Prohibitions, and Duties in UFO-L","display_name":"What Does ODRL Mean? A Cross-Level Ontological Grounding of Permissions, Prohibitions, and Duties in UFO-L","publication_year":2026,"publication_date":"2026-06-23","ids":{"openalex":"https://openalex.org/W7165746909","doi":"https://doi.org/10.48550/arxiv.2606.24344"},"language":"en","primary_location":{"id":"pmh:oai:publica.fraunhofer.de:publica/519142","is_oa":true,"landing_page_url":"https://publica.fraunhofer.de/handle/publica/519142","pdf_url":null,"source":{"id":"https://openalex.org/S4306400318","display_name":"Fraunhofer-Publica (Fraunhofer-Gesellschaft)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4923324","host_organization_name":"Fraunhofer-Gesellschaft","host_organization_lineage":["https://openalex.org/I4923324"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-sa","license_id":"https://openalex.org/licenses/cc-by-nc-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"paper"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://publica.fraunhofer.de/handle/publica/519142","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5139304071","display_name":"Daham M. Mustafa","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Mustafa, Daham M.","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5007714809","display_name":"Christoph Lange","orcid":"https://orcid.org/0000-0001-9879-3827"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Lange, Christoph","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5139218083","display_name":"Giancarlo Guizzardi","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Guizzardi, Giancarlo","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5135607650","display_name":"Diego Collarana","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Collarana, Diego","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5125482545","display_name":"Christoph Quix","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Quix, Christoph","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5123871862","display_name":"Stefan Decker","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Decker, Stefan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.3465000092983246,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.3465000092983246,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10883","display_name":"Ethics and Social Impacts of AI","score":0.12999999523162842,"subfield":{"id":"https://openalex.org/subfields/3311","display_name":"Safety Research"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T13643","display_name":"Artificial Intelligence in Law","score":0.026100000366568565,"subfield":{"id":"https://openalex.org/subfields/3320","display_name":"Political Science and International Relations"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/normative","display_name":"Normative","score":0.7558000087738037},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.7069000005722046},{"id":"https://openalex.org/keywords/nothing","display_name":"Nothing","score":0.6559000015258789},{"id":"https://openalex.org/keywords/norm","display_name":"Norm (philosophy)","score":0.5149999856948853},{"id":"https://openalex.org/keywords/deontic-logic","display_name":"Deontic logic","score":0.4814999997615814},{"id":"https://openalex.org/keywords/permission","display_name":"Permission","score":0.47690001130104065}],"concepts":[{"id":"https://openalex.org/C44725695","wikidata":"https://www.wikidata.org/wiki/Q288156","display_name":"Normative","level":2,"score":0.7558000087738037},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.7069000005722046},{"id":"https://openalex.org/C136815107","wikidata":"https://www.wikidata.org/wiki/Q154242","display_name":"Nothing","level":2,"score":0.6559000015258789},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.517799973487854},{"id":"https://openalex.org/C191795146","wikidata":"https://www.wikidata.org/wiki/Q3878446","display_name":"Norm (philosophy)","level":2,"score":0.5149999856948853},{"id":"https://openalex.org/C6377922","wikidata":"https://www.wikidata.org/wiki/Q302542","display_name":"Deontic logic","level":2,"score":0.4814999997615814},{"id":"https://openalex.org/C2779089604","wikidata":"https://www.wikidata.org/wiki/Q7169333","display_name":"Permission","level":2,"score":0.47690001130104065},{"id":"https://openalex.org/C190253527","wikidata":"https://www.wikidata.org/wiki/Q295354","display_name":"Law and economics","level":1,"score":0.46160000562667847},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4293999969959259},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.41290000081062317},{"id":"https://openalex.org/C39308869","wikidata":"https://www.wikidata.org/wiki/Q2891657","display_name":"Truth condition","level":2,"score":0.4016000032424927},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.391400009393692},{"id":"https://openalex.org/C2992936063","wikidata":"https://www.wikidata.org/wiki/Q216200","display_name":"Legal norm","level":2,"score":0.38989999890327454},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.37049999833106995},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.3353999853134155},{"id":"https://openalex.org/C144024400","wikidata":"https://www.wikidata.org/wiki/Q21201","display_name":"Sociology","level":0,"score":0.32420000433921814},{"id":"https://openalex.org/C31264824","wikidata":"https://www.wikidata.org/wiki/Q644971","display_name":"Legal positivism","level":4,"score":0.32109999656677246},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.313400000333786},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.28760001063346863},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2768000066280365}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:publica.fraunhofer.de:publica/519142","is_oa":true,"landing_page_url":"https://publica.fraunhofer.de/handle/publica/519142","pdf_url":null,"source":{"id":"https://openalex.org/S4306400318","display_name":"Fraunhofer-Publica (Fraunhofer-Gesellschaft)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4923324","host_organization_name":"Fraunhofer-Gesellschaft","host_organization_lineage":["https://openalex.org/I4923324"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-sa","license_id":"https://openalex.org/licenses/cc-by-nc-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"paper"},{"id":"doi:10.48550/arxiv.2606.24344","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.24344","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:publica.fraunhofer.de:publica/519142","is_oa":true,"landing_page_url":"https://publica.fraunhofer.de/handle/publica/519142","pdf_url":null,"source":{"id":"https://openalex.org/S4306400318","display_name":"Fraunhofer-Publica (Fraunhofer-Gesellschaft)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4923324","host_organization_name":"Fraunhofer-Gesellschaft","host_organization_lineage":["https://openalex.org/I4923324"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-sa","license_id":"https://openalex.org/licenses/cc-by-nc-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"paper"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.8004907369613647}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"ODRL":[0,99],"policy":[1,13],"evaluators":[2],"produce":[3],"verdicts,":[4],"but":[5],"say":[6],"nothing":[7],"about":[8],"the":[9,17,26,35,90],"normative":[10,40],"positions":[11,21,49,57],"a":[12,30,107,141],"brings":[14],"into":[15],"existence,":[16],"authority":[18],"structures":[19],"those":[20],"presuppose,":[22],"or":[23],"who":[24],"holds":[25],"power":[27],"to":[28,64,106,116],"declare":[29],"norm":[31],"violated.":[32],"We":[33,97],"formulate":[34],"Cross-Level":[36],"Design":[37],"Principle:":[38],"any":[39],"language":[41],"with":[42],"violable,":[43],"consequential":[44],"norms":[45],"requires":[46],"both":[47],"conduct-level":[48],"(Permission,":[50],"Duty,":[51],"Right,":[52],"No":[53],"right)":[54],"and":[55,74,88,111,139,147],"competence-level":[56],"(Power,":[58],"Subjection,":[59],"Immunity,":[60],"Disability).":[61],"Applying":[62],"this":[63],"ODRL,":[65],"we":[66],"establish":[67],"that":[68,76,89],"prohibition":[69],"is":[70,78],"sanctioned":[71],"(violation":[72],"possible":[73],"consequential),":[75],"permission":[77],"underspecified":[79],"across":[80,140],"its":[81],"behaviour":[82],"parameter":[83],"(open":[84],"vs.":[85],"closed":[86],"world),":[87],"formal":[91],"semantics":[92],"covers":[93],"achievement":[94],"obligations":[95],"only.":[96],"ground":[98],"in":[100,123,137],"UFO-L,":[101],"mapping":[102],"each":[103],"activated":[104],"rule":[105],"simple":[108],"legal":[109,118],"relator":[110],"extending":[112],"coverage":[113],"from":[114],"two":[115],"eight":[117],"positions;":[119],"violation-declaration":[120],"authority,":[121],"implicit":[122],"every":[124],"existing":[125],"evaluator,":[126],"becomes":[127],"an":[128],"explicit":[129],"Power-Subjection":[130],"pair.":[131],"All":[132],"axioms":[133],"are":[134],"mechanically":[135],"verified":[136],"Isabelle/HOL":[138],"39-problem":[142],"benchmark":[143],"under":[144],"Vampire,":[145],"E,":[146],"Z3.":[148]},"counts_by_year":[],"updated_date":"2026-07-15T18:14:33.161393","created_date":"2026-06-25T00:00:00"}