public static interface DataPropertyExpression.Range extends DataProperty.Range<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLDataProperty,it.emarolab.amor.owlInterface.SemanticRestriction>, DataPropertyExpression
DataProperty.Range
expression for a Descriptor
whose ground is OWLDataProperty
.
It specifies how to queryRangeRestrictions()
and writeAxioms()
for the
range restriction of the ground DataProperty (i.e.: SemanticRestriction
).
DataPropertyExpression.Disjoint<D extends DataPropertyExpression>, DataPropertyExpression.Domain, DataPropertyExpression.Equivalent<D extends DataPropertyExpression>, DataPropertyExpression.Range, DataPropertyExpression.Sub<D extends DataPropertyExpression>, DataPropertyExpression.Super<D extends DataPropertyExpression>
Axiom.Descriptor.OntologyReference
DescriptorGroundInterface.ConceptGroundInstance, DescriptorGroundInterface.DataGroundInstance, DescriptorGroundInterface.GroundInstance<J extends org.semanticweb.owlapi.model.OWLObject>, DescriptorGroundInterface.IndividualGroundInstance, DescriptorGroundInterface.ObjectGroundInstance
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 boolean |
addRangeDataRestriction(java.lang.Class dataType)
Adds a new restriction to the described
EntitySet
(i.e.: getRangeRestrictions() )
based on rangeDataRestriction(Class) . |
Restrictions |
getRangeRestrictions()
Returns the
EntitySet that describes all the restrictions of the
range of the described property; from a no OOP point of view. |
default Restrictions |
queryRangeRestrictions()
Queries to the OWL representation for the range restrictions of
this data property. |
default it.emarolab.amor.owlInterface.SemanticRestriction |
rangeDataRestriction(java.lang.Class dataType)
Creates a new data property range restriction
(to be in conjunction with the others in the specific
EntitySet )
which restricts over an unique data type (see DescriptorGroundInterface.getOWLDataType(Class) ). |
default boolean |
removeRangeDataRestriction(java.lang.Class dataType)
Removes a new restriction to the described
EntitySet
(i.e.: getRangeRestrictions() )
based on rangeDataRestriction(Class) . |
default java.util.List<Axiom.MappingIntent> |
writeAxioms()
This method is used to update the ontology with a specific
Axiom.EntitySet (or Axiom.ExpressionEntitySet )
by synchronizing the OWL representation with the internal state of the descriptor, such that they are equal. |
readAxioms, synchroniseRangeDataPropertyFromExpressionAxioms, synchroniseRangeDataPropertyToExpressionAxioms
getGroundInstance, getGroundOntology, setFunctional, setNotFunctional
activateAMORlogging, getChangingIntent, getGround, getGroundInstanceName, getInstance, getIntent, getOntologyReference, groundReason, writeAxiomsReasonReadAxioms, writeAxiomsReasonReadAxioms
getOntologyName, getOWLClass, getOWLDataFactory, getOWLDataProperty, getOWLDataType, getOWLIndividual, getOWLLiteral, getOWLName, getOWLName, getOWLObjectProperty, getOWLOntology, getOWLReasoner, isCompleteQuery, isReasonedQuery, reason, saveOntology, saveOntology, setCompleteQuery, setReasonedQuery
copyGround
default it.emarolab.amor.owlInterface.SemanticRestriction rangeDataRestriction(java.lang.Class dataType)
EntitySet
)
which restricts over an unique data type (see DescriptorGroundInterface.getOWLDataType(Class)
).dataType
- the value of the restriction.default boolean addRangeDataRestriction(java.lang.Class dataType)
EntitySet
(i.e.: getRangeRestrictions()
)
based on rangeDataRestriction(Class)
.dataType
- the value of the restriction.true
if a new restriction has been added to the
DataProperty.Range
.default boolean removeRangeDataRestriction(java.lang.Class dataType)
EntitySet
(i.e.: getRangeRestrictions()
)
based on rangeDataRestriction(Class)
.dataType
- the value of the restriction.true
if a new restriction has been removed from the
DataProperty.Range
.Restrictions getRangeRestrictions()
DataProperty.Range
EntitySet
that describes all the restrictions of the
range of the described property; from a no OOP point of view.getRangeRestrictions
in interface DataProperty.Range<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLDataProperty,it.emarolab.amor.owlInterface.SemanticRestriction>
this
grounded the data property.default Restrictions queryRangeRestrictions()
DataProperty.Range
this
data property.queryRangeRestrictions
in interface DataProperty.Range<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLDataProperty,it.emarolab.amor.owlInterface.SemanticRestriction>
EntitySet
contained the range restrictions of Axiom.Descriptor.getInstance()
,
into the OWL structure.default java.util.List<Axiom.MappingIntent> writeAxioms()
Axiom.Descriptor
Axiom.EntitySet
(or Axiom.ExpressionEntitySet
)
by synchronizing the OWL representation with the internal state of the descriptor, such that they are equal.
It is based on EntitySet#synchroniseTo(EntitySet)
.writeAxioms
in interface Axiom.Descriptor<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLDataProperty>
Axiom.MappingIntent.getOntologyChanges()
field
initialised (i.e.: OWLOntologyChange
).