How to use uk.ac.manchester.cs.owl.owlapi

@Override
public OWLSubClassOfAxiom asOWLSubClassOfAxiom() {
  return new OWLSubClassOfAxiomImpl(new OWLObjectOneOfImpl(getSubject()),
    new OWLObjectComplementOfImpl(new OWLDataHasValueImpl(getProperty(), getObject())),
    NO_ANNOTATIONS);
}

  @Override
  public OWLSubClassOfAxiom asOWLSubClassOfAxiom() {
    return new OWLSubClassOfAxiomImpl(OWL_THING,
      new OWLObjectComplementOfImpl(new OWLObjectHasSelfImpl(getProperty())), NO_ANNOTATIONS);
  }
}

@Override
public OWLSubClassOfAxiom asOWLSubClassOfAxiom() {
  return new OWLSubClassOfAxiomImpl(new OWLObjectOneOfImpl(getSubject()),
    new OWLObjectComplementOfImpl(new OWLObjectHasValueImpl(getProperty(), getObject())),
    NO_ANNOTATIONS);
}

@Override
public OWLSubClassOfAxiom asOWLSubClassOfAxiom() {
  return new OWLSubClassOfAxiomImpl(new OWLObjectOneOfImpl(getSubject()),
    new OWLDataHasValueImpl(getProperty(), getObject()), NO_ANNOTATIONS);
}

@Override
public OWLSubClassOfAxiom asOWLSubClassOfAxiom() {
  return new OWLSubClassOfAxiomImpl(new OWLObjectOneOfImpl(getSubject()),
    new OWLObjectHasValueImpl(getProperty(), getObject()), NO_ANNOTATIONS);
}

  @Override
  public OWLSubClassOfAxiom asOWLSubClassOfAxiom() {
    OWLClassExpression sub =
      new OWLDataSomeValuesFromImpl(getProperty(), new OWL2DatatypeImpl(RDFS_LITERAL));
    return new OWLSubClassOfAxiomImpl(sub, getDomain(), NO_ANNOTATIONS);
  }
}

  @Override
  public OWLSubClassOfAxiom asOWLSubClassOfAxiom() {
    OWLClassExpression sup = new OWLDataAllValuesFromImpl(getProperty(), getRange());
    return new OWLSubClassOfAxiomImpl(InternalizedEntities.OWL_THING, sup, NO_ANNOTATIONS);
  }
}

  @Override
  public OWLSubClassOfAxiom asOWLSubClassOfAxiom() {
    OWLClassExpression sup = new OWLObjectAllValuesFromImpl(getProperty(), getRange());
    return new OWLSubClassOfAxiomImpl(OWL_THING, sup, NO_ANNOTATIONS);
  }
}

  @Override
  public OWLSubClassOfAxiom asOWLSubClassOfAxiom() {
    return new OWLSubClassOfAxiomImpl(new OWLObjectOneOfImpl(getIndividual()),
      getClassExpression(), NO_ANNOTATIONS);
  }
}

  @Override
  public OWLClassExpression asSomeValuesFrom() {
    return new OWLObjectSomeValuesFromImpl(getProperty(), new OWLObjectOneOfImpl(getFiller()));
  }
}

  @Override
  public OWLClassExpression asSomeValuesFrom() {
    return new OWLDataSomeValuesFromImpl(getProperty(), new OWLDataOneOfImpl(getFiller()));
  }
}

@Override
public OWLSubClassOfAxiom asOWLSubClassOfAxiom() {
  return new OWLSubClassOfAxiomImpl(OWL_THING, new OWLObjectHasSelfImpl(getProperty()),
    NO_ANNOTATIONS);
}

  @Override
  public Collection<OWLSubClassOfAxiom> asOWLSubClassOfAxioms() {
    return walkAllPairwise((a, b) -> new OWLSubClassOfAxiomImpl(new OWLObjectOneOfImpl(a),
      new OWLObjectOneOfImpl(b).getObjectComplementOf(), NO_ANNOTATIONS));
  }
}

@Override
public OWLSubClassOfAxiom asOWLSubClassOfAxiom() {
  return new OWLSubClassOfAxiomImpl(new OWLObjectOneOfImpl(getSubject()),
    new OWLObjectComplementOfImpl(new OWLDataHasValueImpl(getProperty(), getObject())),
    NO_ANNOTATIONS);
}

@Override
public OWLSubClassOfAxiom asOWLSubClassOfAxiom() {
  return new OWLSubClassOfAxiomImpl(new OWLObjectOneOfImpl(getSubject()),
    new OWLObjectComplementOfImpl(new OWLObjectHasValueImpl(getProperty(), getObject())),
    NO_ANNOTATIONS);
}

  @Override
  public OWLSubClassOfAxiom asOWLSubClassOfAxiom() {
    return new OWLSubClassOfAxiomImpl(OWL_THING,
      new OWLObjectComplementOfImpl(new OWLObjectHasSelfImpl(getProperty())), NO_ANNOTATIONS);
  }
}

  @Override
  public OWLSubClassOfAxiom asOWLSubClassOfAxiom() {
    OWLClassExpression sub =
      new OWLDataSomeValuesFromImpl(getProperty(), new OWL2DatatypeImpl(RDFS_LITERAL));
    return new OWLSubClassOfAxiomImpl(sub, getDomain(), NO_ANNOTATIONS);
  }
}

@Override
public OWLSubClassOfAxiom asOWLSubClassOfAxiom() {
  return new OWLSubClassOfAxiomImpl(new OWLObjectOneOfImpl(getSubject()),
    new OWLObjectComplementOfImpl(new OWLDataHasValueImpl(getProperty(), getObject())),
    NO_ANNOTATIONS);
}

@Override
public OWLSubClassOfAxiom asOWLSubClassOfAxiom() {
  return new OWLSubClassOfAxiomImpl(OWL_THING,
      new OWLObjectComplementOfImpl(new OWLObjectHasSelfImpl(
          getProperty())), NO_ANNOTATIONS);
}

@Override
public OWLSubClassOfAxiom asOWLSubClassOfAxiom() {
  return new OWLSubClassOfAxiomImpl(new OWLObjectOneOfImpl(getSubject()),
    new OWLObjectComplementOfImpl(new OWLDataHasValueImpl(getProperty(), getObject())),
    NO_ANNOTATIONS);
}