Uses of Interface
uk.ac.man.cs.img.owl.inference.dl.ReasonerProxy

Packages that use ReasonerProxy

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

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

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

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

Constructors in uk.ac.man.cs.img.owl.inference.dl with parameters of type ReasonerProxy

OntologyChangeConverter(ReasonerProxy rP)