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

java.lang.Object
  org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObject
      org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedAxiom
          org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedSubClassOfAxiom

public class IndexedSubClassOfAxiom
extends IndexedAxiom

Nested Class Summary

static class

IndexedSubClassOfAxiom.ThisCompositionRule

Constructor Summary

protected

IndexedSubClassOfAxiom(IndexedClassExpression subClass, IndexedClassExpression superClass)

Method Summary

<O> O	accept(IndexedAxiomVisitor<O> visitor)
IndexedClassExpression	getSubClass()
IndexedClassExpression	getSuperClass()
boolean	occurs()
String	toStringStructural()
protected void	updateOccurrenceNumbers(ModifiableOntologyIndex index, int increment) Non-recursively.

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

accept

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

toString

Methods inherited from class java.lang.Object

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

Constructor Detail

IndexedSubClassOfAxiom

protected IndexedSubClassOfAxiom(IndexedClassExpression subClass,
                                 IndexedClassExpression superClass)

Method Detail

getSubClass

public IndexedClassExpression getSubClass()

getSuperClass

public IndexedClassExpression getSuperClass()

occurs

public boolean occurs()

Specified by:

occurs in class IndexedObject

Returns:

true if this IndexedObject occur in the ontology index

toStringStructural

public String toStringStructural()

Returns:

a structural string representation of the object

accept

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

Specified by:

accept in class IndexedAxiom

updateOccurrenceNumbers

protected void updateOccurrenceNumbers(ModifiableOntologyIndex index,
                                       int increment)

Description copied from class: IndexedAxiom

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