D
- the type of the MORObjectProperty
descriptor instantiated during
ObjectProperty.Inverse.buildInverseObjectProperty()
through ObjectProperty.Inverse.getNewInverseObjectProperty(Object, Object)
.public static interface MORObjectProperty.Inverse<D extends MORObjectProperty> extends ObjectProperty.Inverse<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLObjectProperty,D>, MORObjectProperty
ObjectProperty.Inverse
Semantic.Descriptor
implementation for OWLObjectProperty
.
It specify how to queryInverseObjectProperty()
and writeSemantic()
for the
disjointed object properties (i.e.: OWLObjectProperty
) from the one described
by this class (i.e.: Semantic.Descriptor.getInstance()
).
MORGrounding.ConceptInstance, MORGrounding.DataInstance, MORGrounding.GroundBase<J extends org.semanticweb.owlapi.model.OWLObject>, MORGrounding.IndividualInstance, MORGrounding.ObjectInstance
MORObjectProperty.Disjoint<D extends MORObjectProperty>, MORObjectProperty.Domain, MORObjectProperty.Equivalent<D extends MORObjectProperty>, MORObjectProperty.Inverse<D extends MORObjectProperty>, MORObjectProperty.Range, MORObjectProperty.Sub<D extends MORObjectProperty>, MORObjectProperty.Super<D extends MORObjectProperty>
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 |
---|---|
default boolean |
addInverseObjectProperty(java.lang.String propertyName)
It is an helper that just calls:
{@link #getInverseObjectProperty()}.add( {@link #getOntology()}.getOWLObjectProperty( propertyName))
in order to add a new object property (given by name) in the Semantic.Axioms list. |
default boolean |
addInverseObjectProperty(org.semanticweb.owlapi.model.OWLObjectProperty property)
It is an helper that just calls:
{@link #getInverseObjectProperty()}.add( property)
in order to add a new object property in the Semantic.Axioms list. |
MORAxioms.ObjectLinks |
getInverseObjectProperty()
Returns the
Semantic.Axioms that describes all the inverse object properties of
this grounded ObjectProperty ; from a no OOP point of view. |
default MORAxioms.ObjectLinks |
queryInverseObjectProperty()
Queries to the OWL representation for the inverse properties of
this object property. |
default boolean |
removeInverseObjectProperty(java.lang.String propertyName)
It is an helper that just calls:
{@link #getInverseObjectProperty()}.remove( {@link #getOntology()}.getOWLObjectProperty( propertyName))
in order to remove an object property (given by name) from the Semantic.Axioms list. |
default boolean |
removeInverseObjectProperty(org.semanticweb.owlapi.model.OWLObjectProperty property)
It is an helper that just calls:
{@link #getInverseObjectProperty()}.remove( property)
in order to remove an object property in the Semantic.Axioms list. |
default java.util.List<Semantic.MappingIntent> |
writeSemantic()
This method is used to synchronise specific
Semantic.Axioms (or Semantic.SemanticAxioms )
to the ontology. |
aMORlogging, getOntologyName, getOWLClass, getOWLDataFactory, getOWLDataProperty, getOWLDataType, getOWLIndividual, getOWLLiteral, getOWLName, getOWLName, getOWLObjectProperty, getOWLOntology, getReasoner, isCompleteQuery, isReasonedQuery, reason, saveOntology, saveOntology, setCompleteQuery, setReasonedQuery
getGroundInstance, getGroundOntology, setAsymmetric, setFunctional, setInverseFunctional, setIrreflexive, setNotAsymmetric, setNotFunctional, setNotInverseFunctional, setNotIrreflexive, setNotReflexive, setNotSymmetric, setNotTransitive, setReflexive, setSymmetric, setTransitive
buildInverseObjectProperty, getNewInverseObjectProperty, readSemantic, synchroniseInverseObjectPropertyFromSemantic, synchroniseInverseObjectPropertyToSemantic
getChangingIntent, getGround, getInstance, getIntent, getOntology, groundReason, writeSemanticInconsistencySafe, writeSemanticInconsistencySafe
copyGround
default boolean addInverseObjectProperty(java.lang.String propertyName)
{@link #getInverseObjectProperty()}.add( {@link #getOntology()}.getOWLObjectProperty( propertyName))
in order to add a new object property (given by name) in the Semantic.Axioms
list.propertyName
- the property name to add for synchronisation.true
if the axioms changed as a result of the call.default boolean addInverseObjectProperty(org.semanticweb.owlapi.model.OWLObjectProperty property)
{@link #getInverseObjectProperty()}.add( property)
in order to add a new object property in the Semantic.Axioms
list.property
- the property to add for synchronisation.true
if the axioms changed as a result of the call.default boolean removeInverseObjectProperty(java.lang.String propertyName)
{@link #getInverseObjectProperty()}.remove( {@link #getOntology()}.getOWLObjectProperty( propertyName))
in order to remove an object property (given by name) from the Semantic.Axioms
list.propertyName
- the property name to remove for synchronisation.true
if an element was removed as a result of this call.default boolean removeInverseObjectProperty(org.semanticweb.owlapi.model.OWLObjectProperty property)
{@link #getInverseObjectProperty()}.remove( property)
in order to remove an object property in the Semantic.Axioms
list.property
- the property to remove for synchronisation.true
if an element was removed as a result of this call.MORAxioms.ObjectLinks getInverseObjectProperty()
ObjectProperty.Inverse
Semantic.Axioms
that describes all the inverse object properties of
this
grounded ObjectProperty
; from a no OOP point of view.getInverseObjectProperty
in interface ObjectProperty.Inverse<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLObjectProperty,D extends MORObjectProperty>
this
described property.default MORAxioms.ObjectLinks queryInverseObjectProperty()
ObjectProperty.Inverse
this
object property.queryInverseObjectProperty
in interface ObjectProperty.Inverse<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLObjectProperty,D extends MORObjectProperty>
Semantic.Axioms
contained the inverse properties of Semantic.Descriptor.getInstance()
,
into the OWL structure.default java.util.List<Semantic.MappingIntent> writeSemantic()
Semantic.Descriptor
Semantic.Axioms
(or Semantic.SemanticAxioms
)
to the ontology. It manipulates the OWL representation to be
equal to the OWLOOP structure. It is based on Axioms#synchroniseTo(Axioms)
.writeSemantic
in interface Semantic.Descriptor<O,J>
Semantic.MappingIntent.getOntologyChanges()
field
initialised (i.e.: OWLOntologyChange
).