org.semanticweb.owlapi.model.providers

Interface IndividualAssertionProvider

All Superinterfaces:

DatatypeProvider, LiteralProvider, Serializable

All Known Subinterfaces:

OWLDataFactory

All Known Implementing Classes:

OWLDataFactoryImpl

public interface IndividualAssertionProvider
extends LiteralProvider

Individual (sameAs and differentFrom) assertion provider.

Method Summary

Modifier and Type	Method and Description
default OWLDifferentIndividualsAxiom	getOWLDifferentIndividualsAxiom(Collection<? extends OWLIndividual> individuals)
OWLDifferentIndividualsAxiom	getOWLDifferentIndividualsAxiom(Collection<? extends OWLIndividual> individuals, Collection<OWLAnnotation> annotations)
default OWLDifferentIndividualsAxiom	getOWLDifferentIndividualsAxiom(OWLIndividual... individuals)
default OWLDifferentIndividualsAxiom	getOWLDifferentIndividualsAxiom(OWLIndividual i, OWLIndividual j, Collection<OWLAnnotation> annotations)
default OWLSameIndividualAxiom	getOWLSameIndividualAxiom(Collection<? extends OWLIndividual> individuals)
OWLSameIndividualAxiom	getOWLSameIndividualAxiom(Collection<? extends OWLIndividual> individuals, Collection<OWLAnnotation> annotations)
default OWLSameIndividualAxiom	getOWLSameIndividualAxiom(OWLIndividual... individual)
default OWLSameIndividualAxiom	getOWLSameIndividualAxiom(OWLIndividual i, OWLIndividual j, Collection<OWLAnnotation> annotations)

Methods inherited from interface org.semanticweb.owlapi.model.providers.LiteralProvider

getOWLLiteral, getOWLLiteral, getOWLLiteral, getOWLLiteral, getOWLLiteral, getOWLLiteral, getOWLLiteral, getOWLLiteral

Methods inherited from interface org.semanticweb.owlapi.model.providers.DatatypeProvider

getOWLDatatype, getOWLDatatype, getOWLDatatype, getOWLDatatype, getOWLDatatype

Method Detail

getOWLSameIndividualAxiom

default OWLSameIndividualAxiom getOWLSameIndividualAxiom(Collection<? extends OWLIndividual> individuals)

Parameters:

individuals - Cannot be null or contain nulls.

Returns:

a same individuals axiom with specified individuals

getOWLSameIndividualAxiom

default OWLSameIndividualAxiom getOWLSameIndividualAxiom(OWLIndividual... individual)

Parameters:

individual - individual

Returns:

a same individuals axiom with specified individuals

getOWLSameIndividualAxiom

OWLSameIndividualAxiom getOWLSameIndividualAxiom(Collection<? extends OWLIndividual> individuals,
                                                 Collection<OWLAnnotation> annotations)

Parameters:

individuals - Cannot be null or contain nulls.

annotations - A set of annotations. Cannot be null or contain nulls.

Returns:

a same individuals axiom with specified individuals and annotations

getOWLSameIndividualAxiom

default OWLSameIndividualAxiom getOWLSameIndividualAxiom(OWLIndividual i,
                                                         OWLIndividual j,
                                                         Collection<OWLAnnotation> annotations)

Parameters:

i - same individual

j - same individual

annotations - A set of annotations. Cannot be null or contain nulls.

Returns:

a same individuals axiom with specified individuals and annotations

getOWLDifferentIndividualsAxiom

default OWLDifferentIndividualsAxiom getOWLDifferentIndividualsAxiom(Collection<? extends OWLIndividual> individuals)

Parameters:

individuals - Cannot be null or contain nulls.

Returns:

a different individuals axiom with specified individuals

getOWLDifferentIndividualsAxiom

default OWLDifferentIndividualsAxiom getOWLDifferentIndividualsAxiom(OWLIndividual... individuals)

Parameters:

individuals - Cannot be null or contain nulls.

Returns:

a different individuals axiom with specified individuals

getOWLDifferentIndividualsAxiom

OWLDifferentIndividualsAxiom getOWLDifferentIndividualsAxiom(Collection<? extends OWLIndividual> individuals,
                                                             Collection<OWLAnnotation> annotations)

Parameters:

individuals - Cannot be null or contain nulls.

annotations - A set of annotations. Cannot be null or contain nulls.

Returns:

a different individuals axiom with specified individuals and annotations

getOWLDifferentIndividualsAxiom

default OWLDifferentIndividualsAxiom getOWLDifferentIndividualsAxiom(OWLIndividual i,
                                                                     OWLIndividual j,
                                                                     Collection<OWLAnnotation> annotations)

Parameters:

i - different individual

j - different individual

annotations - A set of annotations. Cannot be null or contain nulls.

Returns:

a different individuals axiom with specified individuals and annotations