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

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

All Implemented Interfaces:

Comparable<IndexedPropertyChain>

public class IndexedObjectProperty
extends IndexedPropertyChain

Represents all occurrences of an ElkObjectProperty in an ontology.

Author:

Frantisek Simancik, Markus Kroetzsch

Field Summary

protected ElkObjectProperty	elkObjectProperty
protected List<IndexedPropertyChain>	toldSubProperties Correctness of axioms deletions requires that toldSubProperties is a List.

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

LOGGER_

Constructor Summary

protected

IndexedObjectProperty(ElkObjectProperty elkObjectProperty) Creates an object representing the given ElkObjectProperty.

Method Summary

<O> O	accept(IndexedObjectPropertyVisitor<O> visitor)
<O> O	accept(IndexedPropertyChainVisitor<O> visitor)
<O,P> O	accept(IndexedPropertyChainVisitorEx<O,P> visitor, P parameter)
protected void	addLeftChain(IndexedBinaryPropertyChain chain) Adds the given IndexedBinaryPropertyChain to the list of IndexedBinaryPropertyChain that contains this IndexedPropertyChain in the left-hand-side
protected void	addToldSubPropertyChain(IndexedPropertyChain subObjectProperty)
ElkObjectProperty	getElkObjectProperty()
Collection<IndexedBinaryPropertyChain>	getLeftChains()
List<IndexedPropertyChain>	getToldSubProperties()
boolean	isToldReflexive()
protected boolean	removeLeftChain(IndexedBinaryPropertyChain chain) Adds the given IndexedBinaryPropertyChain from the list of IndexedBinaryPropertyChain that contain this IndexedPropertyChain in the left-hand-side
protected boolean	removeToldSubObjectProperty(IndexedPropertyChain subObjectProperty)
String	toStringStructural()
protected void	updateOccurrenceNumber(int increment) Non-recursively.

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

Field Detail

elkObjectProperty

protected final ElkObjectProperty elkObjectProperty

toldSubProperties

protected List<IndexedPropertyChain> toldSubProperties

Correctness of axioms deletions requires that toldSubProperties is a List.

Constructor Detail

IndexedObjectProperty

protected IndexedObjectProperty(ElkObjectProperty elkObjectProperty)

Creates an object representing the given ElkObjectProperty.

Method Detail

getElkObjectProperty

public ElkObjectProperty getElkObjectProperty()

Returns:

The represented object property expression.

getToldSubProperties

public List<IndexedPropertyChain> getToldSubProperties()

Returns:

All told sub object properties of this object property

getLeftChains

public Collection<IndexedBinaryPropertyChain> getLeftChains()

Returns:

All IndexedBinaryPropertyChains in which this IndexedPropertyChain occurs on the left

addLeftChain

protected void addLeftChain(IndexedBinaryPropertyChain chain)

Adds the given IndexedBinaryPropertyChain to the list of IndexedBinaryPropertyChain that contains this IndexedPropertyChain in the left-hand-side

Parameters:

chain - the IndexedBinaryPropertyChain to be added

removeLeftChain

protected boolean removeLeftChain(IndexedBinaryPropertyChain chain)

Adds the given IndexedBinaryPropertyChain from the list of IndexedBinaryPropertyChain that contain this IndexedPropertyChain in the left-hand-side

Parameters:

chain - the IndexedBinaryPropertyChain to be removed

Returns:

true if successfully removed

isToldReflexive

public boolean isToldReflexive()

Returns:

true if this object property occurs in a reflexivity axiom.

addToldSubPropertyChain

protected void addToldSubPropertyChain(IndexedPropertyChain subObjectProperty)

removeToldSubObjectProperty

protected boolean removeToldSubObjectProperty(IndexedPropertyChain subObjectProperty)

Parameters:

subObjectProperty -

Returns:

true if successfully removed

updateOccurrenceNumber

protected void updateOccurrenceNumber(int increment)

Description copied from class: IndexedPropertyChain

Non-recursively. The recursion is implemented in indexing visitors.

accept

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

accept

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

Specified by:

accept in class IndexedPropertyChain

toStringStructural

public String toStringStructural()

Returns:

The string representation of the ElkObjectProperty corresponding to this object.

accept

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

Specified by:

accept in class IndexedPropertyChain