| class  | InferredClassAssertionAxiomGeneratorGenerates OWLClassAssertionsAxioms for inferred individual types. | 
| class  | InferredClassAxiomGenerator<A extends OWLClassAxiom> | 
| class  | InferredDataPropertyAxiomGenerator<A extends OWLDataPropertyAxiom> | 
| class  | InferredDataPropertyCharacteristicAxiomGeneratorGenerates inferred data property characteristics. | 
| class  | InferredDisjointClassesAxiomGeneratorGenerates inferred disjoint axioms - note that this currently uses a very
 simple inefficient algorithm. | 
| class  | InferredEquivalentClassAxiomGeneratorGenerates inferred equivalent classes axioms. | 
| class  | InferredEquivalentDataPropertiesAxiomGenerator | 
| class  | InferredEquivalentObjectPropertyAxiomGenerator | 
| class  | InferredIndividualAxiomGenerator<A extends OWLIndividualAxiom> | 
| class  | InferredInverseObjectPropertiesAxiomGenerator | 
| class  | InferredObjectPropertyAxiomGenerator<A extends OWLObjectPropertyAxiom> | 
| class  | InferredObjectPropertyCharacteristicAxiomGenerator | 
| class  | InferredPropertyAssertionGenerator | 
| class  | InferredSubClassAxiomGenerator | 
| class  | InferredSubDataPropertyAxiomGenerator | 
| class  | InferredSubObjectPropertyAxiomGenerator |