O
- the ontology.J
- the type of Ground
and EntitySet
managed by this Descriptor
.D
- the type of the ObjectProperty
descriptor instantiated during
buildEquivalentObjectProperties()
through getNewEquivalentObjectProperty(Object, Object)
.public static interface ObjectProperty.Equivalent<O,J,D extends ObjectProperty<O,J>> extends ObjectProperty<O,J>
ObjectProperty
to have the ObjectProperty.Equivalent
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> |
buildEquivalentObjectProperties()
Create an
Axiom.Descriptor set where each element
represents the disjointed object property of this property. |
Axiom.EntitySet<J> |
getEquivalentObjectProperties()
Returns the
EntitySet that describes all the equivalent object properties of
this grounded ObjectProperty ; from a no OOP point of view. |
D |
getNewEquivalentObjectProperty(J instance,
O ontology)
This method is called by
buildEquivalentObjectProperties() and
its purpose is to instantiate a new ObjectProperty to represent
an equivalent property of this ObjectProperty Descriptor . |
Axiom.EntitySet<J> |
queryEquivalentObjectProperties()
Queries to the OWL representation for the equivalent 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> |
synchroniseEquivalentObjectPropertiesFromExpressionAxioms()
It calls
ExpressionEntitySet#synchroniseFrom(EntitySet) with queryEquivalentObjectProperties()
as input parameter. |
default Axiom.EntitySet.SynchronisationIntent<J> |
synchroniseEquivalentObjectPropertiesToExpressionAxioms()
It calls
EntitySet#synchroniseTo(EntitySet) with queryEquivalentObjectProperties()
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> buildEquivalentObjectProperties()
Axiom.Descriptor
set where each element
represents the disjointed object property of this
property.
Each of ObjectProperty
s are instantiated
through the method getNewEquivalentObjectProperty(Object, Object)
;
this is called for all getEquivalentObjectProperties()
.ObjectProperty
s that describes the
equivalent relations of this
described ontological property.D getNewEquivalentObjectProperty(J instance, O ontology)
buildEquivalentObjectProperties()
and
its purpose is to instantiate a new ObjectProperty
to represent
an equivalent property of this
ObjectProperty
Descriptor
.instance
- the instance to ground the new equivalent ObjectProperty
.ontology
- the ontology in which ground the new ObjectProperty
.Axiom.Descriptor
for all the equivalent properties
of the one described by this
interface.Axiom.EntitySet<J> getEquivalentObjectProperties()
EntitySet
that describes all the equivalent object properties of
this
grounded ObjectProperty
; from a no OOP point of view.this
described property.Axiom.EntitySet<J> queryEquivalentObjectProperties()
this
object property.EntitySet
contained the equivalent properties of Axiom.Descriptor.getInstance()
,
into the OWL structure.default Axiom.EntitySet.SynchronisationIntent<J> synchroniseEquivalentObjectPropertiesToExpressionAxioms()
EntitySet#synchroniseTo(EntitySet)
with queryEquivalentObjectProperties()
as input parameter. This computes the changes to be performed in the OWL representation
for synchronise it with respect to getEquivalentObjectProperties()
. This should
be done by Axiom.Descriptor.writeAxioms()
.this
structure with
the equivalent properties of Axiom.Descriptor.getInstance()
; to the OWL representation.default Axiom.EntitySet.SynchronisationIntent<J> synchroniseEquivalentObjectPropertiesFromExpressionAxioms()
ExpressionEntitySet#synchroniseFrom(EntitySet)
with queryEquivalentObjectProperties()
as input parameter. This computes the changes to be performed into the getEquivalentObjectProperties()
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
.