O
- the type of ontology in which the axioms for classes will be applied.J
- the type of the described data property
(it also represents the type of Semantic.Axioms
managed by this Semantic.Descriptor
.D
- the type of the DataProperty
descriptor instantiated during
buildSuperDataProperty()
through getNewSuperDataProperty(Object, Object)
.public static interface DataProperty.Super<O,J,D extends DataProperty<O,J>> extends DataProperty<O,J>
Semantic.Descriptor
for super data properties.
This Semantic.Descriptor
synchronises the super data properties of this
property (i.e.: the Semantic.Ground.getGroundInstance()
).
DataProperty.Disjoint<O,J,D extends DataProperty<O,J>>, DataProperty.Domain<O,J,Y>, DataProperty.Equivalent<O,J,D extends DataProperty<O,J>>, DataProperty.Range<O,J,Y>, DataProperty.Sub<O,J,D extends DataProperty<O,J>>, DataProperty.Super<O,J,D extends DataProperty<O,J>>
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 java.util.Set<D> |
buildSuperDataProperty()
Create an
Semantic.Descriptor set where each element
represents the super data property of this property. |
D |
getNewSuperDataProperty(J instance,
O ontology)
This method is called by
buildSuperDataProperty() and
its purpose is to instantiate a new DataProperty to represent
a super property of this DataProperty Semantic.Descriptor . |
Semantic.Axioms<J> |
getSuperDataProperty()
Returns the
Semantic.Axioms that describes all the super data properties of
this grounded DataProperty ; from a no OOP point of view. |
Semantic.Axioms<J> |
querySuperDataProperty()
Queries to the OWL representation for the super properties of
this data property. |
default java.util.List<Semantic.MappingIntent> |
readSemantic()
This method is used to synchronise specific
Semantic.Axioms (or Semantic.SemanticAxioms )
from the ontology. |
default Semantic.Axioms.SynchronisationIntent<J> |
synchroniseSuperDataPropertyFromSemantic()
It calls
Semantic.SemanticAxioms.synchroniseFrom(Axioms) with querySuperDataProperty()
as input parameter. |
default Semantic.Axioms.SynchronisationIntent<J> |
synchroniseSuperDataPropertyToSemantic()
It calls
Semantic.Axioms.synchroniseTo(Axioms) with querySuperDataProperty()
as input parameter. |
setFunctional, setNotFunctional
getChangingIntent, getGround, getInstance, getIntent, getOntology, groundReason, writeSemantic, writeSemanticInconsistencySafe, writeSemanticInconsistencySafe
default java.util.List<Semantic.MappingIntent> readSemantic()
Semantic.Descriptor
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)
.readSemantic
in interface Semantic.Descriptor<O,J>
Semantic.Axioms
during the reading.
Those objects may not have the Semantic.MappingIntent.getOntologyChanges()
field
initialised (i.e.: Void
).default java.util.Set<D> buildSuperDataProperty()
Semantic.Descriptor
set where each element
represents the super data property of this
property.
Each of DataProperty
s are instantiated
through the method getNewSuperDataProperty(Object, Object)
;
this is called for all getSuperDataProperty()
.DataProperty
s that describes the
super relations of this
described ontological property.D getNewSuperDataProperty(J instance, O ontology)
buildSuperDataProperty()
and
its purpose is to instantiate a new DataProperty
to represent
a super property of this
DataProperty
Semantic.Descriptor
.instance
- the instance to ground the new super DataProperty
.ontology
- the ontology in which ground the new DataProperty
.Semantic.Descriptor
for all the super properties
of the one described by this
interface.Semantic.Axioms<J> getSuperDataProperty()
Semantic.Axioms
that describes all the super data properties of
this
grounded DataProperty
; from a no OOP point of view.this
described property.Semantic.Axioms<J> querySuperDataProperty()
this
data property.Semantic.Axioms
contained the super properties of Semantic.Descriptor.getInstance()
,
into the OWL structure.default Semantic.Axioms.SynchronisationIntent<J> synchroniseSuperDataPropertyToSemantic()
Semantic.Axioms.synchroniseTo(Axioms)
with querySuperDataProperty()
as input parameter. This computes the changes to be performed in the OWL representation
for synchronise it with respect to getSuperDataProperty()
. This should
be done by Semantic.Descriptor.writeSemantic()
.this
structure with
the super properties of Semantic.Descriptor.getInstance()
; to the OWL representation.default Semantic.Axioms.SynchronisationIntent<J> synchroniseSuperDataPropertyFromSemantic()
Semantic.SemanticAxioms.synchroniseFrom(Axioms)
with querySuperDataProperty()
as input parameter. This computes the changes to be performed into the getSuperDataProperty()
in order to synchronise it with respect to an OWL representation. This is
be done by readSemantic()
.Semantic.Descriptor.getInstance()
;
from an OWL representation to this
Semantic.Descriptor
.