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

## 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)`

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

WonderWeb