Large Language Models (LLMs) are increasingly used to translate natural-language requirements into machine-readable data usage policies. In the ODRL Multi-Agent LLM framework, such requirements are transformed into ODRL policies through a multi-agent pipeline supported by ontology-guided prompting and structured policy generation [1,2]. However, LLM-based reasoning alone cannot provide formal guarantees about constraint consistency, particularly when policies involve numeric restrictions, temporal conditions, logical combinations of constraints, or semantic relations that depend on external knowledge.<\/p>\n\n\n\n
This thesis investigates how an external formal reasoning component<\/strong> can complement LLM-assisted policy creation. ODRL is used as the concrete policy setting because it provides a W3C-standardized information model and vocabulary for permissions, prohibitions, duties, and constraints [3,4]. The thesis focuses initially on self-contained numeric constraints and selected simple temporal constraints<\/strong> that can be translated into formal logical representations and checked using automated solvers. More complex temporal, spatial, purpose-based, language-based, and ontology-grounded constraints are considered possible extensions beyond the initial scope.<\/p>\n\n\n\n <\/p>\n\n\n\n <\/p>\n","protected":false},"excerpt":{"rendered":" Large Language Models (LLMs) are increasingly used to translate natural-language requirements into machine-readable data usage policies. In the ODRL Multi-Agent LLM framework, such requirements are transformed into ODRL policies through a multi-agent pipeline supported by ontology-guided prompting and structured policy generation [1,2]. However, LLM-based reasoning alone cannot provide formal guarantees about constraint consistency, particularly when […]<\/p>\n","protected":false},"author":145,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"footnotes":""},"categories":[21],"tags":[90,87,46],"class_list":["post-7346","post","type-post","status-publish","format-standard","hentry","category-thesis","tag-attention-residuals","tag-commonsense-qa","tag-llm"],"acf":[],"_links":{"self":[{"href":"https:\/\/dbis.rwth-aachen.de\/dbis\/index.php\/wp-json\/wp\/v2\/posts\/7346","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/dbis.rwth-aachen.de\/dbis\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/dbis.rwth-aachen.de\/dbis\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/dbis.rwth-aachen.de\/dbis\/index.php\/wp-json\/wp\/v2\/users\/145"}],"replies":[{"embeddable":true,"href":"https:\/\/dbis.rwth-aachen.de\/dbis\/index.php\/wp-json\/wp\/v2\/comments?post=7346"}],"version-history":[{"count":1,"href":"https:\/\/dbis.rwth-aachen.de\/dbis\/index.php\/wp-json\/wp\/v2\/posts\/7346\/revisions"}],"predecessor-version":[{"id":7347,"href":"https:\/\/dbis.rwth-aachen.de\/dbis\/index.php\/wp-json\/wp\/v2\/posts\/7346\/revisions\/7347"}],"wp:attachment":[{"href":"https:\/\/dbis.rwth-aachen.de\/dbis\/index.php\/wp-json\/wp\/v2\/media?parent=7346"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/dbis.rwth-aachen.de\/dbis\/index.php\/wp-json\/wp\/v2\/categories?post=7346"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/dbis.rwth-aachen.de\/dbis\/index.php\/wp-json\/wp\/v2\/tags?post=7346"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}