public interface IndividualAssertionProvider extends LiteralProvider
getOWLLiteral, getOWLLiteral, getOWLLiteral, getOWLLiteral, getOWLLiteral, getOWLLiteral, getOWLLiteral, getOWLLiteral
getOWLDatatype, getOWLDatatype, getOWLDatatype, getOWLDatatype, getOWLDatatype
default OWLSameIndividualAxiom getOWLSameIndividualAxiom(Collection<? extends OWLIndividual> individuals)
individuals
- Cannot be null or contain nulls.default OWLSameIndividualAxiom getOWLSameIndividualAxiom(OWLIndividual... individual)
individual
- individualOWLSameIndividualAxiom getOWLSameIndividualAxiom(Collection<? extends OWLIndividual> individuals, Collection<OWLAnnotation> annotations)
individuals
- Cannot be null or contain nulls.annotations
- A set of annotations. Cannot be null or contain nulls.default OWLSameIndividualAxiom getOWLSameIndividualAxiom(OWLIndividual i, OWLIndividual j, Collection<OWLAnnotation> annotations)
i
- same individualj
- same individualannotations
- A set of annotations. Cannot be null or contain nulls.default OWLDifferentIndividualsAxiom getOWLDifferentIndividualsAxiom(Collection<? extends OWLIndividual> individuals)
individuals
- Cannot be null or contain nulls.default OWLDifferentIndividualsAxiom getOWLDifferentIndividualsAxiom(OWLIndividual... individuals)
individuals
- Cannot be null or contain nulls.OWLDifferentIndividualsAxiom getOWLDifferentIndividualsAxiom(Collection<? extends OWLIndividual> individuals, Collection<OWLAnnotation> annotations)
individuals
- Cannot be null or contain nulls.annotations
- A set of annotations. Cannot be null or contain nulls.default OWLDifferentIndividualsAxiom getOWLDifferentIndividualsAxiom(OWLIndividual i, OWLIndividual j, Collection<OWLAnnotation> annotations)
i
- different individualj
- different individualannotations
- A set of annotations. Cannot be null or contain nulls.Copyright © 2020 The University of Manchester. All rights reserved.