Teixeira Filho, Haroldo, Leonardo Azevedo, and Sean Siqueira. " Analysis of the Applicability of Ontologies and Semantic Rules to Support Conformity Verification in the Context of Service-Oriented Architectures." Proceedings of the 9th Brazilian Symposium on Information Systems, João Pessoa, 2013. SBC, 2013, pp.284-295.