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