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

Packages that use InferredAxiomGenerator

Package	Description
org.semanticweb.owlapi.util

Uses of InferredAxiomGenerator in org.semanticweb.owlapi.util

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

Modifier and Type	Class and Description
class	InferredClassAssertionAxiomGenerator Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 27-Jul-2007 Generates OWLClassAssertionsAxioms for inferred individual types.
class	InferredClassAxiomGenerator<A extends OWLClassAxiom> Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 27-Jul-2007
class	InferredDataPropertyAxiomGenerator<A extends OWLDataPropertyAxiom> Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 27-Jul-2007
class	InferredDataPropertyCharacteristicAxiomGenerator Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 27-Jul-2007 Generates inferred data property characteristics.
class	InferredDisjointClassesAxiomGenerator Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 27-Jul-2007 Generates inferred disjoint axioms - note that this currently uses a very simple inefficient algorithm.
class	InferredEntityAxiomGenerator<E extends OWLEntity,A extends OWLAxiom> Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 27-Jul-2007 Generates axioms which relate to inferred information for a specific entity.
class	InferredEquivalentClassAxiomGenerator Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 27-Jul-2007 Generates inferred equivalent classes axioms.
class	InferredEquivalentDataPropertiesAxiomGenerator Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 27-Jul-2007
class	InferredEquivalentObjectPropertyAxiomGenerator Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 27-Jul-2007
class	InferredIndividualAxiomGenerator<A extends OWLIndividualAxiom> Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 27-Jul-2007
class	InferredInverseObjectPropertiesAxiomGenerator Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 27-Jul-2007
class	InferredObjectPropertyAxiomGenerator<A extends OWLObjectPropertyAxiom> Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 27-Jul-2007
class	InferredObjectPropertyCharacteristicAxiomGenerator Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 27-Jul-2007
class	InferredPropertyAssertionGenerator Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 27-Jul-2007
class	InferredSubClassAxiomGenerator Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 27-Jul-2007
class	InferredSubDataPropertyAxiomGenerator Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 27-Jul-2007
class	InferredSubObjectPropertyAxiomGenerator Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 27-Jul-2007

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

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

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

Modifier and Type	Method and 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

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