O
- is the ontology.J
- is the ground.public static interface Axiom.Ground<O,J> extends Axiom
Axiom.Descriptor<O,J>, Axiom.EntitySet<Y>, Axiom.ExpressionEntity<S,Y>, Axiom.ExpressionEntitySet<F extends Axiom.ExpressionEntity<?,Y>,Y>, Axiom.Ground<O,J>, Axiom.MappingIntent<I extends Axiom.Ground,C>
Modifier and Type | Method and Description |
---|---|
Axiom.Ground<O,J> |
copyGround()
Make a copy of the
Axiom.Ground object. |
J |
getGroundInstance() |
O |
getGroundOntology() |
void |
reason()
Perform reasoning in the ontology described by
Axiom.Ground object. |
O getGroundOntology()
Axiom.Descriptor
synchronizes its internal state.J getGroundInstance()
void reason()
Axiom.Ground
object.Axiom.Ground<O,J> copyGround()
Axiom.Ground
object.
Used to make each Axiom.MappingIntent
independent
for the evolution of the system.
This method should call a specific copyGround constructor.