Terminological reasoning and partial inductive definitions - Hanschke, Philipp (1992)