@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);
}
