// Life-cycle management methods
protected void loadOntology() {
clearState();
// Convert OWLOntology into DLOntology
OWLClausification clausifier=new OWLClausification(m_configuration);
Object[] result=clausifier.preprocessAndClausify(m_rootOntology,m_descriptionGraphs);
m_objectPropertyInclusionManager=(ObjectPropertyInclusionManager)result[0];
m_dlOntology=(DLOntology)result[1];
// Load the DLOntology
m_prefixes=createPrefixes(m_dlOntology);
m_tableau=createTableau(m_interruptFlag,m_configuration,m_dlOntology,null,m_prefixes);