public class RestrictionObjectPropertyDesc extends ObjectPropertyGround implements ObjectPropertyExpression.Disjoint<RestrictionObjectPropertyDesc>, ObjectPropertyExpression.Equivalent<RestrictionObjectPropertyDesc>, ObjectPropertyExpression.Inverse<RestrictionObjectPropertyDesc>
ObjectPropertyExpression
interfaces:
ObjectPropertyExpression.Equivalent
: to describe that an ObjectProperty is equivalent to another ObjectProperty.ObjectPropertyExpression.Disjoint
: to describe that an ObjectProperty is disjoint to another ObjectProperty.ObjectPropertyExpression.Inverse
: to describe that an ObjectProperty has another inverse ObjectProperty.FullObjectPropertyDesc
for an example of a 'compound' Individual Descriptor that implements all ObjectPropertyExpressions.
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>
NL
Constructor and Description |
---|
RestrictionObjectPropertyDesc(org.semanticweb.owlapi.model.OWLObjectProperty instance,
it.emarolab.amor.owlInterface.OWLReferences onto) |
RestrictionObjectPropertyDesc(org.semanticweb.owlapi.model.OWLObjectProperty instance,
java.lang.String ontoName) |
RestrictionObjectPropertyDesc(org.semanticweb.owlapi.model.OWLObjectProperty instance,
java.lang.String ontoName,
java.lang.String filePath,
java.lang.String iriPath) |
RestrictionObjectPropertyDesc(org.semanticweb.owlapi.model.OWLObjectProperty instance,
java.lang.String ontoName,
java.lang.String filePath,
java.lang.String iriPath,
boolean bufferingChanges) |
RestrictionObjectPropertyDesc(java.lang.String instanceName,
it.emarolab.amor.owlInterface.OWLReferences onto) |
RestrictionObjectPropertyDesc(java.lang.String instanceName,
java.lang.String ontoName) |
RestrictionObjectPropertyDesc(java.lang.String instanceName,
java.lang.String ontoName,
java.lang.String filePath,
java.lang.String iriPath) |
RestrictionObjectPropertyDesc(java.lang.String instanceName,
java.lang.String ontoName,
java.lang.String filePath,
java.lang.String iriPath,
boolean bufferingChanges) |
Modifier and Type | Method and Description |
---|---|
ObjectProperties |
getDisjointObjectProperties()
Returns the
EntitySet that describes all the disjoint object properties of
this grounded ObjectProperty ; from a no OOP point of view. |
ObjectProperties |
getEquivalentObjectProperties()
Returns the
EntitySet that describes all the equivalent object properties of
this grounded ObjectProperty ; from a no OOP point of view. |
ObjectProperties |
getInverseObjectProperties()
Returns the
EntitySet that describes all the inverse object properties of
this grounded ObjectProperty ; from a no OOP point of view. |
RestrictionObjectPropertyDesc |
getNewDisjointObjectProperty(org.semanticweb.owlapi.model.OWLObjectProperty instance,
it.emarolab.amor.owlInterface.OWLReferences ontology)
This method is called by
ObjectProperty.Disjoint.buildDisjointObjectProperties() and
its purpose is to instantiate a new ObjectProperty to represent
a disjointed property of this ObjectProperty Descriptor . |
RestrictionObjectPropertyDesc |
getNewEquivalentObjectProperty(org.semanticweb.owlapi.model.OWLObjectProperty instance,
it.emarolab.amor.owlInterface.OWLReferences ontology)
This method is called by
ObjectProperty.Equivalent.buildEquivalentObjectProperties() and
its purpose is to instantiate a new ObjectProperty to represent
an equivalent property of this ObjectProperty Descriptor . |
RestrictionObjectPropertyDesc |
getNewInverseObjectProperty(org.semanticweb.owlapi.model.OWLObjectProperty instance,
it.emarolab.amor.owlInterface.OWLReferences ontology)
This method is called by
ObjectProperty.Inverse.buildInverseObjectProperties() and
its purpose is to instantiate a new ObjectProperty to represent
an inverse property of this ObjectProperty Descriptor . |
java.util.List<Axiom.MappingIntent> |
readAxioms()
This method is used to update specific
Axiom.EntitySet (or Axiom.ExpressionEntitySet ) by synchronizing
the internal state of the descriptor with the queried OWL structure, such that they are equal. |
java.lang.String |
toString() |
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. |
getGround, getNewGround, getNewGround
copyGround, equals, getGroundInstanceName, hashCode, reason, setGround, setGroundInstance, setGroundInstance
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
addDisjointObjectProperty, addDisjointObjectProperty, queryDisjointObjectProperties, removeDisjointObjectProperty, removeDisjointObjectProperty
buildDisjointObjectProperties, synchroniseDisjointObjectPropertiesFromExpressionAxioms, synchroniseDisjointObjectPropertiesToExpressionAxioms
addEquivalentObjectProperty, addEquivalentObjectProperty, queryEquivalentObjectProperties, removeEquivalentObjectProperty, removeEquivalentObjectProperty
buildEquivalentObjectProperties, synchroniseEquivalentObjectPropertiesFromExpressionAxioms, synchroniseEquivalentObjectPropertiesToExpressionAxioms
addInverseObjectProperty, addInverseObjectProperty, queryInverseObjectProperties, removeInverseObjectProperty, removeInverseObjectProperty
buildInverseObjectProperties, synchroniseInverseObjectPropertiesFromExpressionAxioms, synchroniseInverseObjectPropertiesToExpressionAxioms
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
public RestrictionObjectPropertyDesc(org.semanticweb.owlapi.model.OWLObjectProperty instance, it.emarolab.amor.owlInterface.OWLReferences onto)
public RestrictionObjectPropertyDesc(java.lang.String instanceName, it.emarolab.amor.owlInterface.OWLReferences onto)
public RestrictionObjectPropertyDesc(org.semanticweb.owlapi.model.OWLObjectProperty instance, java.lang.String ontoName)
public RestrictionObjectPropertyDesc(org.semanticweb.owlapi.model.OWLObjectProperty instance, java.lang.String ontoName, java.lang.String filePath, java.lang.String iriPath)
public RestrictionObjectPropertyDesc(org.semanticweb.owlapi.model.OWLObjectProperty instance, java.lang.String ontoName, java.lang.String filePath, java.lang.String iriPath, boolean bufferingChanges)
public RestrictionObjectPropertyDesc(java.lang.String instanceName, java.lang.String ontoName)
public RestrictionObjectPropertyDesc(java.lang.String instanceName, java.lang.String ontoName, java.lang.String filePath, java.lang.String iriPath)
public RestrictionObjectPropertyDesc(java.lang.String instanceName, java.lang.String ontoName, java.lang.String filePath, java.lang.String iriPath, boolean bufferingChanges)
public java.util.List<Axiom.MappingIntent> readAxioms()
Axiom.Descriptor
Axiom.EntitySet
(or Axiom.ExpressionEntitySet
) by synchronizing
the internal state of the descriptor with the queried OWL structure, such that they are equal.
It is based on EntitySet#synchroniseFrom(EntitySet)
.readAxioms
in interface Axiom.Descriptor<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLObjectProperty>
readAxioms
in interface ObjectProperty.Disjoint<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLObjectProperty,RestrictionObjectPropertyDesc>
readAxioms
in interface ObjectProperty.Equivalent<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLObjectProperty,RestrictionObjectPropertyDesc>
readAxioms
in interface ObjectProperty.Inverse<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLObjectProperty,RestrictionObjectPropertyDesc>
Axiom.EntitySet
during the reading.
Note that the elements of the returned list, may not have the Axiom.MappingIntent.getOntologyChanges()
field
initialised (i.e.: Void
).public 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>
writeAxioms
in interface ObjectPropertyExpression.Disjoint<RestrictionObjectPropertyDesc>
writeAxioms
in interface ObjectPropertyExpression.Equivalent<RestrictionObjectPropertyDesc>
writeAxioms
in interface ObjectPropertyExpression.Inverse<RestrictionObjectPropertyDesc>
Axiom.MappingIntent.getOntologyChanges()
field
initialised (i.e.: OWLOntologyChange
).public RestrictionObjectPropertyDesc getNewDisjointObjectProperty(org.semanticweb.owlapi.model.OWLObjectProperty instance, it.emarolab.amor.owlInterface.OWLReferences ontology)
ObjectProperty.Disjoint
ObjectProperty.Disjoint.buildDisjointObjectProperties()
and
its purpose is to instantiate a new ObjectProperty
to represent
a disjointed property of this
ObjectProperty
Descriptor
.getNewDisjointObjectProperty
in interface ObjectProperty.Disjoint<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLObjectProperty,RestrictionObjectPropertyDesc>
instance
- the instance to ground the new disjoint ObjectProperty
.ontology
- the ontology in which ground the new ObjectProperty
.Axiom.Descriptor
for all the disjointed properties
of the one described by this
interface.public 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,RestrictionObjectPropertyDesc>
getDisjointObjectProperties
in interface ObjectPropertyExpression.Disjoint<RestrictionObjectPropertyDesc>
this
described property.public RestrictionObjectPropertyDesc getNewEquivalentObjectProperty(org.semanticweb.owlapi.model.OWLObjectProperty instance, it.emarolab.amor.owlInterface.OWLReferences ontology)
ObjectProperty.Equivalent
ObjectProperty.Equivalent.buildEquivalentObjectProperties()
and
its purpose is to instantiate a new ObjectProperty
to represent
an equivalent property of this
ObjectProperty
Descriptor
.getNewEquivalentObjectProperty
in interface ObjectProperty.Equivalent<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLObjectProperty,RestrictionObjectPropertyDesc>
instance
- the instance to ground the new equivalent ObjectProperty
.ontology
- the ontology in which ground the new ObjectProperty
.Axiom.Descriptor
for all the equivalent properties
of the one described by this
interface.public ObjectProperties getEquivalentObjectProperties()
ObjectProperty.Equivalent
EntitySet
that describes all the equivalent object properties of
this
grounded ObjectProperty
; from a no OOP point of view.getEquivalentObjectProperties
in interface ObjectProperty.Equivalent<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLObjectProperty,RestrictionObjectPropertyDesc>
getEquivalentObjectProperties
in interface ObjectPropertyExpression.Equivalent<RestrictionObjectPropertyDesc>
this
described property.public RestrictionObjectPropertyDesc getNewInverseObjectProperty(org.semanticweb.owlapi.model.OWLObjectProperty instance, it.emarolab.amor.owlInterface.OWLReferences ontology)
ObjectProperty.Inverse
ObjectProperty.Inverse.buildInverseObjectProperties()
and
its purpose is to instantiate a new ObjectProperty
to represent
an inverse property of this
ObjectProperty
Descriptor
.getNewInverseObjectProperty
in interface ObjectProperty.Inverse<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLObjectProperty,RestrictionObjectPropertyDesc>
instance
- the instance to ground the new inverse ObjectProperty
.ontology
- the ontology in which ground the new ObjectProperty
.Axiom.Descriptor
for all the inverse properties
of the one described by this
interface.public ObjectProperties getInverseObjectProperties()
ObjectProperty.Inverse
EntitySet
that describes all the inverse object properties of
this
grounded ObjectProperty
; from a no OOP point of view.getInverseObjectProperties
in interface ObjectProperty.Inverse<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLObjectProperty,RestrictionObjectPropertyDesc>
getInverseObjectProperties
in interface ObjectPropertyExpression.Inverse<RestrictionObjectPropertyDesc>
this
described property.public java.lang.String toString()
toString
in class java.lang.Object