Title: Logic-Driven Traffic Big Data Analytics