org.mindswap.pellet.tableau.completion.rule

Interfaces

• TableauRule

Classes

• AbstractTableauRule
• AllValuesRule
• ChooseRule
• DataCardinalityRule
• DataSatisfiabilityRule
• DisjunctionRule
• GuessRule
• MaxRule
• MinRule
• NominalRule
• SelfRule
• SimpleAllValuesRule
• SomeValuesRule
• UnfoldingRule

Enums

• AbstractTableauRule.BlockingType