public class AllDifferentImpl extends OntResourceImpl implements AllDifferent
Implementation of the abstraction of axioms that denote the single name assumption.
| Modifier and Type | Field and Description |
|---|---|
static Implementation |
factory
A factory for generating AllDifferent facets from nodes in enhanced graphs.
|
KNOWN_LANGUAGESrdfNodeFactory| Constructor and Description |
|---|
AllDifferentImpl(Node n,
EnhGraph g)
Construct an all different axiom represented by the given node in the given graph.
|
| 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, setVersionInfoabort, addLiteral, addLiteral, addLiteral, addLiteral, addLiteral, addLiteral, addLiteral, addProperty, addProperty, addProperty, addProperty, addProperty, addProperty, addProperty, asLiteral, asResource, begin, commit, getId, getLocalName, getModel, getNameSpace, getProperty, getProperty, getPropertyResourceValue, getRequiredProperty, getRequiredProperty, getStmtTerm, getURI, hasLiteral, hasLiteral, hasLiteral, hasLiteral, hasLiteral, hasLiteral, hasProperty, hasProperty, hasProperty, hasProperty, hasURI, inModel, listProperties, listProperties, listProperties, removeAll, removeProperties, toString, visitWithas, asNode, canAs, equals, getGraph, hashCode, isAnon, isLiteral, isResource, isStmtResource, isURIResource, isValid, viewAsaddView, supportsaddComment, 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, setVersionInfoabort, addLiteral, addLiteral, addLiteral, addLiteral, addLiteral, addLiteral, addLiteral, addProperty, addProperty, addProperty, addProperty, begin, commit, equals, getId, getLocalName, getNameSpace, getProperty, getProperty, getPropertyResourceValue, getRequiredProperty, getRequiredProperty, getStmtTerm, getURI, hasLiteral, hasLiteral, hasLiteral, hasLiteral, hasLiteral, hasLiteral, hasProperty, hasProperty, hasProperty, hasProperty, hasURI, inModel, listProperties, listProperties, listProperties, removeAll, removeProperties, toStringas, asLiteral, asResource, canAs, getModel, isAnon, isLiteral, isResource, isStmtResource, isURIResource, visitWithasNodepublic static Implementation factory
as() instead.public 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.
setDistinctMembers in interface AllDifferentmembers - 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.public void addDistinctMember(Resource res)
Add the given individual to the list of distinct members of this AllDifferent declaration.
addDistinctMember in interface AllDifferentres - 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.public void addDistinctMembers(Iterator<? extends Resource> individuals)
Add the given individuals to the list of distinct members of this AllDifferent declaration.
addDistinctMembers in interface AllDifferentindividuals - An iterator over the distinct invididuals that will be addedProfileException - If the Profile.DISTINCT_MEMBERS() property is not supported in the current language profile.public RDFList getDistinctMembers()
Answer the list of distinct members for this AllDifferent declaration.
getDistinctMembers in interface AllDifferentProfileException - If the Profile.DISTINCT_MEMBERS() property is not supported in the current language profile.public 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.
listDistinctMembers in interface AllDifferentProfileException - If the Profile.DISTINCT_MEMBERS() property is not supported in the current language profile.public boolean hasDistinctMember(Resource res)
Answer true if this AllDifferent declaration includes res as one of the distinct individuals.
hasDistinctMember in interface AllDifferentres - 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.public 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.
removeDistinctMember in interface AllDifferentres - A resource that is no longer distinct from the other listed individualsLicenced under the Apache License, Version 2.0