D
- the type of the MORIndividual
descriptors instantiated during
Individual.Equivalent.buildEquivalentIndividual()
through Individual.Equivalent.getNewEquivalentIndividual(Object, Object)
.public static interface MORIndividual.Equivalent<D extends MORIndividual> extends Individual.Equivalent<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLNamedIndividual,D>, MORIndividual
Individual.Equivalent
Semantic.Descriptor
implementation for OWLNamedIndividual
.
It specify how to queryEquivalentIndividual()
and writeSemantic()
for the
equivalent individuals of Semantic.Descriptor.getInstance()
.
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 |
addEquivalentIndividual(java.lang.String individualName)
It is an helper that just calls:
{@link #getEquivalentIndividual()}.add( {@link #getOntology()}.getOWLIndividual( individualName))
in order to add a new individual (given by name) in the Semantic.Axioms list. |
default boolean |
addEquivalentIndividual(org.semanticweb.owlapi.model.OWLNamedIndividual individual)
It is an helper that just calls:
{@link #getEquivalentIndividual()}.add( individual)
in order to add a new individual in the Semantic.Axioms list. |
MORAxioms.Individuals |
getEquivalentIndividual()
Returns the
Semantic.Axioms that describes all the equivalent individual from
this Individual ; from a no OOP point of view. |
default MORAxioms.Individuals |
queryEquivalentIndividual()
Queries to the OWL representation for the equivalent individuals of
this Semantic.Descriptor . |
default boolean |
removeEquivalentIndividual(java.lang.String individualName)
It is an helper that just calls:
{@link #getEquivalentIndividual()}.remove( {@link #getOntology()}.getOWLIndividual( individualName))
in order to remove an individual (given by name) from the Semantic.Axioms list. |
default boolean |
removeEquivalentIndividual(org.semanticweb.owlapi.model.OWLNamedIndividual individual)
It is an helper that just calls:
{@link #getEquivalentIndividual()}.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. |
buildEquivalentIndividual, getNewEquivalentIndividual, readSemantic, synchroniseEquivalentIndividualFromSemantic, synchroniseEquivalentIndividualToSemantic
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 addEquivalentIndividual(java.lang.String individualName)
{@link #getEquivalentIndividual()}.add( {@link #getOntology()}.getOWLIndividual( individualName))
in order to add a new individual (given by name) in the Semantic.Axioms
list.individualName
- the individual name to add for synchronisation.true
if the axioms changed as a result of the call.default boolean addEquivalentIndividual(org.semanticweb.owlapi.model.OWLNamedIndividual individual)
{@link #getEquivalentIndividual()}.add( individual)
in order to add a new individual in the Semantic.Axioms
list.individual
- the individual to add for synchronisation.true
if the axioms changed as a result of the call.default boolean removeEquivalentIndividual(java.lang.String individualName)
{@link #getEquivalentIndividual()}.remove( {@link #getOntology()}.getOWLIndividual( individualName))
in order to remove an individual (given by name) from the Semantic.Axioms
list.individualName
- the individual name to remove for synchronisation.true
if an element was removed as a result of this call.default boolean removeEquivalentIndividual(org.semanticweb.owlapi.model.OWLNamedIndividual individual)
{@link #getEquivalentIndividual()}.remove( individual)
in order to remove a class in the Semantic.Axioms
list.individual
- the individual to remove for synchronisation.true
if an element was removed as a result of this call.MORAxioms.Individuals getEquivalentIndividual()
Individual.Equivalent
Semantic.Axioms
that describes all the equivalent individual from
this
Individual
; from a no OOP point of view.getEquivalentIndividual
in interface Individual.Equivalent<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLNamedIndividual,D extends MORIndividual>
this
individual.default MORAxioms.Individuals queryEquivalentIndividual()
Individual.Equivalent
this
Semantic.Descriptor
.queryEquivalentIndividual
in interface Individual.Equivalent<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLNamedIndividual,D extends MORIndividual>
Semantic.Axioms
contained the individuals equivalent from Semantic.Descriptor.getInstance()
;
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
).