public class DefSubClassDesc extends ClassGround implements ClassExpression.EquivalentRestriction, ClassExpression.Sub<DefSubClassDesc>
ClassExpression
interfaces:
EquivalentRestriction
: to describe the definition of a Class..ClassExpression.Sub
: to describe that a Class subsumes another Class.
Doing build() with this Descriptor returns the descriptor of type DefSubClassDesc
.
FullClassDesc
for an example of a 'compound' Class Descriptor that implements all ConceptExpressions.
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
Constructor and Description |
---|
DefSubClassDesc(org.semanticweb.owlapi.model.OWLClass instance,
it.emarolab.amor.owlInterface.OWLReferences onto) |
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. |
DefSubClassDesc |
getSubClassDescriptor(org.semanticweb.owlapi.model.OWLClass instance,
it.emarolab.amor.owlInterface.OWLReferences ontology)
This method is called by
Class.Sub.buildSubClasses() and
its purpose is to instantiate a new Class to represent
an sub class of this Class Descriptor . |
Classes |
getSubClasses()
|
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
addSubClass, addSubClass, querySubClasses, removeSubClass, removeSubClass
buildSubClasses, synchroniseSubClassesFromExpressionAxioms, synchroniseSubClassesToExpressionAxioms
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 DefSubClassDesc(org.semanticweb.owlapi.model.OWLClass instance, it.emarolab.amor.owlInterface.OWLReferences onto)
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>
readAxioms
in interface Class.Sub<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLClass,DefSubClassDesc>
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
writeAxioms
in interface ClassExpression.Sub<DefSubClassDesc>
Axiom.MappingIntent.getOntologyChanges()
field
initialised (i.e.: OWLOntologyChange
).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 DefSubClassDesc getSubClassDescriptor(org.semanticweb.owlapi.model.OWLClass instance, it.emarolab.amor.owlInterface.OWLReferences ontology)
Class.Sub
Class.Sub.buildSubClasses()
and
its purpose is to instantiate a new Class
to represent
an sub class of this
Class
Descriptor
.getSubClassDescriptor
in interface Class.Sub<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLClass,DefSubClassDesc>
instance
- the instance to ground the new Class
.ontology
- the ontology in which ground the new Class
.Axiom.Descriptor
for all the sub classes
of this
descriptor.public Classes getSubClasses()
Class.Sub
getSubClasses
in interface Class.Sub<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLClass,DefSubClassDesc>
this
class.public java.lang.String toString()
toString
in class java.lang.Object