O
- the type of ontology in which the axioms for classes will be applied.J
- the type of the described class.Y
- the type of restriction for the EntitySet
managed by this Descriptor
.public static interface ObjectProperty.Domain<O,J,Y> extends ObjectProperty<O,J>
ObjectProperty
to have the ObjectProperty.Domain
expression.This descriptor synchronises the definition of the domain of the grounded data property. Definition is defined as a conjunction of restriction properties that create a super class of the described ontological class. The restriction can be of the following types:
some
), universal (all
), minimal, maximal and exact.some
), universal (all
), minimal, maximal and exact.build()
operation since
the restrictions are not simple OWL entities like OWLClass, OWLIndividual, OWLObjectProperty and OWLDataProperty.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 |
---|---|
Axiom.EntitySet<Y> |
getDomainRestrictions()
Returns the
EntitySet that describes all the restrictions of the
domain of the described property; from a no OOP point of view. |
Axiom.EntitySet<Y> |
queryDomainRestrictions()
Queries to the OWL representation for the domain restrictions 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<Y> |
synchroniseDomainObjectPropertyFromExpressionAxioms()
It calls
ExpressionEntitySet#synchroniseFrom(EntitySet) with queryDomainRestrictions()
as input parameter. |
default Axiom.EntitySet.SynchronisationIntent<Y> |
synchroniseDomainObjectPropertyToExpressionAxioms()
It calls
EntitySet#synchroniseTo(EntitySet) with queryDomainRestrictions()
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
).Axiom.EntitySet<Y> getDomainRestrictions()
EntitySet
that describes all the restrictions of the
domain of the described property; from a no OOP point of view.this
grounded the object property.Axiom.EntitySet<Y> queryDomainRestrictions()
this
object property.EntitySet
contained the domain restrictions of Axiom.Descriptor.getInstance()
,
into the OWL structure.default Axiom.EntitySet.SynchronisationIntent<Y> synchroniseDomainObjectPropertyToExpressionAxioms()
EntitySet#synchroniseTo(EntitySet)
with queryDomainRestrictions()
as input parameter. This computes the changes to be performed in the OWL representation
for synchronise it with respect to getDomainRestrictions()
. This should
be done by Axiom.Descriptor.writeAxioms()
.this
structure with
the domain restriction of Axiom.Descriptor.getInstance()
; to the OWL representation.default Axiom.EntitySet.SynchronisationIntent<Y> synchroniseDomainObjectPropertyFromExpressionAxioms()
ExpressionEntitySet#synchroniseFrom(EntitySet)
with queryDomainRestrictions()
as input parameter. This computes the changes to be performed into the getDomainRestrictions()
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
.