@Override public void loadOntology(OWLOntology o) { if (!equalityTag) { EqualitiesEliminator eliminator = new EqualitiesEliminator(o); o = eliminator.getOutputOntology(); eliminator.save(); } ontology = o; program = new DatalogProgram(ontology, properties.getToClassify()); // program.getLower().save(); // program.getUpper().save(); // program.getGeneral().save(); if (multiStageTag && !program.getGeneral().isHorn()) { lazyUpperStore = getUpperStore( "lazy-upper-bound", true); // new MultiStageQueryEngine("lazy-upper-bound", true); // } importData(program.getAdditionalDataFile()); elho_ontology = new ELHOProfile().getFragment(ontology); elLowerStore.processOntology(elho_ontology); }