{"id":"https://openalex.org/W7131419332","doi":"https://doi.org/10.48550/arxiv.2602.19883","title":"Denotational Semantics for ODRL: Knowledge-Based Constraint Conflict Detection","display_name":"Denotational Semantics for ODRL: Knowledge-Based Constraint Conflict Detection","publication_year":2026,"publication_date":"2026-02-23","ids":{"openalex":"https://openalex.org/W7131419332","doi":"https://doi.org/10.48550/arxiv.2602.19883"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2602.19883","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2602.19883","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.2602.19883","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5117768164","display_name":"Daham Mohammed Mustafa","orcid":"https://orcid.org/0000-0003-1867-4428"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Mustafa, Daham","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055319070","display_name":"Diego Collarana","orcid":"https://orcid.org/0000-0002-2583-0778"},"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/A5107711112","display_name":"Yixin Peng","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Peng, Yixin","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5126784523","display_name":"Rafiqul Haque","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Haque, Rafiqul","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5125255325","display_name":"Christoph Lange-Bever","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Lange-Bever, Christoph","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5043782050","display_name":"Christoph Quix","orcid":"https://orcid.org/0000-0002-1698-4345"},"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/A5111485236","display_name":"Stephan Decker","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Decker, Stephan","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/T10215","display_name":"Semantic Web and Ontologies","score":0.32600000500679016,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.32600000500679016,"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/T10927","display_name":"Access Control and Trust","score":0.1720000058412552,"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/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.06159999966621399,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/soundness","display_name":"Soundness","score":0.6291999816894531},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5331000089645386},{"id":"https://openalex.org/keywords/fragment","display_name":"Fragment (logic)","score":0.5145999789237976},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.5102999806404114},{"id":"https://openalex.org/keywords/venn-diagram","display_name":"Venn diagram","score":0.4731000065803528},{"id":"https://openalex.org/keywords/preorder","display_name":"Preorder","score":0.42750000953674316},{"id":"https://openalex.org/keywords/conjunction","display_name":"Conjunction (astronomy)","score":0.41510000824928284},{"id":"https://openalex.org/keywords/intersection","display_name":"Intersection (aeronautics)","score":0.4101000130176544},{"id":"https://openalex.org/keywords/denotational-semantics","display_name":"Denotational semantics","score":0.40139999985694885},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.39250001311302185}],"concepts":[{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.6291999816894531},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5656999945640564},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5637999773025513},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5331000089645386},{"id":"https://openalex.org/C2776235265","wikidata":"https://www.wikidata.org/wiki/Q18392052","display_name":"Fragment (logic)","level":2,"score":0.5145999789237976},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.5102999806404114},{"id":"https://openalex.org/C55508974","wikidata":"https://www.wikidata.org/wiki/Q190763","display_name":"Venn diagram","level":2,"score":0.4731000065803528},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4722000062465668},{"id":"https://openalex.org/C2333172","wikidata":"https://www.wikidata.org/wiki/Q1425985","display_name":"Preorder","level":2,"score":0.42750000953674316},{"id":"https://openalex.org/C59656382","wikidata":"https://www.wikidata.org/wiki/Q191536","display_name":"Conjunction (astronomy)","level":2,"score":0.41510000824928284},{"id":"https://openalex.org/C64543145","wikidata":"https://www.wikidata.org/wiki/Q162942","display_name":"Intersection (aeronautics)","level":2,"score":0.4101000130176544},{"id":"https://openalex.org/C207648694","wikidata":"https://www.wikidata.org/wiki/Q1189746","display_name":"Denotational semantics","level":4,"score":0.40139999985694885},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.39250001311302185},{"id":"https://openalex.org/C2778523021","wikidata":"https://www.wikidata.org/wiki/Q5532504","display_name":"Quantifier (linguistics)","level":2,"score":0.3808000087738037},{"id":"https://openalex.org/C206880738","wikidata":"https://www.wikidata.org/wiki/Q431667","display_name":"Automated theorem proving","level":2,"score":0.3750999867916107},{"id":"https://openalex.org/C2185349","wikidata":"https://www.wikidata.org/wiki/Q190558","display_name":"Negation","level":2,"score":0.35850000381469727},{"id":"https://openalex.org/C159718280","wikidata":"https://www.wikidata.org/wiki/Q5526353","display_name":"Gas meter prover","level":3,"score":0.3443000018596649},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.33820000290870667},{"id":"https://openalex.org/C4554734","wikidata":"https://www.wikidata.org/wiki/Q593744","display_name":"Knowledge base","level":2,"score":0.31949999928474426},{"id":"https://openalex.org/C149106765","wikidata":"https://www.wikidata.org/wiki/Q1982453","display_name":"Denotation (semiotics)","level":3,"score":0.31200000643730164},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.30820000171661377},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.3077999949455261},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.3068000078201294},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.3052999973297119},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.30169999599456787},{"id":"https://openalex.org/C42058472","wikidata":"https://www.wikidata.org/wiki/Q810214","display_name":"Base (topology)","level":2,"score":0.29330000281333923},{"id":"https://openalex.org/C189790780","wikidata":"https://www.wikidata.org/wiki/Q933932","display_name":"Horn clause","level":3,"score":0.29280000925064087},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.29089999198913574},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.2838999927043915},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.2761000096797943},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.27570000290870667},{"id":"https://openalex.org/C152385842","wikidata":"https://www.wikidata.org/wiki/Q1194916","display_name":"Mereology","level":2,"score":0.26460000872612},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.2639999985694885},{"id":"https://openalex.org/C89448276","wikidata":"https://www.wikidata.org/wiki/Q5259284","display_name":"Denotational semantics of the Actor model","level":5,"score":0.2606000006198883},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.25999999046325684},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.2574000060558319},{"id":"https://openalex.org/C164155591","wikidata":"https://www.wikidata.org/wiki/Q2067766","display_name":"Satisfiability modulo theories","level":2,"score":0.250900000333786}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2602.19883","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2602.19883","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.2602.19883","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2602.19883","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":[{"display_name":"Decent work and economic growth","id":"https://metadata.un.org/sdg/8","score":0.505313515663147}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"ODRL's":[0],"six":[1,164],"set-based":[2],"operators":[3],"--":[4,11,60,65,128],"isA,":[5],"isPartOf,":[6],"hasPart,":[7],"isAnyOf,":[8],"isAllOf,":[9],"isNoneOf":[10],"depend":[12],"on":[13,200],"external":[14],"domain":[15],"knowledge":[16,108,165],"that":[17,37,66,138,208],"the":[18,43,150,190,195],"W3C":[19,171],"specification":[20],"leaves":[21],"unspecified.":[22],"Without":[23],"it,":[24],"every":[25],"cross-dataspace":[26,101],"policy":[27],"comparison":[28],"defaults":[29],"to":[30,42,53,126,130,230],"Unknown.":[31],"We":[32,157],"present":[33],"a":[34,57,173],"denotational":[35],"semantics":[36,222],"maps":[38],"each":[39],"ODRL":[40,77],"constraint":[41],"set":[44],"of":[45,154],"knowledge-base":[46],"concepts":[47,123],"satisfying":[48],"it.":[49],"Conflict":[50],"detection":[51],"reduces":[52],"denotation":[54],"intersection":[55],"under":[56,69],"three-valued":[58],"verdict":[59],"Conflict,":[61],"Compatible,":[62],"or":[63,219],"Unknown":[64,127],"is":[67,207],"sound":[68],"incomplete":[70],"knowledge.":[71],"The":[72,146],"framework":[73],"covers":[74],"all":[75,84,143,201],"three":[76,85],"composition":[78,210],"modes":[79],"(and,":[80],"or,":[81],"xone)":[82],"and":[83,97,110,121,178,181,194],"semantic":[86],"domains":[87],"arising":[88],"in":[89],"practice:":[90],"taxonomic":[91],"(class":[92],"subsumption),":[93],"mereological":[94],"(part-whole":[95],"containment),":[96],"nominal":[98],"(identity).":[99],"For":[100],"interoperability,":[102],"we":[103],"define":[104],"order-preserving":[105],"alignments":[106],"between":[107],"bases":[109],"prove":[111],"two":[112],"guarantees:":[113],"conflicts":[114],"are":[115],"preserved":[116],"across":[117,163],"different":[118],"KB":[119,215],"standards,":[120],"unmapped":[122],"degrade":[124],"gracefully":[125],"never":[129],"false":[131],"conflicts.":[132],"A":[133,204],"runtime":[134],"soundness":[135],"theorem":[136,192],"ensures":[137],"design-time":[139],"verdicts":[140],"hold":[141],"for":[142],"execution":[144],"contexts.":[145],"encoding":[147],"stays":[148],"within":[149],"decidable":[151],"EPR":[152],"fragment":[153],"first-order":[155],"logic.":[156],"validate":[158],"it":[159],"with":[160],"154":[161,202],"benchmarks":[162],"base":[166],"families":[167],"(GeoNames,":[168],"ISO":[169,179],"3166,":[170],"DPV,":[172],"GDPR-derived":[174],"taxonomy,":[175],"BCP":[176],"47,":[177],"639-3)":[180],"four":[182],"structural":[183],"KBs":[184],"targeting":[185],"adversarial":[186],"edge":[187],"cases.":[188],"Both":[189],"Vampire":[191],"prover":[193],"Z3":[196],"SMT":[197],"solver":[198],"agree":[199],"verdicts.":[203],"key":[205],"finding":[206],"exclusive":[209],"(xone)":[211],"requires":[212],"strictly":[213],"stronger":[214],"axioms":[216],"than":[217],"conjunction":[218],"disjunction:":[220],"open-world":[221],"blocks":[223],"exclusivity":[224],"even":[225],"when":[226],"positive":[227],"evidence":[228],"appears":[229],"satisfy":[231],"exactly":[232],"one":[233],"branch.":[234]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-02-26T00:00:00"}