OWLClass clsA = df.getOWLClass(IRI.create(pizza_iri + "#A"));
OWLClass clsB = df.getOWLClass(IRI.create(pizza_iri + "#B"));
// Now create the axiom
OWLAxiom axiom = df.getOWLSubClassOfAxiom(clsA, clsB);
// add the axiom to the ontology.
AddAxiom addAxiom = new AddAxiom(o, axiom);
// We now use the manager to apply the change
m.applyChange(addAxiom);

Brain brain = new Brain();
//Add the OWL classes
brain.addClass("Nucleus");
brain.addClass("Cell");
//Add the OWL object property
brain.addObjectProperty("part-of");
//Assert the axiom
brain.subClassOf("Nucleus", "part-of some Cell");

(defoproperty hasTopping
  :super hasIngredient
  :range PizzaTopping
  :domain Pizza)

(defn generate-named-pizza [& pizzalist]
  (doseq
      [[named & toppings] pizzalist]
    (owl-class
     named
     :super (some-only hasTopping toppings))))

(as-disjoint-subclasses
 Event
 (defclass Addition)
 (defclass Deletion)
 (defclass Duplication)
 (defclass Fission)
 (defclass Insertion)
 (defclass Inversion)
 (defclass Quadruplication)
 (defclass Translocation)
 (defclass Triplication))

(defn owl-atom [name chebi]
 (owl-atom-annotation-maybe
  (owl-class (make-safe name)
             :subclass atom
             :label name)
  chebi))

(defclass OBI:0034322
     :subclass OBI:0034321)