O
- the ontology.J
- the type of Ground
and EntitySet
managed by this Descriptor
.D
- the type of the ObjectProperty
descriptor instantiated during
buildInverseObjectProperties()
through getNewInverseObjectProperty(Object, Object)
.public static interface ObjectProperty.Inverse<O,J,D extends ObjectProperty<O,J>> extends ObjectProperty<O,J>
ObjectProperty
to have the ObjectProperty.Inverse
expression.ObjectProperty.Disjoint<O,J,D extends ObjectProperty<O,J>>, ObjectProperty.Domain<O,J,Y>, ObjectProperty.Equivalent<O,J,D extends ObjectProperty<O,J>>, ObjectProperty.Inverse<O,J,D extends ObjectProperty<O,J>>, ObjectProperty.Range<O,J,Y>, ObjectProperty.Sub<O,J,D extends ObjectProperty<O,J>>, ObjectProperty.Super<O,J,D extends ObjectProperty<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> |
buildInverseObjectProperties()
Create an
Axiom.Descriptor set where each element
represents the inverse object property of this property. |
Axiom.EntitySet<J> |
getInverseObjectProperties()
Returns the
EntitySet that describes all the inverse object properties of
this grounded ObjectProperty ; from a no OOP point of view. |
D |
getNewInverseObjectProperty(J instance,
O ontology)
This method is called by
buildInverseObjectProperties() and
its purpose is to instantiate a new ObjectProperty to represent
an inverse property of this ObjectProperty Descriptor . |
Axiom.EntitySet<J> |
queryInverseObjectProperties()
Queries to the OWL representation for the inverse properties of
this object 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> |
synchroniseInverseObjectPropertiesFromExpressionAxioms()
It calls
ExpressionEntitySet#synchroniseFrom(EntitySet) with queryInverseObjectProperties()
as input parameter. |
default Axiom.EntitySet.SynchronisationIntent<J> |
synchroniseInverseObjectPropertiesToExpressionAxioms()
It calls
EntitySet#synchroniseTo(EntitySet) with queryInverseObjectProperties()
as input parameter. |
setAsymmetric, setFunctional, setInverseFunctional, setIrreflexive, setNotAsymmetric, setNotFunctional, setNotInverseFunctional, setNotIrreflexive, setNotReflexive, setNotSymmetric, setNotTransitive, setReflexive, setSymmetric, setTransitive
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> buildInverseObjectProperties()
Axiom.Descriptor
set where each element
represents the inverse object property of this
property.
Each of ObjectProperty
s are instantiated
through the method getNewInverseObjectProperty(Object, Object)
;
this is called for all getInverseObjectProperties()
.ObjectProperty
s that describes the
inverse relations of this
described ontological property.D getNewInverseObjectProperty(J instance, O ontology)
buildInverseObjectProperties()
and
its purpose is to instantiate a new ObjectProperty
to represent
an inverse property of this
ObjectProperty
Descriptor
.instance
- the instance to ground the new inverse ObjectProperty
.ontology
- the ontology in which ground the new ObjectProperty
.Axiom.Descriptor
for all the inverse properties
of the one described by this
interface.Axiom.EntitySet<J> getInverseObjectProperties()
EntitySet
that describes all the inverse object properties of
this
grounded ObjectProperty
; from a no OOP point of view.this
described property.Axiom.EntitySet<J> queryInverseObjectProperties()
this
object property.EntitySet
contained the inverse properties of Axiom.Descriptor.getInstance()
,
into the OWL structure.default Axiom.EntitySet.SynchronisationIntent<J> synchroniseInverseObjectPropertiesToExpressionAxioms()
EntitySet#synchroniseTo(EntitySet)
with queryInverseObjectProperties()
as input parameter. This computes the changes to be performed in the OWL representation
for synchronise it with respect to getInverseObjectProperties()
. This should
be done by Axiom.Descriptor.writeAxioms()
.this
structure with
the inverse properties of Axiom.Descriptor.getInstance()
; to the OWL representation.default Axiom.EntitySet.SynchronisationIntent<J> synchroniseInverseObjectPropertiesFromExpressionAxioms()
ExpressionEntitySet#synchroniseFrom(EntitySet)
with queryInverseObjectProperties()
as input parameter. This computes the changes to be performed into the getInverseObjectProperties()
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
.