@Override public OWLClassExpression getComplementNNF() { return new OWLObjectComplementOfImpl(this); }
@Override public void addAnonymousIndividualsToSet(Set<OWLAnonymousIndividual> anons) { addAnonymousIndividualsToSetForValue(anons, operand); }
@Override public void addSignatureEntitiesToSet(Set<OWLEntity> entities) { addSignatureEntitiesToSetForValue(entities, operand); }
@Override public OWLClassExpression getComplementNNF() { NNF nnf = new NNF(new OWLDataFactoryImpl()); return new OWLObjectComplementOfImpl(this).accept(nnf); }
public static void serialize(SerializationStreamWriter streamWriter, OWLObjectComplementOfImpl instance) throws SerializationException { streamWriter.writeObject(instance.getOperand()); }
@Override public OWLClassExpression getComplementNNF() { NNF nnf = new NNF(new OWLDataFactoryImpl()); return new OWLObjectComplementOfImpl(this).accept(nnf); }
@Override public OWLClassExpression getObjectComplementOf() { return new OWLObjectComplementOfImpl(this); }
@Override public OWLClassExpression getComplementNNF() { NNF nnf = new NNF(new OWLDataFactoryImpl()); return new OWLObjectComplementOfImpl(this).accept(nnf.getClassVisitor()); }
@Override public OWLClassExpression getObjectComplementOf() { return new OWLObjectComplementOfImpl(this); }
@Override public OWLClassExpression getComplementNNF() { NNF nnf = new NNF(new OWLDataFactoryImpl()); return new OWLObjectComplementOfImpl(this).accept(nnf.getClassVisitor()); }
@Override public OWLClassExpression getObjectComplementOf() { return new OWLObjectComplementOfImpl(this); }
@Override public OWLClassExpression getComplementNNF() { NNF nnf = new NNF(new OWLDataFactoryImpl()); return new OWLObjectComplementOfImpl(this).accept(nnf.getClassVisitor()); }
@Override public OWLClassExpression getObjectComplementOf() { return new OWLObjectComplementOfImpl(this); }
@Override public OWLClassExpression getComplementNNF() { NNF nnf = new NNF(new OWLDataFactoryImpl()); return new OWLObjectComplementOfImpl(this).accept(nnf.getClassVisitor()); }
@Override public OWLClassExpression getObjectComplementOf() { return new OWLObjectComplementOfImpl(this); }
@Override public OWLClassExpression getComplementNNF() { return new OWLObjectComplementOfImpl(this); }
@Override public OWLClassExpression getComplementNNF() { return new OWLObjectComplementOfImpl(this); }
@Override public OWLClassExpression getComplementNNF() { return new OWLObjectComplementOfImpl(this); }
@Override public OWLClassExpression getObjectComplementOf() { return new OWLObjectComplementOfImpl(this); }
@Override public OWLClassExpression getObjectComplementOf() { return new OWLObjectComplementOfImpl(this); }