Information modelling and knowledge bases XX - Kiyoki, Yasushi (Frontiers in artificial intelligence and applications, 2009)