com.clarkparsia.pellint.lintpattern.axiom

Classes

• AxiomLintPattern
• EquivalentToAllValuePattern
• EquivalentToComplementPattern
• EquivalentToMaxCardinalityPattern
• EquivalentToTopPattern
• GCIPattern
• LargeCardinalityPattern
• LargeDisjunctionPattern