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