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.