PulseAugur
中
实时 10:28:30
English(EN) What Does ODRL Mean? A Cross-Level Ontological Grounding of Permissions, Prohibitions, and Duties in UFO-L

新框架将 ODRL 策略置于 UFO-L 本体论基础之上

作者 PulseAugur 编辑部 · [1 个来源] ·

研究人员开发了一个新框架，通过将其置于 UFO-L 本体论基础之上来理解 ODRL 策略。这种方法阐明了 ODRL 中固有的规范立场、权限结构和权力动态，解决了权限行为等未明确说明的方面，并侧重于成就义务。该框架已在 Isabelle/HOL 中得到验证，并使用多个定理证明器进行了测试，将覆盖范围从两个法律立场扩展到八个，并明确了违规声明权限。 AI

排序理由 该集群包含一篇学术论文，详细介绍了理解 ODRL 策略的新理论框架。[lever_c_demoted from research: ic=1 ai=0.4]

在 arXiv cs.AI 阅读 →

AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →

新框架将 ODRL 策略置于 UFO-L 本体论基础之上

报道来源 [1]

  1. arXiv cs.AI TIER_1 English(EN) · Daham M. Mustafa, Christoph Lange, Giancarlo Guizzardi, Diego Collarana, Christoph Quix, Stefan Decker ·

    What Does ODRL Mean? A Cross-Level Ontological Grounding of Permissions, Prohibitions, and Duties in UFO-L

    arXiv:2606.24344v1 Announce Type: cross Abstract: ODRL policy evaluators produce verdicts, but say nothing about the normative positions a policy brings into existence, the authority structures those positions presuppose, or who holds the power to declare a norm violated. We form…

相关实体

相关话题