D
- the type of the MORObjectProperty
descriptor instantiated during
ObjectProperty.Super.buildSuperObjectProperty()
through getSuperObjectProperty()
.public static interface MORObjectProperty.Super<D extends MORObjectProperty> extends ObjectProperty.Super<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLObjectProperty,D>, MORObjectProperty
ObjectProperty.Super
Semantic.Descriptor
implementation for OWLObjectProperty
.
It specify how to querySuperObjectProperty()
and writeSemantic()
for the
super 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 |
addSuperObjectProperty(java.lang.String propertyName)
It is an helper that just calls:
{@link #getSuperObjectProperty()}.add( {@link #getOntology()}.getOWLObjectProperty( propertyName))
in order to add a new object property (given by name) in the Semantic.Axioms list. |
default boolean |
addSuperObjectProperty(org.semanticweb.owlapi.model.OWLObjectProperty property)
It is an helper that just calls:
{@link #getSuperObjectProperty()}.add( property)
in order to add a new object property in the Semantic.Axioms list. |
MORAxioms.ObjectLinks |
getSuperObjectProperty()
Returns the
Semantic.Axioms that describes all the super object properties of
this grounded ObjectProperty ; from a no OOP point of view. |
default MORAxioms.ObjectLinks |
querySuperObjectProperty()
Queries to the OWL representation for the super properties of
this object property. |
default boolean |
removeSuperObjectProperty(java.lang.String propertyName)
It is an helper that just calls:
{@link #getSuperObjectProperty()}.remove( {@link #getOntology()}.getOWLObjectProperty( propertyName))
in order to remove an object property (given by name) from the Semantic.Axioms list. |
default boolean |
removeSuperObjectProperty(org.semanticweb.owlapi.model.OWLObjectProperty property)
It is an helper that just calls:
{@link #getSuperObjectProperty()}.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
buildSuperObjectProperty, getNewSuperObjectProperty, readSemantic, synchroniseSuperObjectPropertyFromSemantic, synchroniseSuperObjectPropertyToSemantic
getChangingIntent, getGround, getInstance, getIntent, getOntology, groundReason, writeSemanticInconsistencySafe, writeSemanticInconsistencySafe
copyGround
default boolean addSuperObjectProperty(java.lang.String propertyName)
{@link #getSuperObjectProperty()}.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 addSuperObjectProperty(org.semanticweb.owlapi.model.OWLObjectProperty property)
{@link #getSuperObjectProperty()}.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 removeSuperObjectProperty(java.lang.String propertyName)
{@link #getSuperObjectProperty()}.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 removeSuperObjectProperty(org.semanticweb.owlapi.model.OWLObjectProperty property)
{@link #getSuperObjectProperty()}.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 getSuperObjectProperty()
ObjectProperty.Super
Semantic.Axioms
that describes all the super object properties of
this
grounded ObjectProperty
; from a no OOP point of view.getSuperObjectProperty
in interface ObjectProperty.Super<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLObjectProperty,D extends MORObjectProperty>
this
described property.default MORAxioms.ObjectLinks querySuperObjectProperty()
ObjectProperty.Super
this
object property.querySuperObjectProperty
in interface ObjectProperty.Super<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLObjectProperty,D extends MORObjectProperty>
Semantic.Axioms
contained the super 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
).