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

Packages that use InferredAxiomGenerator

org.semanticweb.owl.util

Uses of InferredAxiomGenerator in org.semanticweb.owl.util

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

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.owl.util that return InferredAxiomGenerator

InferredAxiomGenerator

InferredAxiomGeneratorException.getGenerator()

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

java.util.List<InferredAxiomGenerator>

InferredOntologyGenerator.getAxiomGenerators()

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

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

Constructors in org.semanticweb.owl.util with parameters of type InferredAxiomGenerator

InferredAxiomGeneratorException(InferredAxiomGenerator generator, OWLReasonerException reasonerException)

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

InferredOntologyGenerator(OWLReasoner reasoner, java.util.List<InferredAxiomGenerator<? extends OWLAxiom>> axiomGenerators)