Leão, F., 		Revoredo, K., & 		Baião, F.
(2011).
 ORION – A Framework for Ontology Refinement Through Theory Revision Techniques.
In <em>Proceedings of the 8th National Meeting on Artificial Intelligence</em>, (pp. 821-832). Porto Alegre: SBC.