@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); }