edu.cornell.mannlib.vitro.webapp.modules.tboxreasoner

Interface TBoxReasonerStatus

public interface TBoxReasonerStatus

What is the current state of the TBox reasoner?

Method Summary

Modifier and Type	Method and 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?

Method Detail

isReasoning

boolean isReasoning()

Is reasoning in progress based on changes to the TBox?

isConsistent

boolean isConsistent()

Is the TBox free of inconsistency?

isInErrorState

boolean isInErrorState()

Did the reasoner fail in its most recent attempt?

getExplanation

String getExplanation()

A description of the error state, or an empty string (never null).