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

java.lang.Object
  org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObject
      org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedPropertyChain
          org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedBinaryPropertyChain

All Implemented Interfaces:

Comparable<IndexedPropertyChain>

public class IndexedBinaryPropertyChain
extends IndexedPropertyChain

Represents a complex ElkSubObjectPropertyExpressions. The chain consists of two components: an IndexedObjectProperty on the left and an IndexedPropertyChain on the right. This reflects the fact that property inclusions are binarized during index constructions. The auxiliary IndexedBinaryPropertyChains may not represent any ElkObject in the ontology.

Author:

Frantisek Simancik, "Yevgeny Kazakov"

Field Summary

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

LOGGER_

Method Summary

<O> O	accept(IndexedBinaryPropertyChainVisitor<O> visitor)
<O> O	accept(IndexedPropertyChainVisitor<O> visitor)
<O,P> O	accept(IndexedPropertyChainVisitorEx<O,P> visitor, P parameter)
IndexedPropertyChain	getComposable(IndexedPropertyChain ipc)
IndexedObjectProperty	getLeftProperty()
IndexedPropertyChain	getRightProperty()
String	toStringStructural()

Methods inherited from class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedPropertyChain

accept, addRightChain, checkOccurrenceNumbers, compareTo, getRightChains, getSaturated, getToldSuperProperties, hashCode, occurs, printOccurrenceNumbers, removeRightChain, removeToldSuperObjectProperty, resetSaturated, setSaturated, updateAndCheckOccurrenceNumbers

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

Method Detail

getLeftProperty

public IndexedObjectProperty getLeftProperty()

Returns:

The left component of this (binary) complex property inclusion axiom.

getRightProperty

public IndexedPropertyChain getRightProperty()

Returns:

The right component of this (binary) complex property inclusion axiom.

accept

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

Specified by:

accept in class IndexedPropertyChain

accept

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

accept

public <O,P> O accept(IndexedPropertyChainVisitorEx<O,P> visitor,
                      P parameter)

Specified by:

accept in class IndexedPropertyChain

getComposable

public IndexedPropertyChain getComposable(IndexedPropertyChain ipc)

Parameters:

ipc -

Returns:

the property chain which is composable with the given property in this chain or null

toStringStructural

public String toStringStructural()

Returns:

a structural string representation of the object