SMS dit: Principles of knowledge representation and reasoning : proceedings of the Sixth International Conference (KR '98) / edited by Anthony G. Cohn, Lenhart Schubert, Stuart C. Shapiro.