基于时序描述逻辑的Web服务本体语言过程模型语义

基于时序描述逻辑的Web服务本体语言过程模型语义

李明刘士仪年福忠

Semantics of OWL-S process model based on temporal description logic

LI Ming LIU Shiyi NIAN Fuzhong

计算机应用 . 2013, (01): 266 -269 . DOI: 10.3724/SP.J.1087.2013.00266