Lazy Learning from Terminological Knowledge Bases