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

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

All Implemented Interfaces:

Comparable<IndexedClassExpression>

public class IndexedObjectIntersectionOf
extends IndexedClassExpression

Represents all occurrences of an ElkObjectIntersectionOf in an ontology.

Author:

Frantisek Simancik, "Yevgeny Kazakov"

Nested Class Summary

static class

IndexedObjectIntersectionOf.ThisCompositionRule

Field Summary

protected static org.apache.log4j.Logger

LOGGER_

Constructor Summary

protected

IndexedObjectIntersectionOf(IndexedClassExpression conjunctA, IndexedClassExpression conjunctB)

Method Summary

void	accept(DecompositionRuleApplicationVisitor visitor, Context context)
<O> O	accept(IndexedClassExpressionVisitor<O> visitor)
<O> O	accept(IndexedObjectIntersectionOfVisitor<O> visitor)
IndexedClassExpression	getFirstConjunct()
IndexedClassExpression	getSecondConjunct()
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.IndexedClassExpression

accept, checkOccurrenceNumbers, compareTo, getCompositionRuleHead, getContext, hashCode, occurs, 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

Field Detail

LOGGER_

protected static final org.apache.log4j.Logger LOGGER_

Constructor Detail

IndexedObjectIntersectionOf

protected IndexedObjectIntersectionOf(IndexedClassExpression conjunctA,
                                      IndexedClassExpression conjunctB)

Method Detail

getFirstConjunct

public IndexedClassExpression getFirstConjunct()

getSecondConjunct

public IndexedClassExpression getSecondConjunct()

accept

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

accept

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

Specified by:

accept in class IndexedClassExpression

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.

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