Using Ontologies to Formalize Services Specifications in Multi-Agent Systems Karin Koogan Breitman, Aluizio Haendchen Filho, Edward Herman Haeusler