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

Packages that use Subsumer

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

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

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

Modifier and Type	Class and Description
class	NegativeSubsumer A Subsumer, for which the structure of the enclosed IndexedClassExpression should not be taken into account when applying the rules within Context.
class	PositiveSubsumer A Subsumer, for which the structure of the enclosed IndexedClassExpression should be taken into account.