| Interface | Description |
|---|---|
| AxiomQuery |
Verifies whether an axiom holds in the ontology
|
| Class | Description |
|---|---|
| AssertedSolvabilityBasedAxiomQuery | |
| AssertedTreeSearchAxiomQuery | |
| AssertedTreeSearchSingleAxiomQuery | |
| ConstraintChecker |
This ConstraintVisitor implementation verifies if the visited Constraint
holds
|
| InferredSolvabilityBasedTreeSearchAxiomQuery | |
| InferredTreeSearchAxiomQuery |
Copyright © 2015 The University of Manchester. All Rights Reserved.