F
- the type of semantic axioms assigned to this setY
- the type of axioms described by this set.public static interface Semantic.SemanticAxioms<F extends Semantic.SemanticAxiom<?,Y>,Y> extends Semantic.Axioms<F>
Semantic.Descriptor
.
It describes a collection of axioms that have a specific semantic and that
can be grounded in an ontology with respect an instance (Semantic.Ground
), from a Semantic.Descriptor
.
Given the OWLOOP state of this set and the OWL representation (i.e.: queried description)
it is possible to synchronise the two set (read or write) by using the
Semantic.SemanticAxioms.SynchroniseContainedIntent
class, from which the Semantic.SemanticAxioms.SynchronisationMultiIntent
can be retrieved.
This class extends Semantic.Axioms
by managing a set of Semantic.SemanticAxiom
,
where each element contains a Semantic
and a set of Semantic.Axioms
.
By default, the synchronisation occurs only for the proprieties which semantics
have been initialised in the Semantic.SemanticAxiom
, not for all relations in the OWL representation.
Note that a Semantic.Descriptor.readSemantic()
may remove this value if there is no such entities in the ontology.
Modifier and Type | Interface and Description |
---|---|
static class |
Semantic.SemanticAxioms.SynchronisationMultiIntent<E extends Semantic.SemanticAxiom<?,Y>,Y>
The synchronising intent during
Semantic.SemanticAxiom reading or writing. |
static class |
Semantic.SemanticAxioms.SynchroniseContainedIntent<F extends Semantic.SemanticAxiom<?,Y>,Y> |
Semantic.Axioms.SynchronisationIntent<E>
Modifier and Type | Method and Description |
---|---|
default Semantic.Axioms.SynchronisationIntent<F> |
synchroniseFrom(Semantic.Axioms<F> queried)
This method is used during
Semantic.Descriptor.readSemantic() and finds
the differences between the actual state of axioms set (i.e.: this ) and the one
queried to the OWL representation. |
default Semantic.Axioms.SynchronisationIntent<F> |
synchroniseTo(Semantic.Axioms<F> queried)
This method is used during
Semantic.Descriptor.writeSemantic() and finds
the differences between the actual state of axioms set (i.e.: this ) and the one
queried to the OWL representation. |
add, addAll, clear, contains, containsAll, equals, hashCode, isEmpty, iterator, parallelStream, remove, removeAll, removeIf, retainAll, size, spliterator, stream, toArray, toArray
isSingleton, setSingleton
default Semantic.Axioms.SynchronisationIntent<F> synchroniseFrom(Semantic.Axioms<F> queried)
Semantic.Axioms
Semantic.Descriptor.readSemantic()
and finds
the differences between the actual state of axioms set (i.e.: this
) and the one
queried to the OWL representation. Such changes represents the intent to
delete and add elements to this
set, to make it equal to the OWL representation,
for a specific instance in an ontology (i.e.: Semantic.Ground
).synchroniseFrom
in interface Semantic.Axioms<F extends Semantic.SemanticAxiom<?,Y>>
queried
- the set to check for reading differences from OWL to this
set.this
set to make it
equal to the one queried
to the OWL representation.default Semantic.Axioms.SynchronisationIntent<F> synchroniseTo(Semantic.Axioms<F> queried)
Semantic.Axioms
Semantic.Descriptor.writeSemantic()
and finds
the differences between the actual state of axioms set (i.e.: this
) and the one
queried to the OWL representation. Such changes represents the intent to
delete and add axioms to the OWL structure, to make it equal to this
set,
for a specific instance in an ontology (i.e.: Semantic.Ground
).synchroniseTo
in interface Semantic.Axioms<F extends Semantic.SemanticAxiom<?,Y>>
queried
- the set to check for writing differences from OWL to this
set.this
set
equal to the one queried
to the OWL representation.