About cookies on this site Our websites require some cookies to function properly (required). In addition, other cookies may be used with your consent to analyze site usage, improve the user experience and for advertising. For more information, please review your options. By visiting our website, you agree to our processing of information as described in IBM’sprivacy statement. To provide a smooth navigation, your cookie preferences will be shared across the IBM web domains listed here.
Publication
XAILA 2018
Conference paper
Utilizing IALC to formalize the Brazilian OAB exam
Abstract
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.