O
- the ontology.J
- the type of Ground
and EntitySet
managed by this Descriptor
.Y
- the type of restriction for the EntitySet
managed by this Descriptor
.public static interface Class.Restriction<O,J,Y> extends Class<O,J>
Class
to have the Class.Restriction
expression.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
), minimum, maximum and exact.some
), universal (all
), minimum, maximum and exact.build()
operation since
the restrictions are not simple OWL entities like OWLClass, OWLIndividual, OWLObjectProperty and OWLDataProperty.
Also, the current implementation support only one restriction axiom for defining each class.
The axiom can be made of a union of `class` expressions, as well as `some`, `all`, `min`, `max`,
and `exact` data or object property expression.Class.Disjoint<O,J,D extends Class<O,J>>, Class.Equivalent<O,J,D extends Class<O,J>>, Class.Instance<O,J,Y,D extends Individual<O,Y>>, Class.Restriction<O,J,Y>, Class.Sub<O,J,D extends Class<O,J>>, Class.Super<O,J,D extends Class<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> |
getEquivalentRestrictions()
Returns the
EntitySet that describes all the definition restriction of
this Class from a no OOP point of view. |
Axiom.EntitySet<Y> |
queryEquivalentRestrictions()
Queries to the OWL representation for the definition of
this class. |
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> |
synchroniseEquivalentRestrictionsFromExpressionAxioms()
It calls
EntitySet#synchroniseFrom(EntitySet) with queryEquivalentRestrictions()
as input parameter. |
default Axiom.EntitySet.SynchronisationIntent<Y> |
synchroniseEquivalentRestrictionsToExpressionAxioms()
It calls
EntitySet#synchroniseTo(EntitySet) with queryEquivalentRestrictions()
as input parameter. |
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> getEquivalentRestrictions()
EntitySet
that describes all the definition restriction of
this
Class
from a no OOP point of view.this
class.Axiom.EntitySet<Y> queryEquivalentRestrictions()
this
class.EntitySet
contained the class definition to
the OWL structure of Axiom.Descriptor.getInstance()
.default Axiom.EntitySet.SynchronisationIntent<Y> synchroniseEquivalentRestrictionsToExpressionAxioms()
EntitySet#synchroniseTo(EntitySet)
with queryEquivalentRestrictions()
as input parameter. This computes the changes to be performed in the OWL representation
for synchronise it with respect to getEquivalentRestrictions()
. This should
be done by Axiom.Descriptor.writeAxioms()
.this
structure with
the class definition of an OWL class.default Axiom.EntitySet.SynchronisationIntent<Y> synchroniseEquivalentRestrictionsFromExpressionAxioms()
EntitySet#synchroniseFrom(EntitySet)
with queryEquivalentRestrictions()
as input parameter. This computes the changes to be performed into the getEquivalentRestrictions()
in order to synchronise it with respect to an OWL representation. This is
be done by readAxioms()
.this
structure.