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

Nested Classes

Modifier and Type	Class and Description
static class	IndexedObjectSomeValuesFrom.ThisCompositionRule

Field Summary

Fields

Modifier and Type	Field and Description
protected IndexedClassExpression	filler
protected static org.apache.log4j.Logger	LOGGER_
protected IndexedObjectProperty	property

Method Summary

Methods

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