{"id":"https://openalex.org/W7136163753","doi":"https://doi.org/10.48550/arxiv.2603.12926","title":"ODRL Policy Comparison Through Normalisation","display_name":"ODRL Policy Comparison Through Normalisation","publication_year":2026,"publication_date":"2026-03-13","ids":{"openalex":"https://openalex.org/W7136163753","doi":"https://doi.org/10.48550/arxiv.2603.12926"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2603.12926","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.12926","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2603.12926","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5120919660","display_name":"Jaime Osvaldo Salas","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Salas, Jaime Osvaldo","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081720293","display_name":"Paolo Pareti","orcid":"https://orcid.org/0000-0002-2502-0011"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Pareti, Paolo","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5129512439","display_name":"George Konstantinidis","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Konstantinidis, George","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/T13999","display_name":"Digital Rights Management and Security","score":0.7289999723434448,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T13999","display_name":"Digital Rights Management and Security","score":0.7289999723434448,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10927","display_name":"Access Control and Trust","score":0.12139999866485596,"subfield":{"id":"https://openalex.org/subfields/3312","display_name":"Sociology and Political Science"},"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.020099999383091927,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.6754999756813049},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.6518999934196472},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.5978999733924866},{"id":"https://openalex.org/keywords/computational-complexity-theory","display_name":"Computational complexity theory","score":0.36579999327659607},{"id":"https://openalex.org/keywords/time-complexity","display_name":"Time complexity","score":0.33709999918937683},{"id":"https://openalex.org/keywords/exponential-function","display_name":"Exponential function","score":0.3154999911785126},{"id":"https://openalex.org/keywords/resolution","display_name":"Resolution (logic)","score":0.288100004196167}],"concepts":[{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6754999756813049},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.6518999934196472},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6410999894142151},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.5978999733924866},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5885000228881836},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.36579999327659607},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.35019999742507935},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.33709999918937683},{"id":"https://openalex.org/C151376022","wikidata":"https://www.wikidata.org/wiki/Q168698","display_name":"Exponential function","level":2,"score":0.3154999911785126},{"id":"https://openalex.org/C138268822","wikidata":"https://www.wikidata.org/wiki/Q1051925","display_name":"Resolution (logic)","level":2,"score":0.288100004196167},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.28060001134872437},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2773999869823456},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.27630001306533813},{"id":"https://openalex.org/C47822265","wikidata":"https://www.wikidata.org/wiki/Q854457","display_name":"Complex system","level":2,"score":0.26840001344680786},{"id":"https://openalex.org/C2776095079","wikidata":"https://www.wikidata.org/wiki/Q489538","display_name":"The Symbolic","level":2,"score":0.26440000534057617},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.2630000114440918},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2621999979019165},{"id":"https://openalex.org/C123587114","wikidata":"https://www.wikidata.org/wiki/Q2101508","display_name":"Policy analysis","level":2,"score":0.2578999996185303}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2603.12926","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.12926","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2603.12926","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.12926","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.7956225275993347,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"The":[0],"ODRL":[1,84,119],"language":[2],"has":[3,25],"become":[4],"the":[5,133,139,143,149,156,182,188],"standard":[6],"for":[7,12,118,161],"representing":[8],"policies":[9,46,85,92,98,120,170],"and":[10,30,37,58,95,102,121,124,137,153,178],"regulations":[11],"digital":[13],"rights.":[14],"However":[15],"its":[16,22,87],"complexity":[17,141],"is":[18,146],"a":[19,66,80,115],"barrier":[20],"to":[21,33,113,187],"usage,":[23],"which":[24,54,90,145],"caused":[26],"many":[27],"related":[28],"theoretical":[29],"practical":[31],"works":[32],"focus":[34],"on":[35,63,148,155],"different,":[36],"not":[38],"interoperable,":[39],"fragments":[40,175],"of":[41,65,83,135,142,151,158,176,184,191],"ODRL.":[42],"Moreover,":[43],"semantically":[44],"equivalent":[45],"can":[47],"be":[48],"expressed":[49],"in":[50,172],"numerous":[51],"different":[52],"ways,":[53],"makes":[55,168],"comparing":[56],"them":[57,60],"processing":[59],"harder.":[61],"Building":[62],"top":[64],"recently":[67],"defined":[68],"semantics,":[69],"we":[70],"tackle":[71],"these":[72,130,162],"problems":[73],"by":[74],"proposing":[75],"an":[76],"approach":[77],"that":[78,129],"involves":[79],"parametrised":[81],"normalisation":[82],"into":[86,97,107],"minimal":[88],"components":[89],"reformulates":[91],"with":[93,99],"permissions":[94,100],"prohibitions":[96],"exclusively,":[101],"simplifies":[103],"complex":[104,169],"logic":[105],"constraints":[106],"simple":[108],"ones.":[109],"We":[110,127,164],"provide":[111],"algorithms":[112,131],"compute":[114],"normal":[116],"form":[117],"simplifying":[122],"numerical":[123],"symbolic":[125],"constraints.":[126],"prove":[128],"preserve":[132],"semantics":[134],"policies,":[136],"analyse":[138],"size":[140],"result,":[144],"exponential":[147],"number":[150,157],"attributes":[152],"linear":[154],"unique":[159],"values":[160],"attributes.":[163],"show":[165],"how":[166,179],"this":[167],"representable":[171],"more":[173],"basic":[174],"ODRL,":[177],"it":[180],"reduces":[181],"problem":[183,190],"policy":[185],"comparison":[186],"simpler":[189],"checking":[192],"if":[193],"two":[194],"rules":[195],"are":[196],"identical.":[197]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-03-17T00:00:00"}