On knowledge base management systems