uk.ac.man.cs.img.owl.inference.dl
Interfaces
ReasonerProxy
Classes
FaCTConverter
OntologyChangeConverter
RACERConsistencyChecker
SimpleOWLReasoner
SimpleOWLTaxonomyReasoner