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.