Port forward patch to handle DisjointClassAxioms with only a single argument.