Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES

## Uses of Interface
org.semanticweb.owl.inference.OWLConsistencyChecker

Packages that use OWLConsistencyChecker
uk.ac.man.cs.img.owl.inference.dl |
uk.ac.man.cs.img.owl.inference.firstorder |

Uses of OWLConsistencyChecker in uk.ac.man.cs.img.owl.inference.dl

Classes in uk.ac.man.cs.img.owl.inference.dl that implement OWLConsistencyChecker
`class` | `RACERConsistencyChecker` An OWL reasoner that uses a DIG reasoner to do the work.

Uses of OWLConsistencyChecker in uk.ac.man.cs.img.owl.inference.firstorder

Classes in uk.ac.man.cs.img.owl.inference.firstorder that implement OWLConsistencyChecker
`class` | `ConsistencyChecker` An OWL consistency checker.

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES

WonderWeb