Description logic rule and process algebra based OWL-S modeling, matching and composition. - Liu Sipei; Wang Jin; Wan Lei; Soohong Park (CCNC, 2011)