| Package | Description |
|---|---|
| com.clarkparsia.pellint.format | |
| com.clarkparsia.pellint.lintpattern | |
| com.clarkparsia.pellint.lintpattern.axiom | |
| com.clarkparsia.pellint.lintpattern.ontology |
| Modifier and Type | Class and Description |
|---|---|
class |
CompactClassLintFormat
Title: Compact Class Lint Format
|
class |
SimpleLintFormat
Title: Simple Lint Format
|
| Modifier and Type | Method and Description |
|---|---|
LintFormat |
LintPattern.getDefaultLintFormat() |
| Modifier and Type | Method and Description |
|---|---|
LintFormat |
EquivalentToMaxCardinalityPattern.getDefaultLintFormat() |
LintFormat |
EquivalentToAllValuePattern.getDefaultLintFormat() |
LintFormat |
EquivalentToTopPattern.getDefaultLintFormat() |
LintFormat |
EquivalentToComplementPattern.getDefaultLintFormat() |
LintFormat |
LargeDisjunctionPattern.getDefaultLintFormat() |
LintFormat |
LargeCardinalityPattern.getDefaultLintFormat() |
LintFormat |
GCIPattern.getDefaultLintFormat() |
| Modifier and Type | Method and Description |
|---|---|
LintFormat |
EquivalentAndSubclassAxiomPattern.getDefaultLintFormat() |
LintFormat |
ExistentialExplosionPattern.getDefaultLintFormat() |
LintFormat |
TooManyDifferentIndividualsPattern.getDefaultLintFormat() |
Copyright © 2019. All rights reserved.