Towards Checking Laws' Consistency through Ontology Design: The Case of Brazilian Vehicles' Laws. - Frederico Luiz Gonçalves de Freitas; Zacharias Candeias Jr.; Heiner Stuckenschmidt (J. Theor. Appl. Electron. Commer. Res., 2011)