Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 24-Sep-2009
Thrown when the current reasoner operation has been interrupted due to a satisfiability check timeout.
Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 22-Nov-2006
A very simple syntactic (and therefore incomplete) reasoner, which
provides information about the told named class hierarchy for an ontology
and its imports closure.