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 of the range of the defined property.
(it represents the of Semantic.Axioms
managed by this Semantic.Descriptor
.public static interface ObjectProperty.Range<O,J,Y> extends ObjectProperty<O,J>
Semantic.Descriptor
for the definition of an ontological object property range.
This Semantic.Descriptor
synchronises the definition of a specific object property range
(i.e.: the Semantic.Ground.getGroundInstance()
).
Definition is defined as conjunction of restriction properties that
creates classes in the range of the described property.
More in details, such a restriction can be of the type:
some
), universal (all
), minimal, maximal and exact.some
), universal (all
), minimal, maximal and exact.build
them) since their are not entities that fall back in the Semantic
representations.
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>>
Semantic.Axioms<Y>, Semantic.Descriptor<O,J>, Semantic.Ground<O,J>, Semantic.MappingIntent<I extends Semantic.Ground,C>, Semantic.SemanticAxiom<S,Y>, Semantic.SemanticAxioms<F extends Semantic.SemanticAxiom<?,Y>,Y>
Modifier and Type | Method and Description |
---|---|
Semantic.Axioms<Y> |
getRangeObjectProperty()
Returns the
Semantic.Axioms that describes all the restrictions of the
range of the described property; from a no OOP point of view. |
Semantic.Axioms<Y> |
queryRangeObjectProperty()
Queries to the OWL representation for the range restrictions of
this object property. |
default java.util.List<Semantic.MappingIntent> |
readSemantic()
This method is used to synchronise specific
Semantic.Axioms (or Semantic.SemanticAxioms )
from the ontology. |
default Semantic.Axioms.SynchronisationIntent<Y> |
synchroniseRangeObjectPropertyFromSemantic()
It calls
Semantic.SemanticAxioms.synchroniseFrom(Axioms) with queryRangeObjectProperty()
as input parameter. |
default Semantic.Axioms.SynchronisationIntent<Y> |
synchroniseRangeObjectPropertyToSemantic()
It calls
Semantic.Axioms.synchroniseTo(Axioms) with queryRangeObjectProperty()
as input parameter. |
setAsymmetric, setFunctional, setInverseFunctional, setIrreflexive, setNotAsymmetric, setNotFunctional, setNotInverseFunctional, setNotIrreflexive, setNotReflexive, setNotSymmetric, setNotTransitive, setReflexive, setSymmetric, setTransitive
getChangingIntent, getGround, getInstance, getIntent, getOntology, groundReason, writeSemantic, writeSemanticInconsistencySafe, writeSemanticInconsistencySafe
default java.util.List<Semantic.MappingIntent> readSemantic()
Semantic.Descriptor
Semantic.Axioms
(or Semantic.SemanticAxioms
)
from the ontology. It manipulates the OWLLOOP representation to be
equal to the queried OWL structure. It is based on Axioms#synchroniseFrom(Axioms)
.readSemantic
in interface Semantic.Descriptor<O,J>
Semantic.Axioms
during the reading.
Those objects may not have the Semantic.MappingIntent.getOntologyChanges()
field
initialised (i.e.: Void
).Semantic.Axioms<Y> getRangeObjectProperty()
Semantic.Axioms
that describes all the restrictions of the
range of the described property; from a no OOP point of view.this
grounded the object property.Semantic.Axioms<Y> queryRangeObjectProperty()
this
object property.Semantic.Axioms
contained the range restrictions of Semantic.Descriptor.getInstance()
,
into the OWL structure.default Semantic.Axioms.SynchronisationIntent<Y> synchroniseRangeObjectPropertyToSemantic()
Semantic.Axioms.synchroniseTo(Axioms)
with queryRangeObjectProperty()
as input parameter. This computes the changes to be performed in the OWL representation
for synchronise it with respect to getRangeObjectProperty()
. This should
be done by Semantic.Descriptor.writeSemantic()
.this
structure with
the range restriction of Semantic.Descriptor.getInstance()
; to the OWL representation.default Semantic.Axioms.SynchronisationIntent<Y> synchroniseRangeObjectPropertyFromSemantic()
Semantic.SemanticAxioms.synchroniseFrom(Axioms)
with queryRangeObjectProperty()
as input parameter. This computes the changes to be performed into the getRangeObjectProperty()
in order to synchronise it with respect to an OWL representation. This is
be done by readSemantic()
.Semantic.Descriptor.getInstance()
;
from an OWL representation to this
Semantic.Descriptor
.