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