Integrating inductively acquired knowle door K. Korsmit