Smart city ontologies: Improving the effectiveness of smart city applications