Uses of Interface
org.semanticweb.owlapi.util.InferredAxiomGenerator

Packages that use InferredAxiomGenerator

Package	Description
org.semanticweb.owlapi.util	Utilities package.

Uses of InferredAxiomGenerator in org.semanticweb.owlapi.util

Classes in org.semanticweb.owlapi.util that implement InferredAxiomGenerator

Modifier and Type	Class	Description
class	InferredClassAssertionAxiomGenerator	Generates OWLClassAssertionsAxioms for inferred individual types.
class	InferredClassAxiomGenerator<A extends OWLClassAxiom>
class	InferredDataPropertyAxiomGenerator<A extends OWLDataPropertyAxiom>
class	InferredDataPropertyCharacteristicAxiomGenerator	Generates inferred data property characteristics.
class	InferredDisjointClassesAxiomGenerator	Generates inferred disjoint axioms - note that this currently uses a very simple inefficient algorithm.
class	InferredEntityAxiomGenerator<E extends OWLEntity,A extends OWLAxiom>	Generates axioms which relate to inferred information for a specific entity.
class	InferredEquivalentClassAxiomGenerator	Generates 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

Methods in org.semanticweb.owlapi.util that return types with arguments of type InferredAxiomGenerator

Modifier and Type	Method	Description
List<InferredAxiomGenerator<?>>	InferredOntologyGenerator.getAxiomGenerators()

Methods in org.semanticweb.owlapi.util with parameters of type InferredAxiomGenerator

Modifier and Type	Method	Description
void	InferredOntologyGenerator.addGenerator(InferredAxiomGenerator<?> generator)	Adds a generator if it isn't already in the list of generators.
void	InferredOntologyGenerator.removeGenerator(InferredAxiomGenerator<?> generator)	Removes a generator.

Constructor parameters in org.semanticweb.owlapi.util with type arguments of type InferredAxiomGenerator

Modifier	Constructor	Description
	InferredOntologyGenerator(OWLReasoner reasoner, List<InferredAxiomGenerator<? extends OWLAxiom>> axiomGenerators)