Uses of Interface
org.mindswap.pellet.tableau.completion.rule.TableauRule

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:
 



Copyright © 2004 Evren Sirin. All Rights Reserved.