O
- the type of ontology in which the axioms for classes will be applied.J
- the type of the described individual.Y
- the type of classes describing the individual
(it represents the type of Semantic.Axioms
managed by this Semantic.Descriptor
.D
- the type of the Concept
descriptors instantiated during
buildTypeIndividual()
through getNewTypeIndividual(Object, Object)
.public static interface Individual.Type<O,J,Y,D extends Concept<O,Y>> extends Individual<O,J>
Semantic.Descriptor
for classes (e.g.: types) that describes an ontological individual.
This Semantic.Descriptor
synchronises the types in which the specific individual
(i.e.: the Semantic.Ground.getGroundInstance()
) is classified.
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> |
buildTypeIndividual()
Create an
Semantic.Descriptor set where each element
represents the classes in which this individual is belonging to. |
D |
getNewTypeIndividual(Y instance,
O ontology)
This method is called by
buildTypeIndividual() and
its purpose is to instantiate a new Concept to represent
the types of this Individual Semantic.Descriptor . |
Semantic.Axioms<Y> |
getTypeIndividual()
Returns the
Semantic.Axioms that describes all the classes in which
this Individual is belonging to, from a no OOP point of view. |
Semantic.Axioms<Y> |
queryTypeIndividual()
Queries to the OWL representation for the types of
this individual. |
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<Y> |
synchroniseTypeIndividualFromSemantic()
It calls
Semantic.Axioms.synchroniseFrom(Axioms) with queryTypeIndividual()
as input parameter. |
default Semantic.Axioms.SynchronisationIntent<Y> |
synchroniseTypeIndividualToSemantic()
It calls
Semantic.Axioms.synchroniseTo(Axioms) with queryTypeIndividual()
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> buildTypeIndividual()
Semantic.Descriptor
set where each element
represents the classes in which this
individual is belonging to.
Each of Concept
s are instantiated
through the method getNewTypeIndividual(Object, Object)
;
this is called for all getTypeIndividual()
.Concept
s that describes the
entities in which this
described ontological individual
is belonging to.D getNewTypeIndividual(Y instance, O ontology)
buildTypeIndividual()
and
its purpose is to instantiate a new Concept
to represent
the types of this
Individual
Semantic.Descriptor
.instance
- the instance to ground the new Concept
.ontology
- the ontology in which ground the new Concept
.Semantic.Descriptor
for all the classes
in which this
individual is belonging to.Semantic.Axioms<Y> getTypeIndividual()
Semantic.Axioms
that describes all the classes in which
this
Individual
is belonging to, from a no OOP point of view.this
individual.Semantic.Axioms<Y> queryTypeIndividual()
this
individual.Semantic.Axioms
contained the classes in which Semantic.Descriptor.getInstance()
is belonging to, into the OWL structure.default Semantic.Axioms.SynchronisationIntent<Y> synchroniseTypeIndividualToSemantic()
Semantic.Axioms.synchroniseTo(Axioms)
with queryTypeIndividual()
as input parameter. This computes the changes to be performed in the OWL representation
for synchronise it with respect to getTypeIndividual()
. This should
be done by Semantic.Descriptor.writeSemantic()
.this
structure with
the classes in which Semantic.Descriptor.getInstance()
is belonging to, in the OWL representation.default Semantic.Axioms.SynchronisationIntent<Y> synchroniseTypeIndividualFromSemantic()
Semantic.Axioms.synchroniseFrom(Axioms)
with queryTypeIndividual()
as input parameter. This computes the changes to be performed into the getTypeIndividual()
in order to synchronise it with respect to an OWL representation. This is
be done by readSemantic()
.Semantic.Descriptor.getInstance()
individual is belonging to, from an OWL representation to this
descriptor.