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

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

All Implemented Interfaces:

Comparable<IndexedClassExpression>

public class IndexedDataHasValue
extends IndexedClassExpression

Represents all occurrences of an ElkObjectHasValue in an ontology.

Author:

Frantisek Simancik, "Yevgeny Kazakov"

Field Summary

protected ElkLiteral	filler
protected ElkDataProperty	property

Fields inherited from class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedClassExpression

LOGGER_

Constructor Summary

protected

IndexedDataHasValue(ElkDataHasValue elkDataHasValue)

Method Summary

void	accept(DecompositionRuleApplicationVisitor visitor, Context context)
<O> O	accept(IndexedClassExpressionVisitor<O> visitor)
<O> O	accept(IndexedDataHasValueVisitor<O> visitor)
ElkLiteral	getFiller()
ElkDataProperty	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

property

protected final ElkDataProperty property

filler

protected final ElkLiteral filler

Constructor Detail

IndexedDataHasValue

protected IndexedDataHasValue(ElkDataHasValue elkDataHasValue)

Method Detail

getRelation

public ElkDataProperty getRelation()

getFiller

public ElkLiteral getFiller()

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.

accept

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

accept

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

Specified by:

accept in class IndexedClassExpression

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