public class TypeIndividualDesc extends IndividualGround implements IndividualExpression.Type<DefSubClassDesc>
IndividualExpression
interfaces:
IndividualExpression.Type
: to describe the Type/s (i.e., class/es) of an Individual.
Doing build() with this Descriptor returns another descriptor of type DefSubClassDesc
.
FullIndividualDesc
for an example of a 'compound' Individual Descriptor that implements all IndividualExpressions.
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>
NL
Constructor and Description |
---|
TypeIndividualDesc(org.semanticweb.owlapi.model.OWLNamedIndividual instance,
it.emarolab.amor.owlInterface.OWLReferences onto) |
Modifier and Type | Method and Description |
---|---|
DefSubClassDesc |
getNewType(org.semanticweb.owlapi.model.OWLClass instance,
it.emarolab.amor.owlInterface.OWLReferences ontology)
This method is called by
Individual.Type.buildTypes() and
its purpose is to instantiate a new Class to represent
the types of this Individual Descriptor . |
Classes |
getTypes()
Returns the
EntitySet that describes all the classes in which
this Individual is belonging to, from a no OOP point of view. |
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
addTypeIndividual, addTypeIndividual, queryTypes, removeTypeIndividual, removeTypeIndividual
buildTypes, 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
public TypeIndividualDesc(org.semanticweb.owlapi.model.OWLNamedIndividual 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.OWLNamedIndividual>
readAxioms
in interface Individual.Type<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLNamedIndividual,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.OWLNamedIndividual>
writeAxioms
in interface IndividualExpression.Type<DefSubClassDesc>
Axiom.MappingIntent.getOntologyChanges()
field
initialised (i.e.: OWLOntologyChange
).public DefSubClassDesc getNewType(org.semanticweb.owlapi.model.OWLClass instance, it.emarolab.amor.owlInterface.OWLReferences ontology)
Individual.Type
Individual.Type.buildTypes()
and
its purpose is to instantiate a new Class
to represent
the types of this
Individual
Descriptor
.getNewType
in interface Individual.Type<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLNamedIndividual,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 classes
in which this
individualDescriptor is belonging to.public 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,DefSubClassDesc>
getTypes
in interface IndividualExpression.Type<DefSubClassDesc>
this
individualDescriptor.public java.lang.String toString()
toString
in class java.lang.Object