Principles of knowledge representation and reasoning : proceedings of the eighth international conference (KR2002): Toulouse, France, April 22-25, 2002 - Fensel, Dieter (Morgan Kaufmann series in representation and reasoning, 2002)