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

Nested Classes

Modifier and Type	Class and Description
static class	IndexedObjectIntersectionOf.ThisCompositionRule

Field Summary

Fields

Modifier and Type	Field and Description
protected static org.apache.log4j.Logger	LOGGER_

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	IndexedObjectIntersectionOf(IndexedClassExpression conjunctA, IndexedClassExpression conjunctB)

Method Summary

Methods

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