Title: logical Knowledge Management