The development of sensor networks allows for easier time series data acquisition in industrial production. Due to the redundancy and rapidity of industrial time series data, accurate anomaly detection is a complex and important problem for the efficient production of the textile process. This paper proposed a semantic inference method for anomaly detection by constructing the formal specifications of anomaly data, which can effectively detect exceptions in process industrial operations. Furthermore, our method pr…