@Override @SuppressWarnings("unchecked") public <T extends OWLAxiom> T getAnnotatedAxiom(Stream<OWLAnnotation> anns) { return (T) new OWLSubClassOfAxiomImpl(subClass, superClass, mergeAnnos(anns)); }
@Override @SuppressWarnings("unchecked") public OWLSubClassOfAxiom getAxiomWithoutAnnotations() { if (!isAnnotated()) { return this; } return new OWLSubClassOfAxiomImpl(subClass, superClass, NO_ANNOTATIONS); }
@Override public Collection<OWLSubClassOfAxiom> asOWLSubClassOfAxioms() { return walkAllPairwise((a, b) -> new OWLSubClassOfAxiomImpl(a, b, NO_ANNOTATIONS)); } }
@Override public Collection<OWLSubClassOfAxiom> asOWLSubClassOfAxioms() { return walkAllPairwise((a, b) -> new OWLSubClassOfAxiomImpl(a, b, NO_ANNOTATIONS)); } }
@Override public Collection<OWLSubClassOfAxiom> asOWLSubClassOfAxioms() { return walkAllPairwise( (a, b) -> new OWLSubClassOfAxiomImpl(a, b.getObjectComplementOf(), 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(OWL_THING, new OWLObjectHasSelfImpl(getProperty()), NO_ANNOTATIONS); }
@Override public OWLSubClassOfAxiom asOWLSubClassOfAxiom() { return new OWLSubClassOfAxiomImpl(OWL_THING, new OWLObjectHasSelfImpl(getProperty()), NO_ANNOTATIONS); }
@Override public OWLSubClassOfAxiom asOWLSubClassOfAxiom() { return new OWLSubClassOfAxiomImpl(new OWLObjectOneOfImpl(getIndividual()), getClassExpression(), NO_ANNOTATIONS); } }
@Override public OWLSubClassOfAxiom asOWLSubClassOfAxiom() { return new OWLSubClassOfAxiomImpl(new OWLObjectOneOfImpl(getIndividual()), getClassExpression(), NO_ANNOTATIONS); } }
@Override public OWLSubClassOfAxiom asOWLSubClassOfAxiom() { return new OWLSubClassOfAxiomImpl(OWL_THING, new OWLObjectMaxCardinalityImpl( getProperty().getInverseProperty().getSimplified(), 1, OWL_THING), 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(OWL_THING, new OWLObjectComplementOfImpl(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(OWL_THING, new OWLObjectComplementOfImpl(new OWLObjectHasSelfImpl(getProperty())), 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(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); }