Information modelling and knowledge bases XI - Kawaguchi, Eiji (Frontiers in artificial intelligence and applications ; ;, 2000)