Exploiting the sem framework for modeling smart cities