D
- the type of the MORIndividual
descriptors instantiated during
Individual.Disjoint.buildDisjointIndividual()
through Individual.Disjoint.getNewDisjointIndividual(Object, Object)
.public static interface MORIndividual.Disjoint<D extends MORIndividual> extends Individual.Disjoint<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLNamedIndividual,D>, MORIndividual
Individual.Disjoint
Semantic.Descriptor
implementation for OWLNamedIndividual
.
It specify how to queryDisjointIndividual()
and writeSemantic()
for the
disjoint 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 |
addDisjointIndividual(java.lang.String individualName)
It is an helper that just calls:
{@link #getDisjointIndividual()}.add( {@link #getOntology()}.getOWLIndividual( individualName))
in order to add a new individual (given by name) in the Semantic.Axioms list. |
default boolean |
addDisjointIndividual(org.semanticweb.owlapi.model.OWLNamedIndividual individual)
It is an helper that just calls:
{@link #getDisjointIndividual()}.add( individual)
in order to add a new individual in the Semantic.Axioms list. |
MORAxioms.Individuals |
getDisjointIndividual()
Returns the
Semantic.Axioms that describes all the different individual from
this Individual ; from a no OOP point of view. |
default MORAxioms.Individuals |
queryDisjointIndividual()
Queries to the OWL representation for the different individuals from
this Semantic.Descriptor . |
default boolean |
removeDisjointIndividual(java.lang.String individualName)
It is an helper that just calls:
{@link #getDisjointIndividual()}.remove( {@link #getOntology()}.getOWLIndividual( individualName))
in order to remove an individual (given by name) from the Semantic.Axioms list. |
default boolean |
removeDisjointIndividual(org.semanticweb.owlapi.model.OWLNamedIndividual individual)
It is an helper that just calls:
{@link #getDisjointIndividual()}.remove( property)
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. |
buildDisjointIndividual, getNewDisjointIndividual, readSemantic, synchroniseDisjointIndividualFromSemantic, synchroniseDisjointIndividualToSemantic
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 addDisjointIndividual(java.lang.String individualName)
{@link #getDisjointIndividual()}.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 addDisjointIndividual(org.semanticweb.owlapi.model.OWLNamedIndividual individual)
{@link #getDisjointIndividual()}.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 removeDisjointIndividual(java.lang.String individualName)
{@link #getDisjointIndividual()}.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 removeDisjointIndividual(org.semanticweb.owlapi.model.OWLNamedIndividual individual)
{@link #getDisjointIndividual()}.remove( property)
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 getDisjointIndividual()
Individual.Disjoint
Semantic.Axioms
that describes all the different individual from
this
Individual
; from a no OOP point of view.getDisjointIndividual
in interface Individual.Disjoint<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLNamedIndividual,D extends MORIndividual>
this
individual.default MORAxioms.Individuals queryDisjointIndividual()
Individual.Disjoint
this
Semantic.Descriptor
.queryDisjointIndividual
in interface Individual.Disjoint<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLNamedIndividual,D extends MORIndividual>
Semantic.Axioms
contained the individuals different 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
).