How to use

uk.ac.manchester.cs.owl.owlapi.OWLObjectComplementOfImpl

constructor

@Override
public OWLObjectComplementOf getOWLObjectComplementOf(OWLClassExpression operand) {
  checkNotNull(operand, "operand");
  return new OWLObjectComplementOfImpl(operand);
}

@Override
public OWLObjectComplementOf getOWLObjectComplementOf(OWLClassExpression operand) {
  checkNotNull(operand, "operand");
  return new OWLObjectComplementOfImpl(operand);
}

@Override
public OWLObjectComplementOf getOWLObjectComplementOf(OWLClassExpression operand) {
  checkNotNull(operand, "operand");
  return new OWLObjectComplementOfImpl(operand);
}

@Nonnull
@Override
public OWLObjectComplementOf getOWLObjectComplementOf(
  OWLClassExpression operand) {
  checkNotNull(operand, "operand");
  return new OWLObjectComplementOfImpl(operand);
}

@Override
public OWLObjectComplementOf getOWLObjectComplementOf(OWLClassExpression operand) {
  checkNull(operand, "operand");
  return new OWLObjectComplementOfImpl(operand);
}

  @Override
  public OWLSubClassOfAxiom asOWLSubClassOfAxiom() {
    return new OWLSubClassOfAxiomImpl(OWL_THING,
      new OWLObjectComplementOfImpl(new OWLObjectHasSelfImpl(getProperty())), 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(OWL_THING,
      new OWLObjectComplementOfImpl(new OWLObjectHasSelfImpl(getProperty())), NO_ANNOTATIONS);
  }
}

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

@Override
public OWLClassExpression getComplementNNF() {
  NNF nnf = new NNF(new OWLDataFactoryImpl());
  return new OWLObjectComplementOfImpl(this).accept(nnf);
}

@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(new OWLObjectOneOfImpl(getSubject()),
    new OWLObjectComplementOfImpl(new OWLObjectHasValueImpl(getProperty(), getObject())),
    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 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(new OWLObjectOneOfImpl(getSubject()),
    new OWLObjectComplementOfImpl(new OWLDataHasValueImpl(getProperty(), getObject())),
    NO_ANNOTATIONS);
}

@Override
public OWLClassExpression getComplementNNF() {
  NNF nnf = new NNF(new OWLDataFactoryImpl());
  return new OWLObjectComplementOfImpl(this).accept(nnf.getClassVisitor());
}

@Override
public OWLClassExpression getComplementNNF() {
  NNF nnf = new NNF(new OWLDataFactoryImpl());
  return new OWLObjectComplementOfImpl(this).accept(nnf.getClassVisitor());
}

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