D
- the type of the MORConcept
descriptor instantiated during
Concept.Super.buildSuperConcept()
through Concept.Super.getNewSuperConcept(Object, Object)
.public static interface MORConcept.Super<D extends MORConcept> extends Concept.Super<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLClass,D>, MORConcept
Concept.Super
Semantic.Descriptor
implementation for OWLClass
.
It specify how to querySuperConcept()
and writeSemantic()
for the
classes (i.e.: OWLClass
) tha are super classes to the described one
(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 |
addSuperConcept(java.lang.String className)
It is an helper that just calls:
{@link #getSuperConcept()}.add( {@link #getOntology()}.getOWLClass( propertyName))
in order to add a new class (given by name) in the Semantic.Axioms list. |
default boolean |
addSuperConcept(org.semanticweb.owlapi.model.OWLClass cl)
It is an helper that just calls:
{@link #getSuperConcept()}.add( cl)
in order to add a new class in the Semantic.Axioms list. |
default MORAxioms.Concepts |
querySuperConcept()
Queries to the OWL representation for the super classes of
this class. |
default boolean |
removeSuperConcept(java.lang.String className)
It is an helper that just calls:
{@link #getSuperConcept()}.remove( {@link #getOntology()}.getOWLClass( propertyName))
in order to remove a class (given by name) from the Semantic.Axioms list. |
default boolean |
removeSuperConcept(org.semanticweb.owlapi.model.OWLClass cl)
It is an helper that just calls:
{@link #getSuperConcept()}.remove( cl)
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. |
buildSuperConcept, getNewSuperConcept, getSuperConcept, readSemantic, synchroniseSuperConceptFromSemantic, synchroniseSuperConceptToSemantic
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 addSuperConcept(java.lang.String className)
{@link #getSuperConcept()}.add( {@link #getOntology()}.getOWLClass( propertyName))
in order to add a new class (given by name) in the Semantic.Axioms
list.
This method should be always synchronised with Semantic.Descriptor.writeSemanticInconsistencySafe()
to be perfectly aligned with the ontology, since it affects MORConcept.Define
Semantic.Axioms
.className
- the class name to add for synchronisation.true
if the axioms changed as a result of the call.default boolean addSuperConcept(org.semanticweb.owlapi.model.OWLClass cl)
{@link #getSuperConcept()}.add( cl)
in order to add a new class in the Semantic.Axioms
list.
This method should be always synchronised with Semantic.Descriptor.writeSemanticInconsistencySafe()
to be perfectly aligned with the ontology, since it affects MORConcept.Define
Semantic.Axioms
.cl
- the class to add for synchronisation.true
if the axioms changed as a result of the call.default boolean removeSuperConcept(java.lang.String className)
{@link #getSuperConcept()}.remove( {@link #getOntology()}.getOWLClass( propertyName))
in order to remove a class (given by name) from the Semantic.Axioms
list.
This method should be always synchronised with Semantic.Descriptor.writeSemanticInconsistencySafe()
to be perfectly aligned with the ontology, since it affects MORConcept.Define
Semantic.Axioms
.className
- the class name to remove for synchronisation.true
if an element was removed as a result of this call.default boolean removeSuperConcept(org.semanticweb.owlapi.model.OWLClass cl)
{@link #getSuperConcept()}.remove( cl)
in order to remove a class in the Semantic.Axioms
list.
This method should be always synchronised with Semantic.Descriptor.writeSemanticInconsistencySafe()
to be perfectly aligned with the ontology, since it affects MORConcept.Define
Semantic.Axioms
.cl
- the class to remove for synchronisation.true
if an element was removed as a result of this call.default MORAxioms.Concepts querySuperConcept()
Concept.Super
this
class.querySuperConcept
in interface Concept.Super<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLClass,D extends MORConcept>
Semantic.Axioms
contained the super classes to
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
).