org.mindswap.pellet.tableau.completion.rule
Interfaces
TableauRule
Classes
AbstractTableauRule
AllValuesRule
ChooseRule
DataCardinalityRule
DataSatisfiabilityRule
DisjunctionRule
GuessRule
MaxRule
MinRule
NominalRule
SelfRule
SimpleAllValuesRule
SomeValuesRule
UnfoldingRule