Combining terminological and rule-based reasoning for abstraction processes - Hanschke, Philipp 1963-; Hinkelmann, Knut ca. 20./21. Jh (Deutsches Forschungszentrum für Künstliche Intelligenz <Kaiserslautern>: Research report, 1992)