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