Package org.mindswap.pellet.tableau.completion.rule

Interface Summary
TableauRule Title:
 

Class Summary
AbstractTableauRule Title:
AllValuesRule Title:
ChooseRule Title:
DataCardinalityRule Title:
DataSatisfiabilityRule Title:
DisjunctionRule Title:
GuessRule Title:
MaxRule Title:
MinRule Title:
NominalRule Title:
SelfRule Title:
SimpleAllValuesRule Title:
SomeValuesRule Title:
UnfoldingRule Title:
 



Copyright © 2004 Evren Sirin. All Rights Reserved.