This project includes tools for the Common Logic Repository (COLORE) to navigate its ontologies through insertion and search algorithms.