A declarative integration of terminological, constraint based, data driven, and goal directed reasoning - Hanschke, Philipp (Dissertationen zur künstlichen Intelligenz, 1996)