Information modelling and knowledge bases (IOS Press, 1998)