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

Packages that use AbstractConclusion

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

class	Contradiction
class	DisjointnessAxiom
class	ForwardLink A Conclusion representing derived existential restrictions from this source Context to a target Context.
class	Propagation