D
- the type of the ClassExpression
descriptors instantiated during
Individual.Type.buildTypes()
through Individual.Type.getNewType(Object, Object)
.public static interface IndividualExpression.Type<D extends ClassExpression> extends Individual.Type<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLNamedIndividual,org.semanticweb.owlapi.model.OWLClass,D>, IndividualExpression
Individual.Type
expression for a Descriptor
whose ground is OWLNamedIndividual
.
It specifies how to queryTypes()
and writeAxioms()
for the
types (i.e.: OWLClass
) of the ground Individual (Axiom.Descriptor.getInstance()
).
IndividualExpression.DataLink<D extends DataPropertyExpression>, IndividualExpression.Disjoint<D extends IndividualExpression>, IndividualExpression.Equivalent<D extends IndividualExpression>, IndividualExpression.ObjectLink<D extends ObjectPropertyExpression>, IndividualExpression.Type<D extends ClassExpression>
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 |
addTypeIndividual(org.semanticweb.owlapi.model.OWLClass instance)
It is an helper that just calls:
{@link #getTypes()}.add( cl)
in order to add a new class in the EntitySet list. |
default boolean |
addTypeIndividual(java.lang.String className)
It is an helper that just calls:
{@link #getTypes()}.add( {@link #getOntologyReference()}.getOWLClass( className))
in order to add a new class (given by name) in the EntitySet list. |
Classes |
getTypes()
Returns the
EntitySet that describes all the classes in which
this Individual is belonging to, from a no OOP point of view. |
default Classes |
queryTypes()
Queries to the OWL representation for the types of
this individualDescriptor. |
default boolean |
removeTypeIndividual(org.semanticweb.owlapi.model.OWLClass instance)
It is an helper that just calls:
{@link #getTypes()}.remove( individualDescriptor)
in order to remove a class in the EntitySet list. |
default boolean |
removeTypeIndividual(java.lang.String className)
It is an helper that just calls:
{@link #getTypes()}.remove( {@link #getOntologyReference()}.getOWLClass( className))
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. |
buildTypes, getNewType, readAxioms, synchroniseTypesFromExpressionAxioms, synchroniseTypesToExpressionAxioms
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 addTypeIndividual(java.lang.String className)
{@link #getTypes()}.add( {@link #getOntologyReference()}.getOWLClass( className))
in order to add a new class (given by name) in the EntitySet
list.className
- the class name to add for synchronisation.true
if the axioms changed as a result of the call.default boolean addTypeIndividual(org.semanticweb.owlapi.model.OWLClass instance)
{@link #getTypes()}.add( cl)
in order to add a new class in the EntitySet
list.instance
- the class to add for synchronisation.true
if the axioms changed as a result of the call.default boolean removeTypeIndividual(java.lang.String className)
{@link #getTypes()}.remove( {@link #getOntologyReference()}.getOWLClass( className))
in order to remove a class (given by name) from the EntitySet
list.className
- the class name to remove for synchronisation.true
if an element was removed as a result of this call.default boolean removeTypeIndividual(org.semanticweb.owlapi.model.OWLClass instance)
{@link #getTypes()}.remove( individualDescriptor)
in order to remove a class in the EntitySet
list.instance
- the class to remove for synchronisation.true
if an element was removed as a result of this call.Classes getTypes()
Individual.Type
EntitySet
that describes all the classes in which
this
Individual
is belonging to, from a no OOP point of view.getTypes
in interface Individual.Type<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLNamedIndividual,org.semanticweb.owlapi.model.OWLClass,D extends ClassExpression>
this
individualDescriptor.default Classes queryTypes()
Individual.Type
this
individualDescriptor.queryTypes
in interface Individual.Type<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLNamedIndividual,org.semanticweb.owlapi.model.OWLClass,D extends ClassExpression>
EntitySet
contained the classes in which Axiom.Descriptor.getInstance()
is belonging to, into the OWL structure.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.OWLNamedIndividual>
Axiom.MappingIntent.getOntologyChanges()
field
initialised (i.e.: OWLOntologyChange
).