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

Packages that use IndexedDisjointnessAxiom

org.semanticweb.elk.reasoner.indexing.entries
org.semanticweb.elk.reasoner.indexing.hierarchy
org.semanticweb.elk.reasoner.indexing.visitors
org.semanticweb.elk.reasoner.saturation
org.semanticweb.elk.reasoner.saturation.conclusions
org.semanticweb.elk.reasoner.saturation.context

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

Classes in org.semanticweb.elk.reasoner.indexing.entries with type parameters of type IndexedDisjointnessAxiom

class

IndexedDisjointnessAxiomEntry<T,K extends IndexedDisjointnessAxiom> Implements an equality view for instances of IndexedDisjointnessAxiom

Methods in org.semanticweb.elk.reasoner.indexing.entries with parameters of type IndexedDisjointnessAxiom

KeyEntry<T,? extends IndexedAxiom>

IndexedEntryConverter.visit(IndexedDisjointnessAxiom axiom)

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

Methods in org.semanticweb.elk.reasoner.indexing.hierarchy that return IndexedDisjointnessAxiom

IndexedDisjointnessAxiom

IndexedObjectCache.visit(IndexedDisjointnessAxiom axiom)

Methods in org.semanticweb.elk.reasoner.indexing.hierarchy that return types with arguments of type IndexedDisjointnessAxiom

Set<IndexedDisjointnessAxiom>

IndexedDisjointnessAxiom.ThisCompositionRule.getDisjointnessAxioms()

Methods in org.semanticweb.elk.reasoner.indexing.hierarchy with parameters of type IndexedDisjointnessAxiom

IndexedDisjointnessAxiom

IndexedObjectCache.visit(IndexedDisjointnessAxiom axiom)

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

Methods in org.semanticweb.elk.reasoner.indexing.visitors with parameters of type IndexedDisjointnessAxiom

O	IndexedDisjointnessAxiomVisitor.visit(IndexedDisjointnessAxiom axiom)

Uses of IndexedDisjointnessAxiom in org.semanticweb.elk.reasoner.saturation

Methods in org.semanticweb.elk.reasoner.saturation with parameters of type IndexedDisjointnessAxiom

boolean	ContextImpl.addDisjointnessAxiom(IndexedDisjointnessAxiom disjointnessAxiom)
boolean	ContextImpl.containsDisjointnessAxiom(IndexedDisjointnessAxiom axiom)
boolean	ContextImpl.inconsistencyDisjointnessAxiom(IndexedDisjointnessAxiom axiom)
boolean	ContextImpl.removeDisjointnessAxiom(IndexedDisjointnessAxiom axiom)

Uses of IndexedDisjointnessAxiom in org.semanticweb.elk.reasoner.saturation.conclusions

Methods in org.semanticweb.elk.reasoner.saturation.conclusions that return IndexedDisjointnessAxiom

IndexedDisjointnessAxiom

DisjointnessAxiom.getAxiom()

Constructors in org.semanticweb.elk.reasoner.saturation.conclusions with parameters of type IndexedDisjointnessAxiom

DisjointnessAxiom(IndexedDisjointnessAxiom axiom)

Uses of IndexedDisjointnessAxiom in org.semanticweb.elk.reasoner.saturation.context

Methods in org.semanticweb.elk.reasoner.saturation.context with parameters of type IndexedDisjointnessAxiom

boolean	Context.addDisjointnessAxiom(IndexedDisjointnessAxiom axiom) Adds one instance of IndexedDisjointnessAxiom to this Context.
boolean	Context.containsDisjointnessAxiom(IndexedDisjointnessAxiom axiom)
boolean	Context.inconsistencyDisjointnessAxiom(IndexedDisjointnessAxiom axiom)
boolean	Context.removeDisjointnessAxiom(IndexedDisjointnessAxiom axiom) Removes one instance of the given IndexedDisjointnessAxiom from this Context.