D
- the type of the MORConcept
descriptors instantiated during
Individual.Type.buildTypeIndividual()
through Individual.Type.getNewTypeIndividual(Object, Object)
.public static interface MORIndividual.Type<D extends MORConcept> extends Individual.Type<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLNamedIndividual,org.semanticweb.owlapi.model.OWLClass,D>, MORIndividual
Individual.Type
Semantic.Descriptor
implementation for OWLNamedIndividual
.
It specify how to queryTypeIndividual()
and writeSemantic()
for the
types (i.e.: OWLClass
) in which the described individual (i.e.: Semantic.Descriptor.getInstance()
)
in belonging to.
MORGrounding.ConceptInstance, MORGrounding.DataInstance, MORGrounding.GroundBase<J extends org.semanticweb.owlapi.model.OWLObject>, MORGrounding.IndividualInstance, MORGrounding.ObjectInstance
MORIndividual.DataLink<D extends MORDataProperty>, MORIndividual.Disjoint<D extends MORIndividual>, MORIndividual.Equivalent<D extends MORIndividual>, MORIndividual.ObjectLink<D extends MORObjectProperty>, MORIndividual.Type<D extends MORConcept>
Semantic.Axioms<Y>, Semantic.Descriptor<O,J>, Semantic.Ground<O,J>, Semantic.MappingIntent<I extends Semantic.Ground,C>, Semantic.SemanticAxiom<S,Y>, Semantic.SemanticAxioms<F extends Semantic.SemanticAxiom<?,Y>,Y>
Modifier and Type | Method and Description |
---|---|
default boolean |
addTypeIndividual(java.lang.String className)
It is an helper that just calls:
{@link #getTypeIndividual()}.add( {@link #getOntology()}.getOWLClass( className))
in order to add a new class (given by name) in the Semantic.Axioms list. |
default boolean |
addTypeIndividual(org.semanticweb.owlapi.model.OWLClass cl)
It is an helper that just calls:
{@link #getTypeIndividual()}.add( cl)
in order to add a new class in the Semantic.Axioms list. |
MORAxioms.Concepts |
getTypeIndividual()
Returns the
Semantic.Axioms that describes all the classes in which
this Individual is belonging to, from a no OOP point of view. |
default MORAxioms.Concepts |
queryTypeIndividual()
Queries to the OWL representation for the types of
this individual. |
default boolean |
removeTypeIndividual(java.lang.String className)
It is an helper that just calls:
{@link #getTypeIndividual()}.remove( {@link #getOntology()}.getOWLClass( className))
in order to remove a class (given by name) from the Semantic.Axioms list. |
default boolean |
removeTypeIndividual(org.semanticweb.owlapi.model.OWLClass cl)
It is an helper that just calls:
{@link #getTypeIndividual()}.remove( individual)
in order to remove a class in the Semantic.Axioms list. |
default java.util.List<Semantic.MappingIntent> |
writeSemantic()
This method is used to synchronise specific
Semantic.Axioms (or Semantic.SemanticAxioms )
to the ontology. |
buildTypeIndividual, getNewTypeIndividual, readSemantic, synchroniseTypeIndividualFromSemantic, synchroniseTypeIndividualToSemantic
aMORlogging, getOntologyName, getOWLClass, getOWLDataFactory, getOWLDataProperty, getOWLDataType, getOWLIndividual, getOWLLiteral, getOWLName, getOWLName, getOWLObjectProperty, getOWLOntology, getReasoner, isCompleteQuery, isReasonedQuery, reason, saveOntology, saveOntology, setCompleteQuery, setReasonedQuery
getGroundInstance, getGroundOntology
getChangingIntent, getGround, getInstance, getIntent, getOntology, groundReason, writeSemanticInconsistencySafe, writeSemanticInconsistencySafe
copyGround
default boolean addTypeIndividual(java.lang.String className)
{@link #getTypeIndividual()}.add( {@link #getOntology()}.getOWLClass( className))
in order to add a new class (given by name) in the Semantic.Axioms
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 cl)
{@link #getTypeIndividual()}.add( cl)
in order to add a new class in the Semantic.Axioms
list.cl
- 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 #getTypeIndividual()}.remove( {@link #getOntology()}.getOWLClass( className))
in order to remove a class (given by name) from the Semantic.Axioms
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 cl)
{@link #getTypeIndividual()}.remove( individual)
in order to remove a class in the Semantic.Axioms
list.cl
- the class to remove for synchronisation.true
if an element was removed as a result of this call.MORAxioms.Concepts getTypeIndividual()
Individual.Type
Semantic.Axioms
that describes all the classes in which
this
Individual
is belonging to, from a no OOP point of view.getTypeIndividual
in interface Individual.Type<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLNamedIndividual,org.semanticweb.owlapi.model.OWLClass,D extends MORConcept>
this
individual.default MORAxioms.Concepts queryTypeIndividual()
Individual.Type
this
individual.queryTypeIndividual
in interface Individual.Type<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLNamedIndividual,org.semanticweb.owlapi.model.OWLClass,D extends MORConcept>
Semantic.Axioms
contained the classes in which Semantic.Descriptor.getInstance()
is belonging to, into the OWL structure.default java.util.List<Semantic.MappingIntent> writeSemantic()
Semantic.Descriptor
Semantic.Axioms
(or Semantic.SemanticAxioms
)
to the ontology. It manipulates the OWL representation to be
equal to the OWLOOP structure. It is based on Axioms#synchroniseTo(Axioms)
.writeSemantic
in interface Semantic.Descriptor<O,J>
Semantic.MappingIntent.getOntologyChanges()
field
initialised (i.e.: OWLOntologyChange
).