An Ontology for an IoT-enabled Smart Parking in a University Campus | IEEE Conference Publication | IEEE Xplore