O
- the ontology.J
- the type of Ground
and EntitySet
managed by this Descriptor
.D
- the type of DataProperty
descriptor instantiated during
buildDisjointDataProperties()
through getNewDisjointDataProperty(Object, Object)
.public static interface DataProperty.Disjoint<O,J,D extends DataProperty<O,J>> extends DataProperty<O,J>
DataProperty
to have the DataProperty.Disjoint
expression.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>>
Axiom.Descriptor.OntologyReference
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 java.util.Set<D> |
buildDisjointDataProperties()
Create an
Axiom.Descriptor set where each element
represents the disjointed data property of this property. |
Axiom.EntitySet<J> |
getDisjointDataProperties()
Returns the
EntitySet that describes all the disjoint data properties of
this grounded DataProperty ; from a no OOP point of view. |
D |
getNewDisjointDataProperty(J instance,
O ontology)
This method is called by
buildDisjointDataProperties() and
its purpose is to instantiate a new DataProperty to represent
a disjointed property of this DataProperty Descriptor . |
Axiom.EntitySet<J> |
queryDisjointDataProperties()
Queries to the OWL representation for the disjoint properties of
this data property. |
default 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. |
default Axiom.EntitySet.SynchronisationIntent<J> |
synchroniseDisjointDataPropertiesFromExpressionAxioms()
It calls
ExpressionEntitySet#synchroniseFrom(EntitySet) with queryDisjointDataProperties()
as input parameter. |
default Axiom.EntitySet.SynchronisationIntent<J> |
synchroniseDisjointDataPropertiesToExpressionAxioms()
It calls
EntitySet#synchroniseTo(EntitySet) with queryDisjointDataProperties()
as input parameter. |
setFunctional, setNotFunctional
activateAMORlogging, getChangingIntent, getGround, getGroundInstanceName, getInstance, getIntent, getOntologyReference, groundReason, writeAxioms, writeAxiomsReasonReadAxioms, writeAxiomsReasonReadAxioms
default java.util.List<Axiom.MappingIntent> readAxioms()
Axiom.Descriptor
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)
.readAxioms
in interface Axiom.Descriptor<O,J>
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
).default java.util.Set<D> buildDisjointDataProperties()
Axiom.Descriptor
set where each element
represents the disjointed data property of this
property.
Each of DataProperty
s are instantiated
through the method getNewDisjointDataProperty(Object, Object)
;
this is called for all getDisjointDataProperties()
.DataProperty
s that describes the
disjoint relations of this
described ontological property.D getNewDisjointDataProperty(J instance, O ontology)
buildDisjointDataProperties()
and
its purpose is to instantiate a new DataProperty
to represent
a disjointed property of this
DataProperty
Descriptor
.instance
- the instance to ground the new disjoint DataProperty
.ontology
- the ontology in which ground the new DataProperty
.Axiom.Descriptor
for all the disjointed properties
of the one described by this
interface.Axiom.EntitySet<J> getDisjointDataProperties()
EntitySet
that describes all the disjoint data properties of
this
grounded DataProperty
; from a no OOP point of view.this
described property.Axiom.EntitySet<J> queryDisjointDataProperties()
this
data property.EntitySet
contained the disjoint properties of Axiom.Descriptor.getInstance()
,
into the OWL structure.default Axiom.EntitySet.SynchronisationIntent<J> synchroniseDisjointDataPropertiesToExpressionAxioms()
EntitySet#synchroniseTo(EntitySet)
with queryDisjointDataProperties()
as input parameter. This computes the changes to be performed in the OWL representation
for synchronise it with respect to getDisjointDataProperties()
. This should
be done by Axiom.Descriptor.writeAxioms()
.this
structure with
the disjoint properties of Axiom.Descriptor.getInstance()
; to the OWL representation.default Axiom.EntitySet.SynchronisationIntent<J> synchroniseDisjointDataPropertiesFromExpressionAxioms()
ExpressionEntitySet#synchroniseFrom(EntitySet)
with queryDisjointDataProperties()
as input parameter. This computes the changes to be performed into the getDisjointDataProperties()
in order to synchronise it with respect to an OWL representation. This is
be done by readAxioms()
.Axiom.Descriptor.getInstance()
;
from an OWL representation to this
Descriptor
.