Automatic modeling and fault diagnosis of car production lines based on first-principle qualitative mechanics and semantic web technology. (August 2021)