Positioning devices allow users’ movement to be recorded. The GPS (Global Positioning System) trajectory data typically consists of spatiotemporal points, which make up the major part of the big data concerning urban life. Existing knowledge extraction methods about the trajectory share a general limitation—they only investigate data from a spatiotemporal aspect, but fail to take the semantic information of trajectories into consideration. Therefore, extracting the semantic information of trajectories with the context of big data is challenging pattern recognition task that has practical application prospects. In this paper, a system is proposed to extract the semantic trajectory patterns of positioning device users. Firstly, a spatiotemporal threshold and clustering based pre-processing model is proposed to process the raw data. Then, we design a probabilistic generative model to annotate the semantic information of each trajectory after the pre-processing procedure. Finally, we apply the PrefixSpan algorithm to mine the semantic trajectory patterns. We verify our system on a large dataset of users’ real trajectories over a period of 5 years in Beijing, China. The results of the experiment indicate that our system produces meaningful patterns.