{"id":"https://openalex.org/W7165688430","doi":"https://doi.org/10.48550/arxiv.2606.23442","title":"Sort-Stratified Semantics for Temporal Conflict Detection in ODRL Policies","display_name":"Sort-Stratified Semantics for Temporal Conflict Detection in ODRL Policies","publication_year":2026,"publication_date":"2026-06-22","ids":{"openalex":"https://openalex.org/W7165688430","doi":"https://doi.org/10.48550/arxiv.2606.23442"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2606.23442","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.23442","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":"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.2606.23442","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5139217113","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/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/A5084740363","display_name":"Sabrina Kirrane","orcid":"https://orcid.org/0000-0002-6955-7718"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Kirrane, Sabrina","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5139135919","display_name":"Christoph Lange","orcid":null},"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/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":"middle","author":{"id":"https://openalex.org/A5041644618","display_name":"Sandra Geisler","orcid":"https://orcid.org/0000-0002-8970-6282"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Geisler, Sandra","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5139209473","display_name":"Stefan Decker","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Decker, Stefan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5139150756","display_name":"Rafiqul Haque","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Haque, Rafiqul","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.8108999729156494,"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.8108999729156494,"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.0812000036239624,"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/T10270","display_name":"Blockchain Technology Applications and Security","score":0.004399999976158142,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.555400013923645},{"id":"https://openalex.org/keywords/sort","display_name":"sort","score":0.5372999906539917},{"id":"https://openalex.org/keywords/interval","display_name":"Interval (graph theory)","score":0.5343000292778015},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.5228000283241272},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.4950999915599823},{"id":"https://openalex.org/keywords/operator","display_name":"Operator (biology)","score":0.4884999990463257},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.4771000146865845},{"id":"https://openalex.org/keywords/range","display_name":"Range (aeronautics)","score":0.45579999685287476}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6941999793052673},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.555400013923645},{"id":"https://openalex.org/C88548561","wikidata":"https://www.wikidata.org/wiki/Q347599","display_name":"sort","level":2,"score":0.5372999906539917},{"id":"https://openalex.org/C2778067643","wikidata":"https://www.wikidata.org/wiki/Q166507","display_name":"Interval (graph theory)","level":2,"score":0.5343000292778015},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.5228000283241272},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.4950999915599823},{"id":"https://openalex.org/C17020691","wikidata":"https://www.wikidata.org/wiki/Q139677","display_name":"Operator (biology)","level":5,"score":0.4884999990463257},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.4771000146865845},{"id":"https://openalex.org/C204323151","wikidata":"https://www.wikidata.org/wiki/Q905424","display_name":"Range (aeronautics)","level":2,"score":0.45579999685287476},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.44209998846054077},{"id":"https://openalex.org/C2185349","wikidata":"https://www.wikidata.org/wiki/Q190558","display_name":"Negation","level":2,"score":0.37610000371932983},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.3522000014781952},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3395000100135803},{"id":"https://openalex.org/C162670838","wikidata":"https://www.wikidata.org/wiki/Q6057295","display_name":"Interval temporal logic","level":3,"score":0.3361000120639801},{"id":"https://openalex.org/C2778523021","wikidata":"https://www.wikidata.org/wiki/Q5532504","display_name":"Quantifier (linguistics)","level":2,"score":0.3305000066757202},{"id":"https://openalex.org/C78344899","wikidata":"https://www.wikidata.org/wiki/Q638442","display_name":"Modal operator","level":4,"score":0.32199999690055847},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.32170000672340393},{"id":"https://openalex.org/C2777303404","wikidata":"https://www.wikidata.org/wiki/Q759757","display_name":"Convergence (economics)","level":2,"score":0.3077000081539154},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.30660000443458557},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.2985000014305115},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.29260000586509705},{"id":"https://openalex.org/C55526617","wikidata":"https://www.wikidata.org/wiki/Q719375","display_name":"Operand","level":2,"score":0.28929999470710754},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.2623000144958496},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.26089999079704285},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.2549999952316284}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2606.23442","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.23442","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":"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.2606.23442","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.23442","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":"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":[{"score":0.8049100041389465,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"In":[0],"the":[1,17,86],"Open":[2],"Digital":[3],"Rights":[4],"Language":[5],"(ODRL),":[6],"temporal":[7,48],"constraints":[8],"range":[9],"over":[10],"two":[11,38,55],"sorts,":[12],"instants":[13],"and":[14,71,92,99,111],"durations,":[15],"but":[16],"comparison":[18,76],"operators":[19],"do":[20],"not":[21],"distinguish":[22],"them.":[23],"The":[24],"same":[25],"operator":[26],"thus":[27],"means":[28],"\"earlier":[29],"instant\"":[30],"or":[31,61],"\"shorter":[32],"duration,\"":[33],"leaving":[34],"conflict":[35,72],"detection":[36],"between":[37],"policies":[39],"unsound.":[40],"We":[41,84],"resolve":[42],"this":[43],"by":[44],"sort":[45],"stratification:":[46],"each":[47],"operand":[49],"is":[50],"typed":[51],"to":[52,74,109],"one":[53],"of":[54,63,105],"ordered":[56],"domains,":[57],"points":[58],"in":[59],"time":[60],"amounts":[62],"time.":[64],"Each":[65],"constraint":[66],"then":[67],"denotes":[68],"an":[69,115],"interval,":[70],"reduces":[73],"interval":[75],"under":[77],"a":[78,90,93,103],"three-valued":[79],"verdict":[80],"(Conflict,":[81],"Compatible,":[82],"Unknown).":[83],"characterise":[85],"check's":[87],"decidability":[88],"across":[89],"static":[91],"runtime":[94],"fragment,":[95],"prove":[96],"it":[97,101],"sound,":[98],"evaluate":[100],"on":[102],"benchmark":[104],"policy":[106],"problems":[107],"compiled":[108],"TPTP":[110],"SMT-LIB,":[112],"available":[113],"as":[114],"artefact.":[116]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-06-24T00:00:00"}