Evaluation and Comparison Semantics for ODRL
Fuente:
arXiv
Salvato in:
| Autori principali: | , , , , , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866918137246515200 |
|---|---|
| author | Salas, Jaime Osvaldo Pareti, Paolo Yumuşak, Semih Gheisari, Soulmaz Ibáñez, Luis-Daniel Konstantinidis, George |
| author_facet | Salas, Jaime Osvaldo Pareti, Paolo Yumuşak, Semih Gheisari, Soulmaz Ibáñez, Luis-Daniel Konstantinidis, George |
| contents | We consider the problem of evaluating, and comparing computational policies in the Open Digital Rights Language (ODRL), which has become the de facto standard for governing the access and usage of digital resources. Although preliminary progress has been made on the formal specification of the language's features, a comprehensive formal semantics of ODRL is still missing. In this paper, we provide a simple and intuitive formal semantics for ODRL that is based on query answering. Our semantics refines previous formalisations, and is aligned with the latest published specification of the language (2.2). Building on our evaluation semantics, and motivated by data sharing scenarios, we also define and study the problem of comparing two policies, detecting equivalent, more restrictive or more permissive policies. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2509_05139 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Evaluation and Comparison Semantics for ODRL Salas, Jaime Osvaldo Pareti, Paolo Yumuşak, Semih Gheisari, Soulmaz Ibáñez, Luis-Daniel Konstantinidis, George Artificial Intelligence Logic in Computer Science We consider the problem of evaluating, and comparing computational policies in the Open Digital Rights Language (ODRL), which has become the de facto standard for governing the access and usage of digital resources. Although preliminary progress has been made on the formal specification of the language's features, a comprehensive formal semantics of ODRL is still missing. In this paper, we provide a simple and intuitive formal semantics for ODRL that is based on query answering. Our semantics refines previous formalisations, and is aligned with the latest published specification of the language (2.2). Building on our evaluation semantics, and motivated by data sharing scenarios, we also define and study the problem of comparing two policies, detecting equivalent, more restrictive or more permissive policies. |
| title | Evaluation and Comparison Semantics for ODRL |
| topic | Artificial Intelligence Logic in Computer Science |
| url | https://arxiv.org/abs/2509.05139 |