|
||||||||||
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 |