D
- the type of the IndividualExpression
descriptors instantiated during
Individual.Disjoint.buildDisjointIndividuals()
through Individual.Disjoint.getNewDisjointIndividual(Object, Object)
.public static interface IndividualExpression.Disjoint<D extends IndividualExpression> extends Individual.Disjoint<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLNamedIndividual,D>, IndividualExpression
Individual.Disjoint
expression for a Descriptor
whose ground is OWLNamedIndividual
.
It specifies how to queryDisjointIndividuals()
and writeAxioms()
for the
individuals disjoint with 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 |
addDisjointIndividual(org.semanticweb.owlapi.model.OWLNamedIndividual individual)
It is an helper that just calls:
{@link #getDisjointIndividuals()}.add( individualDescriptor)
in order to add a new individualDescriptor in the EntitySet list. |
default boolean |
addDisjointIndividual(java.lang.String individualName)
It is an helper that just calls:
{@link #getDisjointIndividuals()}.add( {@link #getOntologyReference()}.getOWLIndividual( individualName))
in order to add a new individualDescriptor (given by name) in the EntitySet list. |
Individuals |
getDisjointIndividuals()
Returns the
EntitySet that describes all the different individualDescriptor from
this Individual ; from a no OOP point of view. |
default Individuals |
queryDisjointIndividuals()
Queries to the OWL representation for the different individuals from
this Descriptor . |
default boolean |
removeDisjointIndividual(org.semanticweb.owlapi.model.OWLNamedIndividual individual)
It is an helper that just calls:
{@link #getDisjointIndividuals()}.remove( dataProperty)
in order to remove a class in the EntitySet list. |
default boolean |
removeDisjointIndividual(java.lang.String individualName)
It is an helper that just calls:
{@link #getDisjointIndividuals()}.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. |
buildDisjointIndividuals, getNewDisjointIndividual, readAxioms, synchroniseDisjointIndividualsFromExpressionAxioms, synchroniseDisjointIndividualsToExpressionAxioms
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 addDisjointIndividual(java.lang.String individualName)
{@link #getDisjointIndividuals()}.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 addDisjointIndividual(org.semanticweb.owlapi.model.OWLNamedIndividual individual)
{@link #getDisjointIndividuals()}.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 removeDisjointIndividual(java.lang.String individualName)
{@link #getDisjointIndividuals()}.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 removeDisjointIndividual(org.semanticweb.owlapi.model.OWLNamedIndividual individual)
{@link #getDisjointIndividuals()}.remove( dataProperty)
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 getDisjointIndividuals()
Individual.Disjoint
EntitySet
that describes all the different individualDescriptor from
this
Individual
; from a no OOP point of view.getDisjointIndividuals
in interface Individual.Disjoint<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLNamedIndividual,D extends IndividualExpression>
this
individualDescriptor.default Individuals queryDisjointIndividuals()
Individual.Disjoint
this
Descriptor
.queryDisjointIndividuals
in interface Individual.Disjoint<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLNamedIndividual,D extends IndividualExpression>
EntitySet
contained the individuals different 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
).