Uses of Class
org.semanticweb.elk.reasoner.saturation.conclusions.AbstractConclusion

Packages that use AbstractConclusion

Package	Description
org.semanticweb.elk.reasoner.saturation.conclusions

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

Subclasses of AbstractConclusion in org.semanticweb.elk.reasoner.saturation.conclusions

Modifier and Type	Class and Description
class	Contradiction
class	DisjointnessAxiom
class	ForwardLink A Conclusion representing derived existential restrictions from this source Context to a target Context.
class	Propagation