D
- the type of the MORIndividual
descriptor instantiated during
Concept.Classify.buildIndividualClassified()
through Concept.Classify.getNewIndividualClassified(Object, Object)
.public static interface MORConcept.Classify<D extends MORIndividual> extends Concept.Classify<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLClass,org.semanticweb.owlapi.model.OWLNamedIndividual,D>, MORConcept
Concept.Classify
Semantic.Descriptor
implementation for OWLClass
.
It specify how to queryIndividualClassified()
and writeSemantic()
for the
individual (i.e.: OWLNamedIndividual
) belonging to the described
class (i.e.: Semantic.Descriptor.getInstance()
).
MORConcept.Classify<D extends MORIndividual>, MORConcept.Define, MORConcept.Disjoint<D extends MORConcept>, MORConcept.Equivalent<D extends MORConcept>, MORConcept.Sub<D extends MORConcept>, MORConcept.Super<D extends MORConcept>
MORGrounding.ConceptInstance, MORGrounding.DataInstance, MORGrounding.GroundBase<J extends org.semanticweb.owlapi.model.OWLObject>, MORGrounding.IndividualInstance, MORGrounding.ObjectInstance
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 |
addIndividualClassified(java.lang.String individualName)
It is an helper that just calls:
{@link #getIndividualClassified()}.add( {@link #getOntology()}.getOWLIndividual( propertyName))
in order to add a new individual (given by name) in the Semantic.Axioms list. |
default boolean |
addIndividualClassified(org.semanticweb.owlapi.model.OWLNamedIndividual individual)
It is an helper that just calls:
{@link #getIndividualClassified()}.add( individual)
in order to add a new individual in the Semantic.Axioms list. |
default MORAxioms.Individuals |
queryIndividualClassified()
Queries to the OWL representation of the individual that are classified in
this class. |
default boolean |
removeIndividualClassified(java.lang.String individualName)
It is an helper that just calls:
{@link #getIndividualClassified()}.remove( {@link #getOntology()}.getOWLIndividual( propertyName))
in order to remove an individual (given by name) from the Semantic.Axioms list. |
default boolean |
removeIndividualClassified(org.semanticweb.owlapi.model.OWLNamedIndividual individual)
It is an helper that just calls:
{@link #getIndividualClassified()}.remove( individual)
in order to remove an individual 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. |
buildIndividualClassified, getIndividualClassified, getNewIndividualClassified, readSemantic, synchroniseIndividualClassifiedFromSemantic, synchroniseIndividualClassifiedToSemantic
getGroundInstance, getGroundOntology
aMORlogging, getOntologyName, getOWLClass, getOWLDataFactory, getOWLDataProperty, getOWLDataType, getOWLIndividual, getOWLLiteral, getOWLName, getOWLName, getOWLObjectProperty, getOWLOntology, getReasoner, isCompleteQuery, isReasonedQuery, reason, saveOntology, saveOntology, setCompleteQuery, setReasonedQuery
getChangingIntent, getGround, getInstance, getIntent, getOntology, groundReason, writeSemanticInconsistencySafe, writeSemanticInconsistencySafe
copyGround
default boolean addIndividualClassified(java.lang.String individualName)
{@link #getIndividualClassified()}.add( {@link #getOntology()}.getOWLIndividual( propertyName))
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 addIndividualClassified(org.semanticweb.owlapi.model.OWLNamedIndividual individual)
{@link #getIndividualClassified()}.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 removeIndividualClassified(java.lang.String individualName)
{@link #getIndividualClassified()}.remove( {@link #getOntology()}.getOWLIndividual( propertyName))
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 removeIndividualClassified(org.semanticweb.owlapi.model.OWLNamedIndividual individual)
{@link #getIndividualClassified()}.remove( individual)
in order to remove an individual in the Semantic.Axioms
list.individual
- the individual to remove for synchronisation.true
if an element was removed as a result of this call.default MORAxioms.Individuals queryIndividualClassified()
Concept.Classify
this
class.queryIndividualClassified
in interface Concept.Classify<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLClass,org.semanticweb.owlapi.model.OWLNamedIndividual,D extends MORIndividual>
Semantic.Axioms
contained the individual classified by
the OWL structure of Semantic.Descriptor.getInstance()
.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
).