Package org.semanticweb.owlapi.util

Interface InferredAxiomGenerator<A extends OWLAxiom>

Type Parameters:

A - the axiom type

All Known Implementing Classes:

InferredClassAssertionAxiomGenerator, InferredClassAxiomGenerator, InferredDataPropertyAxiomGenerator, InferredDataPropertyCharacteristicAxiomGenerator, InferredDisjointClassesAxiomGenerator, InferredEntityAxiomGenerator, InferredEquivalentClassAxiomGenerator, InferredEquivalentDataPropertiesAxiomGenerator, InferredEquivalentObjectPropertyAxiomGenerator, InferredIndividualAxiomGenerator, InferredInverseObjectPropertiesAxiomGenerator, InferredObjectPropertyAxiomGenerator, InferredObjectPropertyCharacteristicAxiomGenerator, InferredPropertyAssertionGenerator, InferredSubClassAxiomGenerator, InferredSubDataPropertyAxiomGenerator, InferredSubObjectPropertyAxiomGenerator

public interface InferredAxiomGenerator<A extends OWLAxiom>

Given a reasoner, implementations of this interface generate axioms that represent inferred information. For example, an implementation might generate the necessary subclass axioms that represent the inferred class subsumption hierarchy within the reasoner. It is assumed that axioms generated reflect the inferences drawn from the ontologies which were loaded into the reasoner.

Since:

2.1.0

Author:

Matthew Horridge, The University Of Manchester, Bio-Health Informatics Group

Method Summary

Modifier and Type	Method	Description
Set<A>	createAxioms(OWLDataFactory df, OWLReasoner reasoner)
String	getLabel()

Method Detail

createAxioms

@Nonnull
Set<A> createAxioms(@Nonnull
                    OWLDataFactory df,
                    @Nonnull
                    OWLReasoner reasoner)

Parameters:

df - data factory

reasoner - the reasoner to use

Returns:

the set of axioms generated

getLabel

@Nonnull
String getLabel()

Returns:

the label