|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use LintPattern | |
---|---|
com.clarkparsia.pellint.lintpattern.axiom | |
com.clarkparsia.pellint.lintpattern.ontology | |
com.clarkparsia.pellint.model |
Uses of LintPattern in com.clarkparsia.pellint.lintpattern.axiom |
---|
Classes in com.clarkparsia.pellint.lintpattern.axiom that implement LintPattern | |
---|---|
class |
AxiomLintPattern
Title: Axiom-based Lint Pattern Abstract Class |
class |
EquivalentToAllValuePattern
Title: |
class |
EquivalentToComplementPattern
Title: |
class |
EquivalentToTopPattern
Title: |
class |
GCIPattern
Title: |
class |
LargeCardinalityPattern
Title: |
class |
LargeDisjunctionPattern
Title: |
Uses of LintPattern in com.clarkparsia.pellint.lintpattern.ontology |
---|
Subinterfaces of LintPattern in com.clarkparsia.pellint.lintpattern.ontology | |
---|---|
interface |
OntologyLintPattern
Title: Ontology-based Lint Pattern Interface |
Classes in com.clarkparsia.pellint.lintpattern.ontology that implement LintPattern | |
---|---|
class |
EquivalentAndSubclassAxiomPattern
Title: |
class |
ExistentialExplosionPattern
Title: |
class |
TooManyDifferentIndividualsPattern
Title: |
Uses of LintPattern in com.clarkparsia.pellint.model |
---|
Methods in com.clarkparsia.pellint.model that return LintPattern | |
---|---|
LintPattern |
Lint.getPattern()
|
Methods in com.clarkparsia.pellint.model with parameters of type LintPattern | |
---|---|
void |
OntologyLints.addLint(LintPattern pattern,
Lint newLint)
|
void |
OntologyLints.addLints(LintPattern pattern,
java.util.List<Lint> newLints)
|
Constructors in com.clarkparsia.pellint.model with parameters of type LintPattern | |
---|---|
Lint(LintPattern lintPattern,
org.semanticweb.owl.model.OWLOntology participatingOntology)
|
|
LintFactory(LintPattern lintPattern,
org.semanticweb.owl.model.OWLOntology participatingOntology)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |