implementado aplicador automatico de axiomas de propriedades owl