moved stage dependencies into the StageManager class
removed stages boolean flags; now keep track of dependencies between
stages using postStages
removing IncrementalReasoningState
initial loading of ontology happens only once
protected fields should not end with underscore
role saturation stages do not depend on change loading stage (assumes
that the changes do not contain role axioms -- to be fixed next)