TopBraid Composer uses OWL Description Logic to run logical consistency checks and to classify classes and instances. The system has the open-source DL reasoners Pellet, Jena and OWLIM built-in, and other classifiers can be accessed via the DIG interface. The results of the classifier are shown in blue on the forms, diagrams and class hierarchies.