A methodology for encoding regulatory rules

Hanif Bhuiyan, Francesco Olivieri, Guido Governatori, Andy Bond, Andry Rakotonirainy

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

6 Citations (Scopus)


This paper introduces a methodology for the encoding of rules into a semantic logical format to facilitate the automated reasoning process. We demonstrate how to identify, capture, combine, and thus formulate all the components from rules into a computationally-oriented formalism. The need for the methodology is motivated by the desire for automated reasoning of automated vehicle information regarding traffic rules. We use Defeasible Deontic Logic as a formal foundation of our methodology. The overtaking traffic rule is our use-case to illustrate the usefulness of our methodology. Through this use-case, it is seen that the logical semantic representation of the traffic rules seems conceivable to support automated reasoning. This paper includes the source materials, the use cases, proposed methodology, and the example of encoding.

Original languageEnglish
Title of host publicationMIREL 2019: MIning and REasoning with Legal texts
Subtitle of host publicationProceedings of the 4th International Workshop on MIning and REasoning with Legal texts co-located with the 32nd International Conference on Legal Knowledge and Information Systems (JURIX 2019)
EditorsGiovanni Casini, Luigi Di Caro, Guido Governatori, Valentina Leone, Réka Markovich
PublisherRheinisch-Westfaelische Technische Hochschule Aachen
Number of pages13
Publication statusPublished - 2020
Externally publishedYes
EventInternational Workshop on MIning and REasoning with Legal Texts 2019 - Madrid, Spain
Duration: 11 Dec 201911 Dec 2019
Conference number: 4th

Publication series

NameCEUR Workshop Proceedings
PublisherRheinisch-Westfaelische Technische Hochschule Aachen
ISSN (Print)1613-0073


ConferenceInternational Workshop on MIning and REasoning with Legal Texts 2019
Abbreviated titleMIREL 2019
Internet address


  • Defeasible Deontic Logic
  • Legal norms
  • Rules
  • Terms

Cite this