D
- the type of the ClassExpression
descriptor instantiated during
Class.Super.buildSuperClasses()
through Class.Super.getSuperClassDescriptor(Object, Object)
.public static interface ClassExpression.Super<D extends ClassExpression> extends Class.Super<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLClass,D>, ClassExpression
Class.Super
expression for a Descriptor
whose ground is OWLClass
.
It specifies how to querySuperClasses()
and writeAxioms()
for the
super-classes of the ground Class (ClassExpression.getGroundInstance()
).
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>
Modifier and Type | Method and Description |
---|---|
default boolean |
addSuperClass(org.semanticweb.owlapi.model.OWLClass instance)
It is an helper that just calls:
{@link #getSuperClasses()}.add( cl)
in order to add a new class in the EntitySet list. |
default boolean |
addSuperClass(java.lang.String className)
It is an helper that just calls:
{@link #getSuperClasses()}.add( {@link #getOntologyReference()}.getOWLClass( propertyName))
in order to add a new class (given by name) in the EntitySet list. |
default Classes |
querySuperClasses()
Queries to the OWL representation for the super classes of
this class. |
default boolean |
removeSuperClass(org.semanticweb.owlapi.model.OWLClass instance)
It is an helper that just calls:
{@link #getSuperClasses()}.remove( cl)
in order to remove a class in the EntitySet list. |
default boolean |
removeSuperClass(java.lang.String className)
It is an helper that just calls:
{@link #getSuperClasses()}.remove( {@link #getOntologyReference()}.getOWLClass( propertyName))
in order to remove a class (given by name) from the EntitySet list. |
default 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. |
buildSuperClasses, getSuperClassDescriptor, getSuperClasses, readAxioms, synchroniseSuperClassesFromExpressionAxioms, synchroniseSuperClassesToExpressionAxioms
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
default boolean addSuperClass(java.lang.String className)
{@link #getSuperClasses()}.add( {@link #getOntologyReference()}.getOWLClass( propertyName))
in order to add a new class (given by name) in the EntitySet
list.
This method should be always synchronised with Axiom.Descriptor.writeAxiomsReasonReadAxioms()
to be perfectly aligned with the ontology, since it affects ClassExpression.EquivalentRestriction
EntitySet
.className
- the class name to add for synchronisation.true
if the axioms changed as a result of the call.default boolean addSuperClass(org.semanticweb.owlapi.model.OWLClass instance)
{@link #getSuperClasses()}.add( cl)
in order to add a new class in the EntitySet
list.
This method should be always synchronised with Axiom.Descriptor.writeAxiomsReasonReadAxioms()
to be perfectly aligned with the ontology, since it affects ClassExpression.EquivalentRestriction
EntitySet
.instance
- the class to add for synchronisation.true
if the axioms changed as a result of the call.default boolean removeSuperClass(java.lang.String className)
{@link #getSuperClasses()}.remove( {@link #getOntologyReference()}.getOWLClass( propertyName))
in order to remove a class (given by name) from the EntitySet
list.
This method should be always synchronised with Axiom.Descriptor.writeAxiomsReasonReadAxioms()
to be perfectly aligned with the ontology, since it affects ClassExpression.EquivalentRestriction
EntitySet
.className
- the class name to remove for synchronisation.true
if an element was removed as a result of this call.default boolean removeSuperClass(org.semanticweb.owlapi.model.OWLClass instance)
{@link #getSuperClasses()}.remove( cl)
in order to remove a class in the EntitySet
list.
This method should be always synchronised with Axiom.Descriptor.writeAxiomsReasonReadAxioms()
to be perfectly aligned with the ontology, since it affects ClassExpression.EquivalentRestriction
EntitySet
.instance
- the class to remove for synchronisation.true
if an element was removed as a result of this call.default Classes querySuperClasses()
Class.Super
this
class.querySuperClasses
in interface Class.Super<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLClass,D extends ClassExpression>
EntitySet
contained the super classes to
the OWL structure of Axiom.Descriptor.getInstance()
.default 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>
Axiom.MappingIntent.getOntologyChanges()
field
initialised (i.e.: OWLOntologyChange
).