| Package | Description |
|---|---|
| com.clarkparsia.pellint.lintpattern | |
| com.clarkparsia.pellint.lintpattern.axiom |
| Modifier and Type | Field and Description |
|---|---|
static List<AxiomLintPattern> |
LintPatternLoader.DEFAULT_AXIOM_LINT_PATTERNS |
| Modifier and Type | Method and Description |
|---|---|
List<AxiomLintPattern> |
LintPatternLoader.getAxiomLintPatterns() |
| Modifier and Type | Class and Description |
|---|---|
class |
EquivalentToAllValuePattern
Title:
|
class |
EquivalentToComplementPattern
Title:
|
class |
EquivalentToMaxCardinalityPattern
Title:
|
class |
EquivalentToTopPattern
Title:
|
class |
GCIPattern
Title:
|
class |
LargeCardinalityPattern
Title:
|
class |
LargeDisjunctionPattern
Title:
|
Copyright © 2019. All rights reserved.