1st International Workshop on Formal Models for Knowledge Management (FMKM 2010)