An Ontology for Collaborative Navigation Among Autonomous Cars, Drivers, and Pedestrians in Smart Cities | IEEE Conference Publication | IEEE Xplore