D
- the type of the DataPropertyExpression
descriptor instantiated during
DataProperty.Disjoint.buildDisjointDataProperties()
through DataProperty.Disjoint.getNewDisjointDataProperty(Object, Object)
.public static interface DataPropertyExpression.Disjoint<D extends DataPropertyExpression> extends DataProperty.Disjoint<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLDataProperty,D>, DataPropertyExpression
DataProperty.Disjoint
expression for a Descriptor
whose ground is OWLDataProperty
.
It specifies how to queryDisjointDataProperties()
and writeAxioms()
for the
DataProperties disjoint to the ground DataProperty (i.e.: OWLDataProperty
).
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 |
addDisjointDataProperty(org.semanticweb.owlapi.model.OWLDataProperty instance)
It is an helper that just calls:
{@link #getDisjointDataProperties()}.add( property)
in order to add a new data property in the EntitySet list. |
default boolean |
addDisjointDataProperty(java.lang.String dataPropertyName)
It is an helper that just calls:
{@link #getDisjointDataProperties()}.add( {@link #getOntologyReference()}.getOWLDataProperty( propertyName))
in order to add a new data property (given by name) in the EntitySet list. |
DataProperties |
getDisjointDataProperties()
Returns the
EntitySet that describes all the disjoint data properties of
this grounded DataProperty ; from a no OOP point of view. |
default DataProperties |
queryDisjointDataProperties()
Queries to the OWL representation for the disjoint properties of
this data property. |
default boolean |
removeDisjointDataProperty(org.semanticweb.owlapi.model.OWLDataProperty instance)
It is an helper that just calls:
{@link #getDisjointDataProperties()}.remove( property)
in order to remove a data property in the EntitySet list. |
default boolean |
removeDisjointDataProperty(java.lang.String dataPropertyName)
It is an helper that just calls:
{@link #getDisjointDataProperties()}.remove( {@link #getOntologyReference()}.getOWLDataProperty( propertyName))
in order to remove a data property (given by name) from the EntitySet list. |
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. |
buildDisjointDataProperties, getNewDisjointDataProperty, readAxioms, synchroniseDisjointDataPropertiesFromExpressionAxioms, synchroniseDisjointDataPropertiesToExpressionAxioms
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 boolean addDisjointDataProperty(java.lang.String dataPropertyName)
{@link #getDisjointDataProperties()}.add( {@link #getOntologyReference()}.getOWLDataProperty( propertyName))
in order to add a new data property (given by name) in the EntitySet
list.dataPropertyName
- the property name to add for synchronisation.true
if the axioms changed as a result of the call.default boolean addDisjointDataProperty(org.semanticweb.owlapi.model.OWLDataProperty instance)
{@link #getDisjointDataProperties()}.add( property)
in order to add a new data property in the EntitySet
list.instance
- the property to add for synchronisation.true
if the axioms changed as a result of the call.default boolean removeDisjointDataProperty(java.lang.String dataPropertyName)
{@link #getDisjointDataProperties()}.remove( {@link #getOntologyReference()}.getOWLDataProperty( propertyName))
in order to remove a data property (given by name) from the EntitySet
list.dataPropertyName
- the property name to remove for synchronisation.true
if an element was removed as a result of this call.default boolean removeDisjointDataProperty(org.semanticweb.owlapi.model.OWLDataProperty instance)
{@link #getDisjointDataProperties()}.remove( property)
in order to remove a data property in the EntitySet
list.instance
- the property to remove for synchronisation.true
if an element was removed as a result of this call.DataProperties getDisjointDataProperties()
DataProperty.Disjoint
EntitySet
that describes all the disjoint data properties of
this
grounded DataProperty
; from a no OOP point of view.getDisjointDataProperties
in interface DataProperty.Disjoint<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLDataProperty,D extends DataPropertyExpression>
this
described property.default DataProperties queryDisjointDataProperties()
DataProperty.Disjoint
this
data property.queryDisjointDataProperties
in interface DataProperty.Disjoint<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLDataProperty,D extends DataPropertyExpression>
EntitySet
contained the disjoint properties 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
).