A semantical perspective on verification of knowledge. - Paul Leemans; Jan Treur; Mark Willems (Data Knowl. Eng., 2002)