DL Query
The DL Query tab provides a way of asking for the subclasses, super classes, equivalent classes and instances of
an arbitrary class expression. It also provides explanations for query results.
Author
Matthew Horridge. Originally written as part of the CO-ODE project at the University of Manchester.