Processamento de eventos complexos com modelagem semântica e tratamento de incerteza para aplicações de cidades inteligentes