Y
- the type of axioms described by this set.public static interface Semantic.Axioms<Y>
extends java.util.Collection<Y>
Semantic.Descriptor
.
It describes a collection of simple axioms that can be grounded in an ontology,
ad with respect an instance, 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.Axioms.SynchronisationIntent
class.
Modifier and Type | Interface and Description |
---|---|
static class |
Semantic.Axioms.SynchronisationIntent<E>
The synchronising intent during
Semantic.Axioms reading or writing. |
Modifier and Type | Method and Description |
---|---|
boolean |
isSingleton()
Describes if this set should contain a single element.
|
void |
setSingleton(boolean singleton)
Set this set to contain a single element.
|
default Semantic.Axioms.SynchronisationIntent<Y> |
synchroniseFrom(Semantic.Axioms<Y> 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<Y> |
synchroniseTo(Semantic.Axioms<Y> 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. |
boolean isSingleton()
true
if this is a singleton set, false
otherwise.void setSingleton(boolean singleton)
singleton
- true
if this is a singleton set, false
otherwise.default Semantic.Axioms.SynchronisationIntent<Y> synchroniseTo(Semantic.Axioms<Y> queried)
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
).queried
- the set to check for writing differences from OWL to this
set.this
set
equal to the one queried
to the OWL representation.default Semantic.Axioms.SynchronisationIntent<Y> synchroniseFrom(Semantic.Axioms<Y> queried)
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
).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.