O
- the type of ontology in which the axioms for classes will be applied.J
- the type of the described individual.
(it also represents the type of Semantic.Axioms
managed by this Semantic.Descriptor
.D
- the type of the Individual
descriptors instantiated during
buildDisjointIndividual()
through getNewDisjointIndividual(Object, Object)
.public static interface Individual.Disjoint<O,J,D extends Individual<O,J>> extends Individual<O,J>
Semantic.Descriptor
for individuals that are different from the one described.
This Semantic.Descriptor
synchronises the different individuals from the described one
(i.e.: the Semantic.Ground.getGroundInstance()
).
Individual.DataLink<O,J,Y extends Semantic.SemanticAxiom<S,?>,S,D extends DataProperty<O,S>>, Individual.Disjoint<O,J,D extends Individual<O,J>>, Individual.Equivalent<O,J,D extends Individual<O,J>>, Individual.ObjectLink<O,J,Y extends Semantic.SemanticAxiom<S,?>,S,D extends ObjectProperty<O,S>>, Individual.Type<O,J,Y,D extends Concept<O,Y>>
Semantic.Axioms<Y>, Semantic.Descriptor<O,J>, Semantic.Ground<O,J>, Semantic.MappingIntent<I extends Semantic.Ground,C>, Semantic.SemanticAxiom<S,Y>, Semantic.SemanticAxioms<F extends Semantic.SemanticAxiom<?,Y>,Y>
Modifier and Type | Method and Description |
---|---|
default java.util.Set<D> |
buildDisjointIndividual()
Create an
Semantic.Descriptor set where each element
represents the different individuals from this description. |
Semantic.Axioms<J> |
getDisjointIndividual()
Returns the
Semantic.Axioms that describes all the different individual from
this Individual ; from a no OOP point of view. |
D |
getNewDisjointIndividual(J instance,
O ontology)
This method is called by
buildDisjointIndividual() and
its purpose is to instantiate a new Individual to represent
an equivalent individual from this Individual Semantic.Descriptor . |
Semantic.Axioms<J> |
queryDisjointIndividual()
Queries to the OWL representation for the different individuals from
this Semantic.Descriptor . |
default java.util.List<Semantic.MappingIntent> |
readSemantic()
This method is used to synchronise specific
Semantic.Axioms (or Semantic.SemanticAxioms )
from the ontology. |
default Semantic.Axioms.SynchronisationIntent<J> |
synchroniseDisjointIndividualFromSemantic()
It calls
Semantic.Axioms.synchroniseFrom(Axioms) with queryDisjointIndividual()
as input parameter. |
default Semantic.Axioms.SynchronisationIntent<J> |
synchroniseDisjointIndividualToSemantic()
It calls
Semantic.Axioms.synchroniseTo(Axioms) with queryDisjointIndividual()
as input parameter. |
getChangingIntent, getGround, getInstance, getIntent, getOntology, groundReason, writeSemantic, writeSemanticInconsistencySafe, writeSemanticInconsistencySafe
default java.util.List<Semantic.MappingIntent> readSemantic()
Semantic.Descriptor
Semantic.Axioms
(or Semantic.SemanticAxioms
)
from the ontology. It manipulates the OWLLOOP representation to be
equal to the queried OWL structure. It is based on Axioms#synchroniseFrom(Axioms)
.readSemantic
in interface Semantic.Descriptor<O,J>
Semantic.Axioms
during the reading.
Those objects may not have the Semantic.MappingIntent.getOntologyChanges()
field
initialised (i.e.: Void
).default java.util.Set<D> buildDisjointIndividual()
Semantic.Descriptor
set where each element
represents the different individuals from this
description.
Each of Individual
s are instantiated
through the method getNewDisjointIndividual(Object, Object)
;
this is called for all getDisjointIndividual()
.Individual
s that describes the
entities that are different from this
described ontological individual.D getNewDisjointIndividual(J instance, O ontology)
buildDisjointIndividual()
and
its purpose is to instantiate a new Individual
to represent
an equivalent individual from this
Individual
Semantic.Descriptor
.instance
- the instance to ground the new Individual
.ontology
- the ontology in which ground the new Individual
.Semantic.Descriptor
for all the individuals
that are equivalent from the one described by this
interface.Semantic.Axioms<J> getDisjointIndividual()
Semantic.Axioms
that describes all the different individual from
this
Individual
; from a no OOP point of view.this
individual.Semantic.Axioms<J> queryDisjointIndividual()
this
Semantic.Descriptor
.Semantic.Axioms
contained the individuals different from Semantic.Descriptor.getInstance()
;
into the OWL structure.default Semantic.Axioms.SynchronisationIntent<J> synchroniseDisjointIndividualToSemantic()
Semantic.Axioms.synchroniseTo(Axioms)
with queryDisjointIndividual()
as input parameter. This computes the changes to be performed in the OWL representation
for synchronise it with respect to getDisjointIndividual()
. This should
be done by Semantic.Descriptor.writeSemantic()
.this
structure with
the different individuals from Semantic.Descriptor.getInstance()
; to the OWL representation.default Semantic.Axioms.SynchronisationIntent<J> synchroniseDisjointIndividualFromSemantic()
Semantic.Axioms.synchroniseFrom(Axioms)
with queryDisjointIndividual()
as input parameter. This computes the changes to be performed into the getDisjointIndividual()
in order to synchronise it with respect to an OWL representation. This is
be done by readSemantic()
.Semantic.Descriptor.getInstance()
;
from an OWL representation to this
Semantic.Descriptor
.