|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use Subsumer | |
|---|---|
| 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 | |
|---|---|
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. |
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||