Nau DS.  2005.  Inferencing in Support of Active Templates.