```
public interface TBoxReasonerStatus
```
What is the current state of the TBox reasoner?

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	Description
`String`	`getExplanation()`	A description of the error state, or an empty string (never null).
`boolean`	`isConsistent()`	Is the TBox free of inconsistency?
`boolean`	`isInErrorState()`	Did the reasoner fail in its most recent attempt?
`boolean`	`isReasoning()`	Is reasoning in progress based on changes to the TBox?

Interface TBoxReasonerStatus