Uses of Interface
org.semanticweb.owl.inference.OWLIndividualReasoner

Packages that use OWLIndividualReasoner

uk.ac.man.cs.img.owl.inference.dl

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

Classes in uk.ac.man.cs.img.owl.inference.dl that implement OWLIndividualReasoner

class

SimpleOWLReasoner An OWL reasoner that uses a DIG reasoner to do the work.