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

java.lang.Object
  org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObject
      org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedAxiom
          org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedDisjointnessAxiom

public class IndexedDisjointnessAxiom
extends IndexedAxiom

Defines the disjointness inference rule for indexed class expressions

Author:

Frantisek Simancik, Pavel Klinov, "Yevgeny Kazakov"

Nested Class Summary

static class	IndexedDisjointnessAxiom.ThisCompositionRule IndexedDisjointnessAxiom.ThisCompositionRule derives the disjointness axioms as a new kind of element.
static class	IndexedDisjointnessAxiom.ThisContradictionRule A rule which derives a Contradiction for inconsistent members of this IndexedDisjointnessAxiom.

Field Summary

protected static org.apache.log4j.Logger

LOGGER_

Method Summary

<O> O	accept(IndexedAxiomVisitor<O> visitor)
Set<IndexedClassExpression>	getDisjointMembers() IndexedClassExpressions that occur exactly once in this IndexedDisjointnessAxiom
Set<IndexedClassExpression>	getInconsistentMembers()
boolean	occurs()
String	toStringStructural()
protected void	updateOccurrenceNumbers(ModifiableOntologyIndex index, int increment) Non-recursively.

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

accept

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

toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

LOGGER_

protected static final org.apache.log4j.Logger LOGGER_

Method Detail

getInconsistentMembers

public Set<IndexedClassExpression> getInconsistentMembers()

Returns:

IndexedClassExpressions that have at least two equal occurrences (according to the Object.equals(Object) method) in this IndexedDisjointnessAxiom

getDisjointMembers

public Set<IndexedClassExpression> getDisjointMembers()

IndexedClassExpressions that occur exactly once in this IndexedDisjointnessAxiom

occurs

public boolean occurs()

Specified by:

occurs in class IndexedObject

Returns:

true if this IndexedObject occur in the ontology index

updateOccurrenceNumbers

protected void updateOccurrenceNumbers(ModifiableOntologyIndex index,
                                       int increment)

Description copied from class: IndexedAxiom

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

accept

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

Specified by:

accept in class IndexedAxiom

toStringStructural

public String toStringStructural()

Returns:

a structural string representation of the object