Uses of Interface
org.semanticweb.elk.reasoner.indexing.visitors.IndexedDisjointnessAxiomVisitor

Packages that use IndexedDisjointnessAxiomVisitor

org.semanticweb.elk.reasoner.indexing.entries
org.semanticweb.elk.reasoner.indexing.hierarchy
org.semanticweb.elk.reasoner.indexing.visitors

Uses of IndexedDisjointnessAxiomVisitor in org.semanticweb.elk.reasoner.indexing.entries

Classes in org.semanticweb.elk.reasoner.indexing.entries that implement IndexedDisjointnessAxiomVisitor

class

IndexedEntryConverter<T> A visitor for IndexedClassExpressions and IndexedPropertyChains that wraps the visited objects in the corresponding Entry wrapper to redefine equality.

Uses of IndexedDisjointnessAxiomVisitor in org.semanticweb.elk.reasoner.indexing.hierarchy

Classes in org.semanticweb.elk.reasoner.indexing.hierarchy that implement IndexedDisjointnessAxiomVisitor

class

IndexedObjectCache A cache of IndexedObjects in the ontology backed by a KeyEntryHashSet.

Uses of IndexedDisjointnessAxiomVisitor in org.semanticweb.elk.reasoner.indexing.visitors

Subinterfaces of IndexedDisjointnessAxiomVisitor in org.semanticweb.elk.reasoner.indexing.visitors

interface	IndexedAxiomFilter
interface	IndexedAxiomVisitor<O>
interface	IndexedObjectFilter
interface	IndexedObjectVisitor<O>