| Package | Description |
|---|---|
| uk.ac.manchester.cs.jfact.elf | |
| uk.ac.manchester.cs.jfact.kernel | |
| uk.ac.manchester.cs.jfact.split | |
| uk.ac.manchester.cs.jfact.visitors |
| Modifier and Type | Method and Description |
|---|---|
void |
ELFAxiomChecker.visit(AxiomFairnessConstraint axiom) |
| Modifier and Type | Method and Description |
|---|---|
void |
OntologyLoader.visit(AxiomFairnessConstraint axiom) |
| Modifier and Type | Method and Description |
|---|---|
void |
TSignatureUpdater.visit(AxiomFairnessConstraint axiom) |
void |
SyntacticLocalityChecker.visit(AxiomFairnessConstraint axiom)
there is no such axiom in OWL API, but I hope nobody would use Fairness
here
|
void |
SemanticLocalityChecker.visit(AxiomFairnessConstraint axiom)
there is no such axiom in OWL API, but I hope nobody would use Fairness
here
|
| Modifier and Type | Method and Description |
|---|---|
A |
DLAxiomVisitorExAdapter.visit(AxiomFairnessConstraint axiom) |
O |
DLAxiomVisitorEx.visit(AxiomFairnessConstraint axiom) |
void |
DLAxiomVisitorAdapter.visit(AxiomFairnessConstraint axiom) |
void |
DLAxiomVisitor.visit(AxiomFairnessConstraint axiom) |
Copyright © 2013 The University of Manchester. All Rights Reserved.