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

Nested Classes

Modifier and Type	Class and Description
static class	IndexedSubClassOfAxiom.ThisCompositionRule

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	IndexedSubClassOfAxiom(IndexedClassExpression subClass, IndexedClassExpression superClass)

Method Summary

Methods

Modifier and Type	Method and Description
<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.