| Package | Description |
|---|---|
| com.clarkparsia.pellint.lintpattern.axiom | |
| com.clarkparsia.pellint.lintpattern.ontology | |
| com.clarkparsia.pellint.model |
| Modifier and Type | Class and Description |
|---|---|
class |
AxiomLintPattern
Title: Axiom-based Lint Pattern Abstract Class
|
class |
EquivalentToAllValuePattern
Title:
|
class |
EquivalentToComplementPattern
Title:
|
class |
EquivalentToMaxCardinalityPattern
Title:
|
class |
EquivalentToTopPattern
Title:
|
class |
GCIPattern
Title:
|
class |
LargeCardinalityPattern
Title:
|
class |
LargeDisjunctionPattern
Title:
|
| Modifier and Type | Interface and Description |
|---|---|
interface |
OntologyLintPattern
Title: Ontology-based Lint Pattern Interface
|
| Modifier and Type | Class and Description |
|---|---|
class |
EquivalentAndSubclassAxiomPattern
Title:
|
class |
ExistentialExplosionPattern
Title:
|
class |
TooManyDifferentIndividualsPattern
Title:
|
| Modifier and Type | Method and Description |
|---|---|
LintPattern |
Lint.getPattern() |
| Modifier and Type | Method and Description |
|---|---|
void |
OntologyLints.addLint(LintPattern pattern,
Lint newLint) |
void |
OntologyLints.addLints(LintPattern pattern,
List<Lint> newLints) |
| Constructor and Description |
|---|
Lint(LintPattern lintPattern,
org.semanticweb.owlapi.model.OWLOntology participatingOntology) |
LintFactory(LintPattern lintPattern,
org.semanticweb.owlapi.model.OWLOntology participatingOntology) |
Copyright © 2019. All rights reserved.