O
- the type of ontology in which the axioms will be applied.
It defines the related Semantic.Ground
parameter for this
descriptor.J
- the type of instance (i.e.: subject) for the axioms.
It defines the related Semantic.Ground
parameter for this
descriptor.public static interface Semantic.Descriptor<O,J> extends Semantic
Semantic.Axioms
or Semantic.SemanticAxioms
.
This class is the core of the OWLOOP implementation and is in charge to maintain
the Semantic.Axioms
and Semantic.SemanticAxioms
synchronised with respect to an OWL
representation (i.e.: Semantic.Ground
).
The paradigm through which this implement OWL accessibility through an OOP approach is
given by the fact that a generic OWLLOOP class can implement several descriptors
(all related to the same Semantic.Ground
). Doing so it enhance its feature to
represent different OWL description of the same entities and gains the possibility to
access them through OOP paradigms. This is true, given a correct reading and
writing policy that the developer should manage.
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 <C> java.util.List<Semantic.MappingIntent> |
getChangingIntent(Semantic.Axioms.SynchronisationIntent sync,
C changes)
It instanciate a lists of
Semantic.MappingIntent with the
given parameters and C as Semantic.MappingIntent.getOntologyChanges() ,
(e.g.: OWLOntologyChange ). |
Semantic.Ground<O,J> |
getGround()
Returns the grounding element for
this descriptor. |
default J |
getInstance()
Returns the instance in the ontology in which the description is
applying the relative axioms (i.e.: subject).
|
default java.util.List<Semantic.MappingIntent> |
getIntent(Semantic.Axioms.SynchronisationIntent sync)
It instanciate a lists of
Semantic.MappingIntent with the
given parameters and Void as Semantic.MappingIntent.getOntologyChanges() ,
which will be null. |
default O |
getOntology()
Returns the ontology in which the description is operating
its synchronisations.
|
default void |
groundReason()
This method synchronise the reasoner among all the ontology of
this
description. |
java.util.List<Semantic.MappingIntent> |
readSemantic()
This method is used to synchronise specific
Semantic.Axioms (or Semantic.SemanticAxioms )
from the ontology. |
java.util.List<Semantic.MappingIntent> |
writeSemantic()
This method is used to synchronise specific
Semantic.Axioms (or Semantic.SemanticAxioms )
to the ontology. |
default java.util.List<Semantic.MappingIntent> |
writeSemanticInconsistencySafe()
This method assure that after
writeSemantic() the actual OWLLOOP
representation is consistent (only for this descriptor) with the OWL ontology. |
default java.util.List<Semantic.MappingIntent> |
writeSemanticInconsistencySafe(boolean reason)
This method assure that after
writeSemantic() the actual OWLLOOP
representation is consistent (only for this descriptor) with the OWL ontology. |
Semantic.Ground<O,J> getGround()
this
descriptor.writeSemantic()
and
readSemantic()
to synchronise the described Semantic.Axioms
(or Semantic.SemanticAxioms
).default O getOntology()
{@link #getGround()}.getGroundOntology()
.default J getInstance()
{@link #getGround()}.getGroundInstance()
.default void groundReason()
this
description.
It calls: {@link #getGround()}.groundReason()
java.util.List<Semantic.MappingIntent> readSemantic()
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)
.Semantic.Axioms
during the reading.
Those objects may not have the Semantic.MappingIntent.getOntologyChanges()
field
initialised (i.e.: Void
).java.util.List<Semantic.MappingIntent> writeSemantic()
Semantic.Axioms
(or Semantic.SemanticAxioms
)
to the ontology. It manipulates the OWL representation to be
equal to the OWLOOP structure. It is based on Axioms#synchroniseTo(Axioms)
.Semantic.MappingIntent.getOntologyChanges()
field
initialised (i.e.: OWLOntologyChange
).default java.util.List<Semantic.MappingIntent> writeSemanticInconsistencySafe(boolean reason)
writeSemantic()
the actual OWLLOOP
representation is consistent (only for this descriptor) with the OWL ontology.
In fact the new written entities may trigger the reasoner in inferring new
elements in the described Semantic.Axioms
set. This method, after calling
writeSemantic()
it calls also groundReason()
and than,
readSemantic()
, in order to add the new inferred elements in the
described set.reason
- set to false
to disable reasoning. This will
add only asserted elements;writeSemantic()
and
readSemantic()
operations.default java.util.List<Semantic.MappingIntent> writeSemanticInconsistencySafe()
writeSemantic()
the actual OWLLOOP
representation is consistent (only for this descriptor) with the OWL ontology.
In fact the new written entities may trigger the reasoner in inferring new
elements in the described Semantic.Axioms
set. This method class a
writeSemantic()
and than readSemantic()
,
in order to add the new inferred elements in the
described set.writeSemantic()
and
readSemantic()
operations.default java.util.List<Semantic.MappingIntent> getIntent(Semantic.Axioms.SynchronisationIntent sync)
Semantic.MappingIntent
with the
given parameters and Void
as Semantic.MappingIntent.getOntologyChanges()
,
which will be null. This is just an helper that can be used by
the implementation of the readSemantic()
, in order to obtain the value
to be returned, based from the results of Semantic.Axioms.synchroniseFrom(Axioms)
.sync
- the results of a specific call to Semantic.Axioms.synchroniseFrom(Axioms)
.default <C> java.util.List<Semantic.MappingIntent> getChangingIntent(Semantic.Axioms.SynchronisationIntent sync, C changes)
Semantic.MappingIntent
with the
given parameters and C
as Semantic.MappingIntent.getOntologyChanges()
,
(e.g.: OWLOntologyChange
).
This is just an helper that can be used by
the implementation of the writeSemantic()
, in order to obtain the value
to be returned, based from the results of Semantic.Axioms.synchroniseTo(Axioms)
and aMOR manipulations.C
- the types of ontology changes attached to this intent.sync
- the results of a specific call to Semantic.Axioms.synchroniseTo(Axioms)
.changes
- the ontology changes made during writing.