|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use TableauRule | |
---|---|
org.mindswap.pellet.tableau.completion.rule |
Uses of TableauRule in org.mindswap.pellet.tableau.completion.rule |
---|
Classes in org.mindswap.pellet.tableau.completion.rule that implement TableauRule | |
---|---|
class |
AbstractTableauRule
Title: |
class |
AllValuesRule
Title: |
class |
ChooseRule
Title: |
class |
DataCardinalityRule
Title: |
class |
DataSatisfiabilityRule
Title: |
class |
DisjunctionRule
Title: |
class |
GuessRule
Title: |
class |
MaxRule
Title: |
class |
MinRule
Title: |
class |
NominalRule
Title: |
class |
SelfRule
Title: |
class |
SimpleAllValuesRule
Title: |
class |
SomeValuesRule
Title: |
class |
UnfoldingRule
Title: |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |