Utilizing IALC to formalize the Brazilian OAB exam

In Brazil, the national Bar exams for legal professionals are called the OAB exams, which indicate aptitude for practice of the law. The logic iALC is an intuitionistic description logic which was created to deal with the world of laws. In this article we convey some experiments on the use of logical deductions as a kind of intermediate data structure to help in the task of explaining “juridicial sentences” on the basis legal systems in “Civil Law” states. The deductions are concretely developed in the iALC description logic for representing legal systems and reasoning inside them. We then discuss what can be extrapolated from that which was found and propose next steps.