Cover Image

Evaluation and Comparison Semantics for ODRL

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Salas, Jaime Osvaldo, Pareti, Paolo, Yumuşak, Semih, Gheisari, Soulmaz, Ibáñez, Luis-Daniel, Konstantinidis, George
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

ODRL Policy Comparison Through Normalisation
by: Salas, Jaime Osvaldo, et al.
Published: (2026)

Syntax Is Easy, Semantics Is Hard: Evaluating LLMs for LTL Translation
by: Danso, Priscilla Kyei, et al.
Published: (2026)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
by: Bloch, Isabelle, et al.
Published: (2025)

Explaining Bayesian Networks in Natural Language using Factor Arguments. Evaluation in the medical domain
by: Sevilla, Jaime, et al.
Published: (2024)

Automated Process Planning Based on a Semantic Capability Model and SMT
by: Köcher, Aljosha, et al.
Published: (2023)

Iterated belief revision: from postulates to abilities
by: Liberatore, Paolo
Published: (2025)

Abductive forgetting
by: Liberatore, Paolo
Published: (2022)

An Overview and Comparison of Axiomatization Structures Regarding Inconsistency Indices' Properties in Pairwise Comparisons Methods
by: Pant, Sangeeta, et al.
Published: (2024)

Semantic Bridges Between First Order c-Representations and Cost-Based Semantics: An Initial Perspective
by: Leisegang, Nicholas, et al.
Published: (2025)

On the Complexity of the Grounded Semantics for Infinite Argumentation Frameworks
by: Andrews, Uri, et al.
Published: (2025)

On the Trap Space Semantics of Normal Logic Programs
by: Trinh, Van-Giang, et al.
Published: (2026)

Weighted Rules under the Stable Model Semantics
by: Lee, Joohyung, et al.
Published: (2026)

Knowledge Base Embeddings: Semantics and Theoretical Properties
by: Bourgaux, Camille, et al.
Published: (2024)

SHACL Validation in the Presence of Ontologies: Semantics and Rewriting Techniques
by: Oudshoorn, Anouk, et al.
Published: (2025)

A New Tractable Description Logic under Categorical Semantics
by: Duc, Chan Le, et al.
Published: (2025)

Recursive Aggregates as Intensional Functions in Answer Set Programming: Semantics and Strong Equivalence
by: Fandinno, Jorge, et al.
Published: (2024)

Defeasible Conditional Obligation in a Two-tiered Preference-based Semantics (Extended Version)
by: Parent, Xavier
Published: (2026)

Discussion Graph Semantics of First-Order Logic with Equality for Reasoning about Discussion and Argumentation
by: Arisaka, Ryuta
Published: (2024)

Counting Worlds Branching Time Semantics for post-hoc Bias Mitigation in generative AI
by: Buda, Alessandro G., et al.
Published: (2026)

Inductive Learning of Robot Task Knowledge from Raw Data and Online Expert Feedback
by: Meli, Daniele, et al.
Published: (2025)

Towards Fast Algorithms for the Preference Consistency Problem Based on Hierarchical Models
by: George, Anne-Marie, et al.
Published: (2024)

Policy-Adaptable Methods For Resolving Normative Conflicts Through Argumentation and Graph Colouring
by: Joyce, Johnny
Published: (2025)

Dynamic Logic of Trust-Based Beliefs
by: Jiang, Junli, et al.
Published: (2025)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
by: Xu, Yang, et al.
Published: (2025)

Abductive Reasoning in a Paraconsistent Framework
by: Bienvenu, Meghyn, et al.
Published: (2024)

The logic of KM belief update is contained in the logic of AGM belief revision
by: Bonanno, Giacomo
Published: (2026)

Similarity-based analogical proportions
by: Antić, Christian
Published: (2024)

Evaluating SAT and SMT Solvers on Large-Scale Sudoku Puzzles
by: Davis, Liam, et al.
Published: (2025)

An Axiomatic Study of the Evaluation of Enthymeme Decoding in Weighted Structured Argumentation
by: Ben-Naim, Jonathan, et al.
Published: (2024)

Evaluating Datalog Tools for Meta-reasoning over OWL 2 QL
by: Qureshi, Haya Majid, et al.
Published: (2024)

Cost-Based Semantics for Querying Inconsistent Weighted Knowledge Bases
by: Bienvenu, Meghyn, et al.
Published: (2024)

Perennial Semantic Data Terms of Use for Decentralized Web
by: Zhao, Rui, et al.
Published: (2024)

Towards Neuro-symbolic Causal Rule Synthesis, Verification, and Evaluation Grounded in Legal and Safety Principles
by: Rehan, Zainab, et al.
Published: (2026)

Lemmanaid: Neuro-Symbolic Lemma Conjecturing
by: Alhessi, Yousef, et al.
Published: (2025)

Subject-Event Ontology Without Global Time: Foundations and Execution Semantics
by: Boldachev, Alexander
Published: (2025)

Efficient Inference and Computation of Optimal Alternatives for Preference Languages Based On Lexicographic Models
by: Wilson, Nic, et al.
Published: (2024)

A Reversible Semantics for Janus
by: Lanese, Ivan, et al.
Published: (2026)

Axis-Aligned Semantics for ODRL: Resolving Dimensional Ambiguity in Policy Constraints
by: Mustafa, Daham, et al.
Published: (2026)

Bridging LLM Planning Agents and Formal Methods: A Case Study in Plan Verification
by: Ramani, Keshav, et al.
Published: (2025)

Ontology for Policing: Conceptual Knowledge Learning for Semantic Understanding and Reasoning in Law Enforcement Reports
by: Srbinovska, Anita, et al.
Published: (2026)