org.semanticweb.elk.reasoner.indexing.hierarchy

Class IndexedObjectComplementOf

java.lang.Object

org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObject

org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedClassExpression

org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectComplementOf

All Implemented Interfaces:

Comparable<IndexedClassExpression>

public class IndexedObjectComplementOf
extends IndexedClassExpression

Represents all occurrences of an ElkObjectComplementOf in an ontology.

Author:

"Yevgeny Kazakov"

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	IndexedObjectComplementOf.ThisCompositionRule

Field Summary

Fields

Modifier and Type	Field and Description
protected static org.apache.log4j.Logger	LOGGER_

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	IndexedObjectComplementOf(IndexedClassExpression negated)

Method Summary

Methods

Modifier and Type	Method and Description
void	accept(DecompositionRuleApplicationVisitor visitor, Context context)
<O> O	accept(IndexedClassExpressionVisitor<O> visitor)
<O> O	accept(IndexedObjectComplementOfVisitor<O> visitor)
IndexedClassExpression	getNegated()
String	toStringStructural()

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_

Constructor Detail

IndexedObjectComplementOf

protected IndexedObjectComplementOf(IndexedClassExpression negated)

Method Detail

getNegated

public IndexedClassExpression getNegated()

accept

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

accept

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

Specified by:

accept in class IndexedClassExpression

accept

public void accept(DecompositionRuleApplicationVisitor visitor,
          Context context)

Specified by:

accept in class IndexedClassExpression

toStringStructural

public String toStringStructural()

Returns:

a structural string representation of the object