public abstract class DefClassDesc extends ClassGround implements ClassExpression.EquivalentRestriction
ClassExpression
) interface:
EquivalentRestriction
: to describe the definition of a Class..FullClassDesc
for an example of a 'compound' Class Descriptor that implements all ClassExpressions (aka ClassExpression
).
ClassExpression.Disjoint<D extends ClassExpression>, ClassExpression.Equivalent<D extends ClassExpression>, ClassExpression.EquivalentRestriction, ClassExpression.Instance<D extends IndividualExpression>, ClassExpression.Sub<D extends ClassExpression>, ClassExpression.Super<D extends ClassExpression>
Class.Restriction<O,J,Y>
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
Modifier and Type | Method and Description |
---|---|
Restrictions |
getEquivalentRestrictions()
Returns the
EntitySet that describes all the definition restriction of
this Class from a no OOP point of view. |
protected abstract it.emarolab.amor.owlInterface.SemanticRestriction.ApplyingPropertyRestriction |
getRestriction() |
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
addClassRestriction, addClassRestriction, addExactDataRestriction, addExactDataRestriction, addExactObjectRestriction, addExactObjectRestriction, addMaxDataRestriction, addMaxDataRestriction, addMaxObjectRestriction, addMaxObjectRestriction, addMinDataRestriction, addMinDataRestriction, addMinObjectRestriction, addMinObjectRestriction, addOnlyDataRestriction, addOnlyDataRestriction, addOnlyObjectRestrcition, addOnlyObjectRestrcition, addSomeDataRestriction, addSomeDataRestriction, addSomeObjectRestrcition, addSomeObjectRestrcition, createClassRestriction, createClassRestriction, createExactDataRestriction, createExactDataRestriction, createExactObjectRestriction, createExactObjectRestriction, createMaxDataRestriction, createMaxDataRestriction, createMaxObjectRestriction, createMaxObjectRestriction, createMinDataRestriction, createMinDataRestriction, createMinObjectRestriction, createMinObjectRestriction, createOnlyDataRestriction, createOnlyDataRestriction, createOnlyObjectRestriction, createOnlyObjectRestriction, createSomeDataRestriction, createSomeDataRestriction, createSomeObjectRestriction, createSomeObjectRestriction, queryEquivalentRestrictions, removeClassRestriction, removeExactDataRestriction, removeExactDataRestriction, removeExactObjectRestriction, removeExactObjectRestriction, removeMaxDataRestriction, removeMaxDataRestriction, removeMaxObjectRestriction, removeMaxObjectRestriction, removeMinDataRestriction, removeMinDataRestriction, removeMinObjectRestriction, removeMinObjectRestriction, removeOnlyDataRestriction, removeOnlyDataRestriction, removeOnlyObjectRestrcition, removeOnlyObjectRestrcition, removeSomeDataRestriction, removeSomeDataRestriction, removeSomeObjectRestrcition, removeSomeObjectRestrcition, remvoveClassRestriction
synchroniseEquivalentRestrictionsFromExpressionAxioms, synchroniseEquivalentRestrictionsToExpressionAxioms
getGroundInstance, getGroundOntology
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 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.OWLClass>
readAxioms
in interface Class.Restriction<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLClass,it.emarolab.amor.owlInterface.SemanticRestriction>
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.OWLClass>
writeAxioms
in interface ClassExpression.EquivalentRestriction
Axiom.MappingIntent.getOntologyChanges()
field
initialised (i.e.: OWLOntologyChange
).protected abstract it.emarolab.amor.owlInterface.SemanticRestriction.ApplyingPropertyRestriction getRestriction()
public Restrictions getEquivalentRestrictions()
Class.Restriction
EntitySet
that describes all the definition restriction of
this
Class
from a no OOP point of view.getEquivalentRestrictions
in interface Class.Restriction<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLClass,it.emarolab.amor.owlInterface.SemanticRestriction>
getEquivalentRestrictions
in interface ClassExpression.EquivalentRestriction
this
class.public java.lang.String toString()
toString
in class java.lang.Object