|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use AxiomLintPattern | |
|---|---|
| com.clarkparsia.pellint.lintpattern | |
| com.clarkparsia.pellint.lintpattern.axiom | |
| pellet | |
| Uses of AxiomLintPattern in com.clarkparsia.pellint.lintpattern |
|---|
| Fields in com.clarkparsia.pellint.lintpattern with type parameters of type AxiomLintPattern | |
|---|---|
static java.util.List<AxiomLintPattern> |
LintPatternLoader.DEFAULT_AXIOM_LINT_PATTERNS
|
| Methods in com.clarkparsia.pellint.lintpattern that return types with arguments of type AxiomLintPattern | |
|---|---|
java.util.List<AxiomLintPattern> |
LintPatternLoader.getAxiomLintPatterns()
|
| Uses of AxiomLintPattern in com.clarkparsia.pellint.lintpattern.axiom |
|---|
| Subclasses of AxiomLintPattern in com.clarkparsia.pellint.lintpattern.axiom | |
|---|---|
class |
EquivalentToAllValuePattern
Title: |
class |
EquivalentToComplementPattern
Title: |
class |
EquivalentToTopPattern
Title: |
class |
GCIPattern
Title: |
class |
LargeCardinalityPattern
Title: |
class |
LargeDisjunctionPattern
Title: |
| Uses of AxiomLintPattern in pellet |
|---|
| Method parameters in pellet with type arguments of type AxiomLintPattern | |
|---|---|
static OntologyLints |
Pellint.lint(java.util.List<AxiomLintPattern> axiomLintPatterns,
java.util.List<OntologyLintPattern> ontologyLintPatterns,
org.semanticweb.owl.model.OWLOntology ontology)
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||