D
- the type of the MORConcept
descriptor instantiated during
Concept.Disjoint.buildDisjointConcept()
through Concept.Disjoint.getNewDisjointConcept(Object, Object)
.public static interface MORConcept.Disjoint<D extends MORConcept> extends Concept.Disjoint<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLClass,D>, MORConcept
Concept.Disjoint
Semantic.Descriptor
implementation for OWLClass
.
It specify how to queryDisjointConcept()
and writeSemantic()
for the
classes (i.e.: OWLClass
) tha are disjointed 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 |
addDisjointConcept(java.lang.String className)
It is an helper that just calls:
{@link #getDisjointConcept()}.add( {@link #getOntology()}.getOWLClass( propertyName))
in order to add a new class (given by name) in the Semantic.Axioms list. |
default boolean |
addDisjointConcept(org.semanticweb.owlapi.model.OWLClass cl)
It is an helper that just calls:
{@link #getDisjointConcept()}.add( cl)
in order to add a new class in the Semantic.Axioms list. |
default MORAxioms.Concepts |
queryDisjointConcept()
Queries to the OWL representation of the disjointed classes for
this class. |
default boolean |
removeDisjointConcept(java.lang.String className)
It is an helper that just calls:
{@link #getDisjointConcept()}.remove( {@link #getOntology()}.getOWLClass( propertyName))
in order to remove a class (given by name) from the Semantic.Axioms list. |
default boolean |
removeDisjointConcept(org.semanticweb.owlapi.model.OWLClass cl)
It is an helper that just calls:
{@link #getDisjointConcept()}.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. |
buildDisjointConcept, getDisjointConcept, getNewDisjointConcept, readSemantic, synchroniseDisjointConceptFromSemantic, synchroniseDisjointConceptToSemantic
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 addDisjointConcept(java.lang.String className)
{@link #getDisjointConcept()}.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.Sub
Semantic.Axioms
.className
- the class name to add for synchronisation.true
if the axioms changed as a result of the call.default boolean addDisjointConcept(org.semanticweb.owlapi.model.OWLClass cl)
{@link #getDisjointConcept()}.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.Sub
Semantic.Axioms
.cl
- the class to add for synchronisation.true
if the axioms changed as a result of the call.default boolean removeDisjointConcept(java.lang.String className)
{@link #getDisjointConcept()}.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.Sub
Semantic.Axioms
.className
- the class name to remove for synchronisation.true
if an element was removed as a result of this call.default boolean removeDisjointConcept(org.semanticweb.owlapi.model.OWLClass cl)
{@link #getDisjointConcept()}.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.Sub
Semantic.Axioms
.cl
- the class to remove for synchronisation.true
if an element was removed as a result of this call.default MORAxioms.Concepts queryDisjointConcept()
Concept.Disjoint
this
class.queryDisjointConcept
in interface Concept.Disjoint<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLClass,D extends MORConcept>
Semantic.Axioms
contained the disjointed classes from
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
).