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