Towards very large knowledge bases Knowledge building and knowledge sharing 19 - Mars, N.J.I. (Amsterdam IOS Press, 1995)