O
- the type of ontology in which the axioms for classes will be applied.J
- the type of the described class.
(it represents also the of Semantic.Axioms
managed by this Semantic.Descriptor
.D
- the type of the Concept
descriptor instantiated during
buildSuperConcept()
through getNewSuperConcept(Object, Object)
.public static interface Concept.Super<O,J,D extends Concept<O,J>> extends Concept<O,J>
Semantic.Descriptor
for super classes of an ontological class.
This Semantic.Descriptor
synchronises the super classes of 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> |
buildSuperConcept()
Create an
Semantic.Descriptor set where each element
represents the super classes of this Concept . |
D |
getNewSuperConcept(J instance,
O ontology)
This method is called by
buildSuperConcept() and
its purpose is to instantiate a new Concept to represent
an super class of this Concept Semantic.Descriptor . |
Semantic.Axioms<J> |
getSuperConcept()
Returns the
Semantic.Axioms that describes all the super classes of
this Concept from a no OOP point of view. |
Semantic.Axioms<J> |
querySuperConcept()
Queries to the OWL representation for the super classes of
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<J> |
synchroniseSuperConceptFromSemantic()
It calls
Semantic.Axioms.synchroniseFrom(Axioms) with querySuperConcept()
as input parameter. |
default Semantic.Axioms.SynchronisationIntent<J> |
synchroniseSuperConceptToSemantic()
It calls
Semantic.Axioms.synchroniseTo(Axioms) with querySuperConcept()
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> buildSuperConcept()
Semantic.Descriptor
set where each element
represents the super classes of this Concept
.
Each of those Concept
s are instantiated
through the method getNewSuperConcept(Object, Object)
;
this is called for all getSuperConcept()
.Concept
s that describes the
super entities of this
described ontological class.D getNewSuperConcept(J instance, O ontology)
buildSuperConcept()
and
its purpose is to instantiate a new Concept
to represent
an super class of this
Concept
Semantic.Descriptor
.instance
- the instance to ground the new Concept
.ontology
- the ontology in which ground the new Concept
.Semantic.Descriptor
for all the super classes
of this
descriptor.Semantic.Axioms<J> getSuperConcept()
Semantic.Axioms
that describes all the super classes of
this
Concept
from a no OOP point of view.this
class.Semantic.Axioms<J> querySuperConcept()
this
class.Semantic.Axioms
contained the super classes to
the OWL structure of Semantic.Descriptor.getInstance()
.default Semantic.Axioms.SynchronisationIntent<J> synchroniseSuperConceptToSemantic()
Semantic.Axioms.synchroniseTo(Axioms)
with querySuperConcept()
as input parameter. This computes the changes to be performed in the OWL representation
for synchronise it with respect to getSuperConcept()
. This should
be done by Semantic.Descriptor.writeSemantic()
.this
structure with
the super classes of an OWL class.default Semantic.Axioms.SynchronisationIntent<J> synchroniseSuperConceptFromSemantic()
Semantic.Axioms.synchroniseFrom(Axioms)
with querySuperConcept()
as input parameter. This computes the changes to be performed into the getSuperConcept()
in order to synchronise it with respect to an OWL representation. This is
be done by readSemantic()
.this
structure.