Describir: Algebraic Model for Agent Explicit Knowledge in Multi-agent Systems