STLF: Spatial-temporal-logical knowledge representation and object mapping framework | IEEE Conference Publication | IEEE Xplore