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