D
- the type of the IndividualExpression
descriptors instantiated during
Individual.Equivalent.buildEquivalentIndividuals()
through Individual.Equivalent.getNewEquivalentIndividual(Object, Object)
.public static interface IndividualExpression.Equivalent<D extends IndividualExpression> extends Individual.Equivalent<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLNamedIndividual,D>, IndividualExpression
Individual.Equivalent
expression for a Descriptor
whose ground is OWLNamedIndividual
.
It specifies how to queryEquivalentIndividuals()
and writeAxioms()
for the
individuals equivalent to the ground Individual (Axiom.Descriptor.getInstance()
).
IndividualExpression.DataLink<D extends DataPropertyExpression>, IndividualExpression.Disjoint<D extends IndividualExpression>, IndividualExpression.Equivalent<D extends IndividualExpression>, IndividualExpression.ObjectLink<D extends ObjectPropertyExpression>, IndividualExpression.Type<D extends ClassExpression>
Axiom.Descriptor.OntologyReference
DescriptorGroundInterface.ConceptGroundInstance, DescriptorGroundInterface.DataGroundInstance, DescriptorGroundInterface.GroundInstance<J extends org.semanticweb.owlapi.model.OWLObject>, DescriptorGroundInterface.IndividualGroundInstance, DescriptorGroundInterface.ObjectGroundInstance
Axiom.Descriptor<O,J>, Axiom.EntitySet<Y>, Axiom.ExpressionEntity<S,Y>, Axiom.ExpressionEntitySet<F extends Axiom.ExpressionEntity<?,Y>,Y>, Axiom.Ground<O,J>, Axiom.MappingIntent<I extends Axiom.Ground,C>
Modifier and Type | Method and Description |
---|---|
default boolean |
addEquivalentIndividual(org.semanticweb.owlapi.model.OWLNamedIndividual individual)
It is an helper that just calls:
{@link #getEquivalentIndividuals()}.add( individualDescriptor)
in order to add a new individualDescriptor in the EntitySet list. |
default boolean |
addEquivalentIndividual(java.lang.String individualName)
It is an helper that just calls:
{@link #getEquivalentIndividuals()}.add( {@link #getOntologyReference()}.getOWLIndividual( individualName))
in order to add a new individualDescriptor (given by name) in the EntitySet list. |
Individuals |
getEquivalentIndividuals()
Returns the
EntitySet that describes all the equivalent individualDescriptor from
this Individual ; from a no OOP point of view. |
default Individuals |
queryEquivalentIndividuals()
Queries to the OWL representation for the equivalent individuals of
this Descriptor . |
default boolean |
removeEquivalentIndividual(org.semanticweb.owlapi.model.OWLNamedIndividual individual)
It is an helper that just calls:
{@link #getEquivalentIndividuals()}.remove( individualDescriptor)
in order to remove a class in the EntitySet list. |
default boolean |
removeEquivalentIndividual(java.lang.String individualName)
It is an helper that just calls:
{@link #getEquivalentIndividuals()}.remove( {@link #getOntologyReference()}.getOWLIndividual( individualName))
in order to remove an individualDescriptor (given by name) from the EntitySet list. |
default java.util.List<Axiom.MappingIntent> |
writeAxioms()
This method is used to update the ontology with a specific
Axiom.EntitySet (or Axiom.ExpressionEntitySet )
by synchronizing the OWL representation with the internal state of the descriptor, such that they are equal. |
buildEquivalentIndividuals, getNewEquivalentIndividual, readAxioms, synchroniseEquivalentIndividualsFromExpressionAxioms, synchroniseEquivalentIndividualsToExpressionAxioms
getGroundInstance, getGroundOntology
activateAMORlogging, getChangingIntent, getGround, getGroundInstanceName, getInstance, getIntent, getOntologyReference, groundReason, writeAxiomsReasonReadAxioms, writeAxiomsReasonReadAxioms
getOntologyName, getOWLClass, getOWLDataFactory, getOWLDataProperty, getOWLDataType, getOWLIndividual, getOWLLiteral, getOWLName, getOWLName, getOWLObjectProperty, getOWLOntology, getOWLReasoner, isCompleteQuery, isReasonedQuery, reason, saveOntology, saveOntology, setCompleteQuery, setReasonedQuery
copyGround
default boolean addEquivalentIndividual(java.lang.String individualName)
{@link #getEquivalentIndividuals()}.add( {@link #getOntologyReference()}.getOWLIndividual( individualName))
in order to add a new individualDescriptor (given by name) in the EntitySet
list.individualName
- the individualDescriptor name to add for synchronisation.true
if the axioms changed as a result of the call.default boolean addEquivalentIndividual(org.semanticweb.owlapi.model.OWLNamedIndividual individual)
{@link #getEquivalentIndividuals()}.add( individualDescriptor)
in order to add a new individualDescriptor in the EntitySet
list.individual
- the individualDescriptor to add for synchronisation.true
if the axioms changed as a result of the call.default boolean removeEquivalentIndividual(java.lang.String individualName)
{@link #getEquivalentIndividuals()}.remove( {@link #getOntologyReference()}.getOWLIndividual( individualName))
in order to remove an individualDescriptor (given by name) from the EntitySet
list.individualName
- the individualDescriptor name to remove for synchronisation.true
if an element was removed as a result of this call.default boolean removeEquivalentIndividual(org.semanticweb.owlapi.model.OWLNamedIndividual individual)
{@link #getEquivalentIndividuals()}.remove( individualDescriptor)
in order to remove a class in the EntitySet
list.individual
- the individualDescriptor to remove for synchronisation.true
if an element was removed as a result of this call.Individuals getEquivalentIndividuals()
Individual.Equivalent
EntitySet
that describes all the equivalent individualDescriptor from
this
Individual
; from a no OOP point of view.getEquivalentIndividuals
in interface Individual.Equivalent<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLNamedIndividual,D extends IndividualExpression>
this
individualDescriptor.default Individuals queryEquivalentIndividuals()
Individual.Equivalent
this
Descriptor
.queryEquivalentIndividuals
in interface Individual.Equivalent<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLNamedIndividual,D extends IndividualExpression>
EntitySet
contained the individuals equivalent from Axiom.Descriptor.getInstance()
;
into the OWL structure.default java.util.List<Axiom.MappingIntent> writeAxioms()
Axiom.Descriptor
Axiom.EntitySet
(or Axiom.ExpressionEntitySet
)
by synchronizing the OWL representation with the internal state of the descriptor, such that they are equal.
It is based on EntitySet#synchroniseTo(EntitySet)
.writeAxioms
in interface Axiom.Descriptor<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLNamedIndividual>
Axiom.MappingIntent.getOntologyChanges()
field
initialised (i.e.: OWLOntologyChange
).