Description logic rule and process algebra based OWL-S modeling, matching and composition | IEEE Conference Publication | IEEE Xplore