This paper presents a method for encoding OWL-S atomic processes by means of SWRL rules and composing them using a backward search planning algorithm. A description of the preliminary prototype implementation and a grounding in BPEL are also presented. 							
						
							
					 															
					Domenico Redavid, Luigi Iannone, Terry R. Payne