Exemplo de inferência funcionando com a api OWLAPI e Provador Pellet