D
- the type of the ObjectPropertyExpression
descriptor instantiated during
ObjectProperty.Disjoint.buildDisjointObjectProperties()
through ObjectProperty.Disjoint.getNewDisjointObjectProperty(Object, Object)
.public static interface ObjectPropertyExpression.Disjoint<D extends ObjectPropertyExpression> extends ObjectProperty.Disjoint<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLObjectProperty,D>, ObjectPropertyExpression
ObjectProperty.Disjoint
expression for a Descriptor
whose ground is OWLObjectProperty
.
It specifies how to queryDisjointObjectProperties()
and writeAxioms()
for the
ObjectProperties disjoint to the ground ObjectProperty (i.e.: OWLObjectProperty
).
ObjectPropertyExpression.Disjoint<D extends ObjectPropertyExpression>, ObjectPropertyExpression.Domain, ObjectPropertyExpression.Equivalent<D extends ObjectPropertyExpression>, ObjectPropertyExpression.Inverse<D extends ObjectPropertyExpression>, ObjectPropertyExpression.Range, ObjectPropertyExpression.Sub<D extends ObjectPropertyExpression>, ObjectPropertyExpression.Super<D extends ObjectPropertyExpression>
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 |
addDisjointObjectProperty(org.semanticweb.owlapi.model.OWLObjectProperty instance)
It is an helper that just calls:
{@link #getDisjointObjectProperties()}.add( property)
in order to add a new object property in the EntitySet list. |
default boolean |
addDisjointObjectProperty(java.lang.String objectPropertyName)
It is an helper that just calls:
{@link #getDisjointObjectProperties()}.add( {@link #getOntologyReference()}.getOWLObjectProperty( objectPropertyName))
in order to add a new object property (given by name) in the EntitySet list. |
ObjectProperties |
getDisjointObjectProperties()
Returns the
EntitySet that describes all the disjoint object properties of
this grounded ObjectProperty ; from a no OOP point of view. |
default ObjectProperties |
queryDisjointObjectProperties()
Queries to the OWL representation for the disjoint properties of
this object property. |
default boolean |
removeDisjointObjectProperty(org.semanticweb.owlapi.model.OWLObjectProperty instance)
It is an helper that just calls:
{@link #getDisjointObjectProperties()}.remove( property)
in order to remove an object property in the EntitySet list. |
default boolean |
removeDisjointObjectProperty(java.lang.String objectPropertyName)
It is an helper that just calls:
{@link #getDisjointObjectProperties()}.remove( {@link #getOntologyReference()}.getOWLObjectProperty( objectPropertyName))
in order to remove an object 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. |
buildDisjointObjectProperties, getNewDisjointObjectProperty, readAxioms, synchroniseDisjointObjectPropertiesFromExpressionAxioms, synchroniseDisjointObjectPropertiesToExpressionAxioms
getGroundInstance, getGroundOntology, setAsymmetric, setFunctional, setInverseFunctional, setIrreflexive, setNotAsymmetric, setNotFunctional, setNotInverseFunctional, setNotIrreflexive, setNotReflexive, setNotSymmetric, setNotTransitive, setReflexive, setSymmetric, setTransitive
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 addDisjointObjectProperty(java.lang.String objectPropertyName)
{@link #getDisjointObjectProperties()}.add( {@link #getOntologyReference()}.getOWLObjectProperty( objectPropertyName))
in order to add a new object property (given by name) in the EntitySet
list.objectPropertyName
- the property name to add for synchronisation.true
if the axioms changed as a result of the call.default boolean addDisjointObjectProperty(org.semanticweb.owlapi.model.OWLObjectProperty instance)
{@link #getDisjointObjectProperties()}.add( property)
in order to add a new object 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 removeDisjointObjectProperty(java.lang.String objectPropertyName)
{@link #getDisjointObjectProperties()}.remove( {@link #getOntologyReference()}.getOWLObjectProperty( objectPropertyName))
in order to remove an object property (given by name) from the EntitySet
list.objectPropertyName
- the property name to remove for synchronisation.true
if an element was removed as a result of this call.default boolean removeDisjointObjectProperty(org.semanticweb.owlapi.model.OWLObjectProperty instance)
{@link #getDisjointObjectProperties()}.remove( property)
in order to remove an object property in the EntitySet
list.instance
- the property to remove for synchronisation.true
if an element was removed as a result of this call.ObjectProperties getDisjointObjectProperties()
ObjectProperty.Disjoint
EntitySet
that describes all the disjoint object properties of
this
grounded ObjectProperty
; from a no OOP point of view.getDisjointObjectProperties
in interface ObjectProperty.Disjoint<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLObjectProperty,D extends ObjectPropertyExpression>
this
described property.default ObjectProperties queryDisjointObjectProperties()
ObjectProperty.Disjoint
this
object property.queryDisjointObjectProperties
in interface ObjectProperty.Disjoint<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLObjectProperty,D extends ObjectPropertyExpression>
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.OWLObjectProperty>
Axiom.MappingIntent.getOntologyChanges()
field
initialised (i.e.: OWLOntologyChange
).