System.out.println("Time to prepare reasoner: " + (t1 - t0));
// reasoner.dumpClassHierarchy(false);
// reasoner.dumpObjectPropertyHierarchy(false);
// reasoner.dumpDataPropertyHierarchy(false);
OWLAxiom ax = Declaration(Class(IRI.create("http://www.co-ode.org/ontologies/pizza/pizza.owl#X")));
DefaultPrefixManager pm = new DefaultPrefixManager("http://www.co-ode.org/ontologies/pizza/pizza.owl#");
System.out.println("~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~");
man.addAxiom(ont,ax);
System.out.println("~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~");
man.addAxiom(ont, SubClassOf(Class("X", pm), Class("Y", pm)));
man.addAxiom(ont, SubClassOf(Class("Y", pm), Class("X", pm)));