@Override public Collection<OWLSubClassOfAxiom> asOWLSubClassOfAxioms() { return walkAllPairwise((a, b) -> new OWLSubClassOfAxiomImpl(new OWLObjectOneOfImpl(a), new OWLObjectOneOfImpl(b).getObjectComplementOf(), NO_ANNOTATIONS)); } }
@Override public Collection<OWLSubClassOfAxiom> asOWLSubClassOfAxioms() { return walkAllPairwise((a, b) -> new OWLSubClassOfAxiomImpl(new OWLObjectOneOfImpl(a), new OWLObjectOneOfImpl(b).getObjectComplementOf(), NO_ANNOTATIONS)); } }
@Nonnull @Override public OWLObjectOneOf getOWLObjectOneOf( @Nonnull Set<? extends OWLIndividual> values) { checkNull(values, "values", true); return new OWLObjectOneOfImpl(values); }
@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 OWLObjectSomeValuesFromImpl(getProperty(), new OWLObjectOneOfImpl(getFiller())); } }
@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 OWLSubClassOfAxiom asOWLSubClassOfAxiom() { return new OWLSubClassOfAxiomImpl(new OWLObjectOneOfImpl( CollectionFactory.createSet(getIndividual())), getClassExpression(), NO_ANNOTATIONS); }
@Override public OWLSubClassOfAxiom asOWLSubClassOfAxiom() { return new OWLSubClassOfAxiomImpl(new OWLObjectOneOfImpl( Collections.singleton(getSubject())), new OWLObjectHasValueImpl( getProperty(), getObject()), NO_ANNOTATIONS); }
@Override public OWLSubClassOfAxiom asOWLSubClassOfAxiom() { return new OWLSubClassOfAxiomImpl(new OWLObjectOneOfImpl(getSubject()), 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( CollectionFactory.createSet(getSubject())), new OWLObjectHasValueImpl(getProperty(), getObject()), NO_ANNOTATIONS); }
@Override public OWLSubClassOfAxiom asOWLSubClassOfAxiom() { return new OWLSubClassOfAxiomImpl(new OWLObjectOneOfImpl( Collections.singleton(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 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( CollectionFactory.createSet(getSubject())), new OWLObjectComplementOfImpl(new OWLObjectHasValueImpl( getProperty(), getObject())), NO_ANNOTATIONS); }