Information modelling and knowledge bases - Kangassalo, Hannu; Jaakola, H; Ohsuga, S (Frontiers in artificial intelligence and applications, 1990)