D
- the type of the IndividualExpression
descriptor instantiated during
Class.Instance.buildIndividuals()
through Class.Instance.getIndividualDescriptor(Object, Object)
.public static interface ClassExpression.Instance<D extends IndividualExpression> extends Class.Instance<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLClass,org.semanticweb.owlapi.model.OWLNamedIndividual,D>, ClassExpression
Class.Instance
expression for a Descriptor
whose ground is OWLClass
.
It specifies how to queryIndividuals()
and writeAxioms()
for the
individuals 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 |
addIndividual(org.semanticweb.owlapi.model.OWLNamedIndividual instance)
It is an helper that just calls:
{@link #getIndividuals()}.add( individualDescriptor)
in order to add a new individualDescriptor in the EntitySet list. |
default boolean |
addIndividual(java.lang.String individualName)
It is an helper that just calls:
{@link #getIndividuals()}.add( {@link #getOntologyReference()}.getOWLIndividual( propertyName))
in order to add a new individualDescriptor (given by name) in the EntitySet list. |
default Individuals |
queryIndividuals()
Queries to the OWL representation of the individualDescriptor that are classified in
this class. |
default boolean |
removeIndividual(org.semanticweb.owlapi.model.OWLNamedIndividual instance)
It is an helper that just calls:
{@link #getIndividuals()}.remove( individualDescriptor)
in order to remove an individualDescriptor in the EntitySet list. |
default boolean |
removeIndividual(java.lang.String individualName)
It is an helper that just calls:
{@link #getIndividuals()}.remove( {@link #getOntologyReference()}.getOWLIndividual( propertyName))
in order to remove an individualDescriptor (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. |
buildIndividuals, getIndividualDescriptor, getIndividuals, readAxioms, synchroniseIndividualsFromExpressionAxioms, synchroniseIndividualsToExpressionAxioms
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 addIndividual(java.lang.String individualName)
{@link #getIndividuals()}.add( {@link #getOntologyReference()}.getOWLIndividual( propertyName))
in order to add a new individualDescriptor (given by name) in the EntitySet
list.individualName
- the individualDescriptor name to add for synchronisation.true
if the axioms changed as a result of the call.default boolean addIndividual(org.semanticweb.owlapi.model.OWLNamedIndividual instance)
{@link #getIndividuals()}.add( individualDescriptor)
in order to add a new individualDescriptor in the EntitySet
list.instance
- the individualDescriptor to add for synchronisation.true
if the axioms changed as a result of the call.default boolean removeIndividual(java.lang.String individualName)
{@link #getIndividuals()}.remove( {@link #getOntologyReference()}.getOWLIndividual( propertyName))
in order to remove an individualDescriptor (given by name) from the EntitySet
list.individualName
- the individualDescriptor name to remove for synchronisation.true
if an element was removed as a result of this call.default boolean removeIndividual(org.semanticweb.owlapi.model.OWLNamedIndividual instance)
{@link #getIndividuals()}.remove( individualDescriptor)
in order to remove an individualDescriptor in the EntitySet
list.instance
- the individualDescriptor to remove for synchronisation.true
if an element was removed as a result of this call.default Individuals queryIndividuals()
Class.Instance
this
class.queryIndividuals
in interface Class.Instance<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLClass,org.semanticweb.owlapi.model.OWLNamedIndividual,D extends IndividualExpression>
EntitySet
contained the individualDescriptor classified by
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
).