| Package | Description |
|---|---|
| com.clarkparsia.pellint.format | |
| com.clarkparsia.pellint.lintpattern.axiom | |
| com.clarkparsia.pellint.lintpattern.ontology | |
| com.clarkparsia.pellint.model |
| Modifier and Type | Method and Description |
|---|---|
String |
CompactClassLintFormat.format(Lint lint) |
String |
SimpleLintFormat.format(Lint lint) |
String |
LintFormat.format(Lint lint) |
| Modifier and Type | Method and Description |
|---|---|
protected Lint |
AxiomLintPattern.makeLint() |
Lint |
AxiomLintPattern.match(org.semanticweb.owlapi.model.OWLOntology ontology,
org.semanticweb.owlapi.model.OWLAxiom axiom)
Match an OWLAxiom and returns a
Lint
for the axiom if found. |
| Modifier and Type | Method and Description |
|---|---|
protected void |
AxiomLintPattern.setLint(Lint lint) |
| Modifier and Type | Method and Description |
|---|---|
List<Lint> |
EquivalentAndSubclassAxiomPattern.match(org.semanticweb.owlapi.model.OWLOntology ontology) |
List<Lint> |
ExistentialExplosionPattern.match(org.semanticweb.owlapi.model.OWLOntology ontology) |
List<Lint> |
TooManyDifferentIndividualsPattern.match(org.semanticweb.owlapi.model.OWLOntology ontology) |
List<Lint> |
OntologyLintPattern.match(org.semanticweb.owlapi.model.OWLOntology ontology)
Match an OWLOntology and returns a list of
Lint
for the OWLOntology. |
| Modifier and Type | Method and Description |
|---|---|
Lint |
LintFactory.make() |
| Modifier and Type | Method and Description |
|---|---|
Set<Lint> |
OntologyLints.applyFix(org.semanticweb.owlapi.model.OWLOntologyManager manager)
Fix all reparable lints.
|
| Modifier and Type | Method and Description |
|---|---|
void |
OntologyLints.addLint(LintPattern pattern,
Lint newLint) |
| Modifier and Type | Method and Description |
|---|---|
void |
OntologyLints.addLints(LintPattern pattern,
List<Lint> newLints) |
void |
OntologyLints.sort(Comparator<? super Lint> comparator) |
Copyright © 2019. All rights reserved.