O
- the ontology in which the axioms will be applied.J
- the Axiom.Ground
for this descriptor.public static interface Axiom.Descriptor<O,J> extends Axiom
Axiom.Descriptor
deals with axioms by having the structure [Ground,Expression,EntitySet].
It enables reading-from and writing-to an ontology, specific Axiom.EntitySet
or Axiom.ExpressionEntitySet
.
A Axiom.Descriptor
is in charge of maintaining its Axiom.EntitySet
and Axiom.ExpressionEntitySet
synchronised with respect to axioms within an OWL representation.Modifier and Type | Interface and Description |
---|---|
static class |
Axiom.Descriptor.OntologyReference
To hide a commonly used aMOR class behind OWLOOP API.
|
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 |
---|---|
default void |
activateAMORlogging(boolean booleanFlag)
This method calls:
Logger.setPrintOnConsole(Boolean)
with a given flag parameter. |
default <C> java.util.List<Axiom.MappingIntent> |
getChangingIntent(Axiom.EntitySet.SynchronisationIntent sync,
C changes)
It instantiates a lists of
Axiom.MappingIntent with the
parameters as Axiom.MappingIntent.getOntologyChanges() and
(e.g.: OWLOntologyChange ). |
Axiom.Ground<O,J> |
getGround() |
java.lang.String |
getGroundInstanceName() |
default J |
getInstance() |
default java.util.List<Axiom.MappingIntent> |
getIntent(Axiom.EntitySet.SynchronisationIntent sync)
It instantiates a lists of
Axiom.MappingIntent with the
parameters as Axiom.MappingIntent.getOntologyChanges() . |
default O |
getOntologyReference() |
default void |
groundReason()
This method synchronise the reasoner of the ontology (with which the descriptor is interacting).
|
java.util.List<Axiom.MappingIntent> |
readAxioms()
This method is used to update specific
Axiom.EntitySet (or Axiom.ExpressionEntitySet ) by synchronizing
the internal state of the descriptor with the queried OWL structure, such that they are equal. |
java.util.List<Axiom.MappingIntent> |
writeAxioms()
This method is used to update the ontology with a specific
Axiom.EntitySet (or Axiom.ExpressionEntitySet )
by synchronizing the OWL representation with the internal state of the descriptor, such that they are equal. |
default java.util.List<Axiom.MappingIntent> |
writeAxiomsReasonReadAxioms()
This method assure that after
writeAxioms() the internal state of the descriptor is consistent
with the OWL ontology. |
default java.util.List<Axiom.MappingIntent> |
writeAxiomsReasonReadAxioms(boolean reason)
This method assure that after
writeAxioms() the internal state of the descriptor is consistent
with the OWL ontology. |
Axiom.Ground<O,J> getGround()
default O getOntologyReference()
default J getInstance()
java.lang.String getGroundInstanceName()
default void groundReason()
It calls: {getGround()
.groundReason()}
java.util.List<Axiom.MappingIntent> readAxioms()
Axiom.EntitySet
(or Axiom.ExpressionEntitySet
) by synchronizing
the internal state of the descriptor with the queried OWL structure, such that they are equal.
It is based on EntitySet#synchroniseFrom(EntitySet)
.Axiom.EntitySet
during the reading.
Note that the elements of the returned list, may not have the Axiom.MappingIntent.getOntologyChanges()
field
initialised (i.e.: Void
).java.util.List<Axiom.MappingIntent> writeAxioms()
Axiom.EntitySet
(or Axiom.ExpressionEntitySet
)
by synchronizing the OWL representation with the internal state of the descriptor, such that they are equal.
It is based on EntitySet#synchroniseTo(EntitySet)
.Axiom.MappingIntent.getOntologyChanges()
field
initialised (i.e.: OWLOntologyChange
).default java.util.List<Axiom.MappingIntent> writeAxiomsReasonReadAxioms(boolean reason)
writeAxioms()
the internal state of the descriptor is consistent
with the OWL ontology.
The new entities written into the ontology may trigger the reasoner, thus inferring new
elements. Therefore, this method, after calling writeAxioms()
, it also calls
groundReason()
and then readAxioms()
in order to add the newly inferred elements into the
Axiom.EntitySet
.reason
- set to (false) to disable reasoning. This will add only asserted elements.writeAxioms()
and readAxioms()
operations.default java.util.List<Axiom.MappingIntent> writeAxiomsReasonReadAxioms()
writeAxioms()
the internal state of the descriptor is consistent
with the OWL ontology.
The new entities written into the ontology may trigger the reasoner, thus inferring new
elements. Therefore, this method, after calling writeAxioms()
, it also calls
groundReason()
and then readAxioms()
in order to add the newly inferred elements into the
Axiom.EntitySet
.writeAxioms()
and readAxioms()
operations.default java.util.List<Axiom.MappingIntent> getIntent(Axiom.EntitySet.SynchronisationIntent sync)
Axiom.MappingIntent
with the
parameters as Axiom.MappingIntent.getOntologyChanges()
.
Its a helper method that can be used by the readAxioms()
, in order to record the results of
EntitySet#synchroniseFrom(EntitySet)
.sync
- the results of a call to EntitySet#synchroniseFrom(EntitySet)
.default <C> java.util.List<Axiom.MappingIntent> getChangingIntent(Axiom.EntitySet.SynchronisationIntent sync, C changes)
Axiom.MappingIntent
with the
parameters as Axiom.MappingIntent.getOntologyChanges()
and
(e.g.: OWLOntologyChange
).
Its a helper that can be used by the implementation of the writeAxioms()
,
in order to obtain the value to be returned, based on the results of
EntitySet#synchroniseTo(EntitySet)
and aMOR manipulations.C
- The `Class` representing the changessync
- the results of a call to EntitySet#synchroniseTo(EntitySet)
.changes
- the ontology changes made during writing.default void activateAMORlogging(boolean booleanFlag)
Logger.setPrintOnConsole(Boolean)
with a given flag parameter.booleanFlag
- the flag for enable/disable aMOR logging.