public class RestrictionIndividualDesc extends IndividualGround implements IndividualExpression.Disjoint<RestrictionIndividualDesc>, IndividualExpression.Equivalent<RestrictionIndividualDesc>
IndividualExpression
interfaces:
IndividualExpression.Equivalent
: to describe an Individual same-as another Individual.IndividualExpression.Disjoint
: to describe an Individual different from another Individual.FullIndividualDesc
for an example of a 'compound' Individual Descriptor that implements all IndividualExpressions.
IndividualExpression.DataLink<D extends DataPropertyExpression>, IndividualExpression.Disjoint<D extends IndividualExpression>, IndividualExpression.Equivalent<D extends IndividualExpression>, IndividualExpression.ObjectLink<D extends ObjectPropertyExpression>, IndividualExpression.Type<D extends ClassExpression>
Axiom.Descriptor.OntologyReference
DescriptorGroundInterface.ConceptGroundInstance, DescriptorGroundInterface.DataGroundInstance, DescriptorGroundInterface.GroundInstance<J extends org.semanticweb.owlapi.model.OWLObject>, DescriptorGroundInterface.IndividualGroundInstance, DescriptorGroundInterface.ObjectGroundInstance
Axiom.Descriptor<O,J>, Axiom.EntitySet<Y>, Axiom.ExpressionEntity<S,Y>, Axiom.ExpressionEntitySet<F extends Axiom.ExpressionEntity<?,Y>,Y>, Axiom.Ground<O,J>, Axiom.MappingIntent<I extends Axiom.Ground,C>
NL
Constructor and Description |
---|
RestrictionIndividualDesc(org.semanticweb.owlapi.model.OWLNamedIndividual instance,
it.emarolab.amor.owlInterface.OWLReferences onto) |
RestrictionIndividualDesc(org.semanticweb.owlapi.model.OWLNamedIndividual instance,
java.lang.String ontoName) |
RestrictionIndividualDesc(org.semanticweb.owlapi.model.OWLNamedIndividual instance,
java.lang.String ontoName,
java.lang.String filePath,
java.lang.String iriPath) |
RestrictionIndividualDesc(org.semanticweb.owlapi.model.OWLNamedIndividual instance,
java.lang.String ontoName,
java.lang.String filePath,
java.lang.String iriPath,
boolean bufferingChanges) |
RestrictionIndividualDesc(java.lang.String instanceName,
it.emarolab.amor.owlInterface.OWLReferences onto) |
RestrictionIndividualDesc(java.lang.String instanceName,
java.lang.String ontoName) |
RestrictionIndividualDesc(java.lang.String instanceName,
java.lang.String ontoName,
java.lang.String filePath,
java.lang.String iriPath) |
RestrictionIndividualDesc(java.lang.String instanceName,
java.lang.String ontoName,
java.lang.String filePath,
java.lang.String iriPath,
boolean bufferingChanges) |
Modifier and Type | Method and Description |
---|---|
Individuals |
getDisjointIndividuals()
Returns the
EntitySet that describes all the different individualDescriptor from
this Individual ; from a no OOP point of view. |
Individuals |
getEquivalentIndividuals()
Returns the
EntitySet that describes all the equivalent individualDescriptor from
this Individual ; from a no OOP point of view. |
RestrictionIndividualDesc |
getNewDisjointIndividual(org.semanticweb.owlapi.model.OWLNamedIndividual instance,
it.emarolab.amor.owlInterface.OWLReferences ontology)
This method is called by
Individual.Disjoint.buildDisjointIndividuals() and
its purpose is to instantiate a new Individual to represent
an equivalent individualDescriptor from this Individual Descriptor . |
RestrictionIndividualDesc |
getNewEquivalentIndividual(org.semanticweb.owlapi.model.OWLNamedIndividual instance,
it.emarolab.amor.owlInterface.OWLReferences ontology)
This method is called by
Individual.Equivalent.buildEquivalentIndividuals() and
its purpose is to instantiate a new Individual to represent
a different individualDescriptor from this Individual Descriptor . |
java.util.List<Axiom.MappingIntent> |
readAxioms()
This method is used to update specific
Axiom.EntitySet (or Axiom.ExpressionEntitySet ) by synchronizing
the internal state of the descriptor with the queried OWL structure, such that they are equal. |
java.lang.String |
toString() |
java.util.List<Axiom.MappingIntent> |
writeAxioms()
This method is used to update the ontology with a specific
Axiom.EntitySet (or Axiom.ExpressionEntitySet )
by synchronizing the OWL representation with the internal state of the descriptor, such that they are equal. |
getGround, getNewGround, getNewGround
copyGround, equals, getGroundInstanceName, hashCode, reason, setGround, setGroundInstance, setGroundInstance
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
addDisjointIndividual, addDisjointIndividual, queryDisjointIndividuals, removeDisjointIndividual, removeDisjointIndividual
buildDisjointIndividuals, synchroniseDisjointIndividualsFromExpressionAxioms, synchroniseDisjointIndividualsToExpressionAxioms
addEquivalentIndividual, addEquivalentIndividual, queryEquivalentIndividuals, removeEquivalentIndividual, removeEquivalentIndividual
buildEquivalentIndividuals, synchroniseEquivalentIndividualsFromExpressionAxioms, synchroniseEquivalentIndividualsToExpressionAxioms
getGroundInstance, getGroundOntology
activateAMORlogging, getChangingIntent, getGround, getGroundInstanceName, getInstance, getIntent, getOntologyReference, groundReason, writeAxiomsReasonReadAxioms, writeAxiomsReasonReadAxioms
getOntologyName, getOWLClass, getOWLDataFactory, getOWLDataProperty, getOWLDataType, getOWLIndividual, getOWLLiteral, getOWLName, getOWLName, getOWLObjectProperty, getOWLOntology, getOWLReasoner, isCompleteQuery, isReasonedQuery, reason, saveOntology, saveOntology, setCompleteQuery, setReasonedQuery
copyGround
public RestrictionIndividualDesc(org.semanticweb.owlapi.model.OWLNamedIndividual instance, it.emarolab.amor.owlInterface.OWLReferences onto)
public RestrictionIndividualDesc(java.lang.String instanceName, it.emarolab.amor.owlInterface.OWLReferences onto)
public RestrictionIndividualDesc(org.semanticweb.owlapi.model.OWLNamedIndividual instance, java.lang.String ontoName)
public RestrictionIndividualDesc(org.semanticweb.owlapi.model.OWLNamedIndividual instance, java.lang.String ontoName, java.lang.String filePath, java.lang.String iriPath)
public RestrictionIndividualDesc(org.semanticweb.owlapi.model.OWLNamedIndividual instance, java.lang.String ontoName, java.lang.String filePath, java.lang.String iriPath, boolean bufferingChanges)
public RestrictionIndividualDesc(java.lang.String instanceName, java.lang.String ontoName)
public RestrictionIndividualDesc(java.lang.String instanceName, java.lang.String ontoName, java.lang.String filePath, java.lang.String iriPath)
public RestrictionIndividualDesc(java.lang.String instanceName, java.lang.String ontoName, java.lang.String filePath, java.lang.String iriPath, boolean bufferingChanges)
public java.util.List<Axiom.MappingIntent> readAxioms()
Axiom.Descriptor
Axiom.EntitySet
(or Axiom.ExpressionEntitySet
) by synchronizing
the internal state of the descriptor with the queried OWL structure, such that they are equal.
It is based on EntitySet#synchroniseFrom(EntitySet)
.readAxioms
in interface Axiom.Descriptor<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLNamedIndividual>
readAxioms
in interface Individual.Disjoint<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLNamedIndividual,RestrictionIndividualDesc>
readAxioms
in interface Individual.Equivalent<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLNamedIndividual,RestrictionIndividualDesc>
Axiom.EntitySet
during the reading.
Note that the elements of the returned list, may not have the Axiom.MappingIntent.getOntologyChanges()
field
initialised (i.e.: Void
).public java.util.List<Axiom.MappingIntent> writeAxioms()
Axiom.Descriptor
Axiom.EntitySet
(or Axiom.ExpressionEntitySet
)
by synchronizing the OWL representation with the internal state of the descriptor, such that they are equal.
It is based on EntitySet#synchroniseTo(EntitySet)
.writeAxioms
in interface Axiom.Descriptor<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLNamedIndividual>
writeAxioms
in interface IndividualExpression.Disjoint<RestrictionIndividualDesc>
writeAxioms
in interface IndividualExpression.Equivalent<RestrictionIndividualDesc>
Axiom.MappingIntent.getOntologyChanges()
field
initialised (i.e.: OWLOntologyChange
).public RestrictionIndividualDesc getNewDisjointIndividual(org.semanticweb.owlapi.model.OWLNamedIndividual instance, it.emarolab.amor.owlInterface.OWLReferences ontology)
Individual.Disjoint
Individual.Disjoint.buildDisjointIndividuals()
and
its purpose is to instantiate a new Individual
to represent
an equivalent individualDescriptor from this
Individual
Descriptor
.getNewDisjointIndividual
in interface Individual.Disjoint<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLNamedIndividual,RestrictionIndividualDesc>
instance
- the instance to ground the new Individual
.ontology
- the ontology in which ground the new Individual
.Axiom.Descriptor
for all the individuals
that are equivalent from the one described by this
interface.public Individuals getDisjointIndividuals()
Individual.Disjoint
EntitySet
that describes all the different individualDescriptor from
this
Individual
; from a no OOP point of view.getDisjointIndividuals
in interface Individual.Disjoint<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLNamedIndividual,RestrictionIndividualDesc>
getDisjointIndividuals
in interface IndividualExpression.Disjoint<RestrictionIndividualDesc>
this
individualDescriptor.public RestrictionIndividualDesc getNewEquivalentIndividual(org.semanticweb.owlapi.model.OWLNamedIndividual instance, it.emarolab.amor.owlInterface.OWLReferences ontology)
Individual.Equivalent
Individual.Equivalent.buildEquivalentIndividuals()
and
its purpose is to instantiate a new Individual
to represent
a different individualDescriptor from this
Individual
Descriptor
.getNewEquivalentIndividual
in interface Individual.Equivalent<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLNamedIndividual,RestrictionIndividualDesc>
instance
- the instance to ground the new Individual
.ontology
- the ontology in which ground the new Individual
.Axiom.Descriptor
for all the individuals
that are different from the one described by this
interface.public Individuals getEquivalentIndividuals()
Individual.Equivalent
EntitySet
that describes all the equivalent individualDescriptor from
this
Individual
; from a no OOP point of view.getEquivalentIndividuals
in interface Individual.Equivalent<it.emarolab.amor.owlInterface.OWLReferences,org.semanticweb.owlapi.model.OWLNamedIndividual,RestrictionIndividualDesc>
getEquivalentIndividuals
in interface IndividualExpression.Equivalent<RestrictionIndividualDesc>
this
individualDescriptor.public java.lang.String toString()
toString
in class java.lang.Object