OWL-S模型转化为重写逻辑模型的方法
沈雅芬 黄宁 彭永义
Transformation of OWL-S model to rewrite-logic model
SHEN Ya-fen HUANG Ning PENG Yong-yi
计算机应用 . 2011, (06): 1491 -1494 .  DOI: 10.3724/SP.J.1087.2011.01491