This was presented at WoMo 2011 and at first glance appears to be an easier read than the next paper that was given at ISWC and is about essentially the same subject matter. Both papers depend on understanding of modules that is explained in the following supporting papers.