O
- the type of ontology in which the axioms will be applied.J
- the type of instance (i.e.: subject) for the axioms.public static interface Semantic.Ground<O,J> extends Semantic
Semantic.Axioms
through a specific Semantic.Descriptor
.
It describes the ontology
in which all axioms of a specific Semantic.Axioms
will be applied from a Semantic.Descriptor
to an instance
(i.e.: the subject of the axioms).
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 |
---|---|
Semantic.Ground<O,J> |
copyGround()
Make a new copyGround of this object.
|
J |
getGroundInstance()
Describes the instances in which a
Semantic.Descriptor
will apply its synchronisations. |
O |
getGroundOntology()
Describes the ontology in which a
Semantic.Descriptor will
apply its synchronisations. |
void |
reason()
Perform reasoning among all the ontology described by
this object. |
O getGroundOntology()
Semantic.Descriptor
will
apply its synchronisations.Semantic.Axioms
.J getGroundInstance()
Semantic.Descriptor
will apply its synchronisations.Semantic.Axioms
.void reason()
this
object.Semantic.Ground<O,J> copyGround()
Semantic.MappingIntent
independent
for the evolution of the system.
This method should call a specific copyGround constructor.