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

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

All Implemented Interfaces:

Comparable<IndexedClassExpression>

public class IndexedObjectSomeValuesFrom
extends IndexedClassExpression

Represents all occurrences of an ElkObjectSomeValuesFrom in an ontology.

Author:

Frantisek Simancik, "Yevgeny Kazakov"

Nested Class Summary

static class

IndexedObjectSomeValuesFrom.ThisCompositionRule

Field Summary

protected IndexedClassExpression	filler
protected static org.apache.log4j.Logger	LOGGER_
protected IndexedObjectProperty	property

Method Summary

void	accept(DecompositionRuleApplicationVisitor visitor, Context context)
<O> O	accept(IndexedClassExpressionVisitor<O> visitor)
<O> O	accept(IndexedObjectSomeValuesFromVisitor<O> visitor)
static void	generatePropagations(BasicSaturationStateWriter writer, IndexedPropertyChain property, Context context)
IndexedClassExpression	getFiller()
IndexedObjectProperty	getRelation()
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_

property

protected final IndexedObjectProperty property

filler

protected final IndexedClassExpression filler

Method Detail

getRelation

public IndexedObjectProperty getRelation()

Returns:

The indexed object property comprising this ObjectSomeValuesFrom.

getFiller

public IndexedClassExpression getFiller()

Returns:

The indexed class expression comprising this ObjectSomeValuesFrom.

accept

public <O> O accept(IndexedObjectSomeValuesFromVisitor<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

generatePropagations

public static void generatePropagations(BasicSaturationStateWriter writer,
                                        IndexedPropertyChain property,
                                        Context context)