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

Fields

Modifier and Type	Field and Description
protected ElkLiteral	filler
protected ElkDataProperty	property

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

LOGGER_

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	IndexedDataHasValue(ElkDataHasValue elkDataHasValue)

Method Summary

Methods

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