com.clarkparsia.pellint.lintpattern.axiom
Classes 
AxiomLintPattern
EquivalentToAllValuePattern
EquivalentToComplementPattern
EquivalentToMaxCardinalityPattern
EquivalentToTopPattern
GCIPattern
LargeCardinalityPattern
LargeDisjunctionPattern