An Ontological Approach to the Three-Phase Method of Imposing Penalties in the Brazilian Criminal Code | IEEE Conference Publication | IEEE Xplore