Knowledge File System -- A Principled Approach to Personal Information Management