Semantics of OWL-S process model based on temporal description logic
LI Ming LIU Shiyi NIAN Fuzhong
Journal of Computer Applications . 2013, (01): 266 -269 .  DOI: 10.3724/SP.J.1087.2013.00266