Information modelling and knowledge bases XX - Kiyoki, Yasushi. (IOS Press,)