Workflow conflict detection algorithm based on description logic

The TBox and ABox for workflow models were constructed,and a conflict detection algorithm was presented based on description logic,for activities conflict problems usually occurred in workflow models.It can not only detect the number of conflict activities,but also can detect these specific activities,so as to help improve design.