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.