Three-Valued, Open-World Conflict Detection for Externally-Grounded ODRL Policies
theorem-proving semantic-web smtplib tptp denotational-semantics automated-reasoning conflict-detection odrl knowledge-graphs data-spaces open-world-assumption policy-reasoning externally-grounded
-
Updated
Oct 14, 2026 - Python