| Class | Description |
|---|---|
| ExistentialRulesHeadVariablesMiningAssistant |
Extension of the default mining assistant that also reports existential rules,
i.e., rules where one of the head variables is allowed to be non-closed.
|
| FullRelationSignatureMiningAssistant | |
| HeadVariablesImprovedMiningAssistant | |
| InstantiatedHeadMiningAssistant | |
| SeedsCountMiningAssistant | |
| TypedDefaultMiningAssistant |
This class overrides the default mining assistant and adds to the rule
all possible types constraints on the head variables, that is, it mines
rules of the form B ^ is(x, C) ^ is(y, C') => rh(x, y).
|