org.semanticweb.elk.reasoner.indexing.hierarchy
Class IndexedIndividual

java.lang.Object
  org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObject
      org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedClassExpression
          org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedClassEntity
              org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedIndividual

All Implemented Interfaces:

Comparable<IndexedClassExpression>

public class IndexedIndividual
extends IndexedClassEntity

Represents all occurrences of an ElkIndividual in an ontology.

Author:

Frantisek Simancik, "Yevgeny Kazakov"

Field Summary

Fields inherited from class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedClassExpression

LOGGER_

Method Summary

void	accept(DecompositionRuleApplicationVisitor visitor, Context context)
<O> O	accept(IndexedClassEntityVisitor<O> visitor)
<O> O	accept(IndexedIndividualVisitor<O> visitor)
ElkNamedIndividual	getElkNamedIndividual()
boolean	occurs() This method should always return true apart from intermediate steps during the indexing.
String	toStringStructural()
protected void	updateOccurrenceNumbers(ModifiableOntologyIndex index, int increment, int positiveIncrement, int negativeIncrement) Non-recursively.

Methods inherited from class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedClassEntity

accept

Methods inherited from class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedClassExpression

accept, checkOccurrenceNumbers, compareTo, getCompositionRuleHead, getContext, hashCode, occursNegatively, occursPositively, printOccurrenceNumbers, resetContext, setContext

Methods inherited from class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObject

toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, notify, notifyAll, wait, wait, wait

Method Detail

getElkNamedIndividual

public ElkNamedIndividual getElkNamedIndividual()

Returns:

The represented ElkNamedIndividual.

accept

public <O> O accept(IndexedIndividualVisitor<O> visitor)

accept

public <O> O accept(IndexedClassEntityVisitor<O> visitor)

Specified by:

accept in class IndexedClassEntity

updateOccurrenceNumbers

protected void updateOccurrenceNumbers(ModifiableOntologyIndex index,
                                       int increment,
                                       int positiveIncrement,
                                       int negativeIncrement)

Description copied from class: IndexedClassExpression

Non-recursively. The recursion is implemented in indexing visitors.

occurs

public boolean occurs()

Description copied from class: IndexedClassExpression

This method should always return true apart from intermediate steps during the indexing.

Overrides:

occurs in class IndexedClassExpression

Returns:

true if the represented class expression occurs in the ontology

toStringStructural

public String toStringStructural()

Returns:

a structural string representation of the object

accept

public void accept(DecompositionRuleApplicationVisitor visitor,
                   Context context)

Specified by:

accept in class IndexedClassExpression