Repository for the knowledge representation group homework