public interface AllDifferent extends OntResource
Interface defining an individual in which all members of a collection are
declared pair-wise disjoint. This allows ontologies that wish to support the
unique names assumption to add this condition in languages (like OWL) that
do not make the same assumption, with a minimum number of statements.
Instances of the all different axiom are expected to have a property
(e.g. owl:distinctMembers
defining the list of distinct
individuals in the ontology. For a given vocabulary, this will be defined by
the distinctMembers entry.
asAnnotationProperty, asDatatypeProperty, asObjectProperty, asProperty, isAnnotationProperty, isDatatypeProperty, isObjectProperty, isProperty
Modifier and Type | Method and Description |
---|---|
void |
addDistinctMember(Resource res)
Add the given individual to the list of distinct members of this AllDifferent declaration.
|
void |
addDistinctMembers(Iterator<? extends Resource> individuals)
Add the given individuals to the list of distinct members of this AllDifferent declaration.
|
RDFList |
getDistinctMembers()
Answer the list of distinct members for this AllDifferent declaration.
|
boolean |
hasDistinctMember(Resource res)
Answer true if this AllDifferent declaration includes
res as one of the distinct individuals. |
ExtendedIterator<? extends OntResource> |
listDistinctMembers()
Answer an iterator over all of the individuals that are declared to be distinct by
this AllDifferent declaration.
|
void |
removeDistinctMember(Resource res)
Remove the given resource from the list of distinct individuals.
|
void |
setDistinctMembers(RDFList members)
Assert that the list of distinct individuals in this AllDifferent declaration
is the given list.
|
addComment, addComment, addDifferentFrom, addIsDefinedBy, addLabel, addLabel, addRDFType, addSameAs, addSeeAlso, addVersionInfo, asAllDifferent, asAnnotationProperty, asClass, asDataRange, asDatatypeProperty, asIndividual, asObjectProperty, asOntology, asProperty, getCardinality, getComment, getDifferentFrom, getIsDefinedBy, getLabel, getOntModel, getProfile, getPropertyValue, getRDFType, getRDFType, getSameAs, getSeeAlso, getVersionInfo, hasComment, hasComment, hasLabel, hasLabel, hasRDFType, hasRDFType, hasRDFType, hasSeeAlso, hasVersionInfo, isAllDifferent, isAnnotationProperty, isClass, isDataRange, isDatatypeProperty, isDefinedBy, isDifferentFrom, isIndividual, isObjectProperty, isOntLanguageTerm, isOntology, isProperty, isSameAs, listComments, listDifferentFrom, listIsDefinedBy, listLabels, listPropertyValues, listRDFTypes, listSameAs, listSeeAlso, listVersionInfo, remove, removeComment, removeComment, removeDefinedBy, removeDifferentFrom, removeLabel, removeLabel, removeProperty, removeRDFType, removeSameAs, removeSeeAlso, removeVersionInfo, setComment, setDifferentFrom, setIsDefinedBy, setLabel, setPropertyValue, setRDFType, setSameAs, setSeeAlso, setVersionInfo
abort, addLiteral, addLiteral, addLiteral, addLiteral, addLiteral, addLiteral, addLiteral, addProperty, addProperty, addProperty, addProperty, begin, commit, equals, getId, getLocalName, getNameSpace, getProperty, getProperty, getPropertyResourceValue, getRequiredProperty, getRequiredProperty, getURI, hasLiteral, hasLiteral, hasLiteral, hasLiteral, hasLiteral, hasLiteral, hasProperty, hasProperty, hasProperty, hasProperty, hasURI, inModel, listProperties, listProperties, listProperties, removeAll, removeProperties, toString
as, asLiteral, asResource, canAs, getModel, isAnon, isLiteral, isResource, isURIResource, visitWith
asNode
void setDistinctMembers(RDFList members)
Assert that the list of distinct individuals in this AllDifferent declaration
is the given list. Any existing
statements for distinctMembers
will be removed.
members
- A list of the members that are declared to be distinct.ProfileException
- If the Profile.DISTINCT_MEMBERS()
property is not supported in the current language profile.void addDistinctMember(Resource res)
Add the given individual to the list of distinct members of this AllDifferent declaration.
res
- A resource that will be added to the list of all different members.ProfileException
- If the Profile.DISTINCT_MEMBERS()
property is not supported in the current language profile.void addDistinctMembers(Iterator<? extends Resource> individuals)
Add the given individuals to the list of distinct members of this AllDifferent declaration.
individuals
- An iterator over the distinct invididuals that will be addedProfileException
- If the Profile.DISTINCT_MEMBERS()
property is not supported in the current language profile.RDFList getDistinctMembers()
Answer the list of distinct members for this AllDifferent declaration.
ProfileException
- If the Profile.DISTINCT_MEMBERS()
property is not supported in the current language profile.ExtendedIterator<? extends OntResource> listDistinctMembers()
Answer an iterator over all of the individuals that are declared to be distinct by
this AllDifferent declaration. Each element of the iterator will be an OntResource
.
ProfileException
- If the Profile.DISTINCT_MEMBERS()
property is not supported in the current language profile.boolean hasDistinctMember(Resource res)
Answer true if this AllDifferent declaration includes res
as one of the distinct individuals.
res
- A resource to test againstres
is declared to be distinct from the other individuals in this declaration.ProfileException
- If the Profile.DISTINCT_MEMBERS()
property is not supported in the current language profile.void removeDistinctMember(Resource res)
Remove the given resource from the list of distinct individuals. If this statement is not true of the current model, nothing happens.
res
- A resource that is no longer distinct from the other listed individualsLicenced under the Apache License, Version 2.0