Package org.semanticweb.owlapi.util

Class InferredEntityAxiomGenerator<E extends OWLEntity,A extends OWLAxiom>

java.lang.Object

org.semanticweb.owlapi.util.InferredEntityAxiomGenerator<E,A>

Type Parameters:

E - the entity type

A - the axiom type

All Implemented Interfaces:

InferredAxiomGenerator<A>

Direct Known Subclasses:

InferredClassAxiomGenerator, InferredDataPropertyAxiomGenerator, InferredIndividualAxiomGenerator, InferredObjectPropertyAxiomGenerator

public abstract class InferredEntityAxiomGenerator<E extends OWLEntity,A extends OWLAxiom>
extends Object
implements InferredAxiomGenerator<A>

Generates axioms which relate to inferred information for a specific entity.

Since:

2.1.0

Author:

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

Constructor Summary

Constructors

Constructor	Description
InferredEntityAxiomGenerator()

Method Summary

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

Methods inherited from interface org.semanticweb.owlapi.util.InferredAxiomGenerator

getLabel

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

InferredEntityAxiomGenerator

public InferredEntityAxiomGenerator()

Method Detail

createAxioms

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

Specified by:

createAxioms in interface InferredAxiomGenerator<E extends OWLEntity>

Parameters:

df - data factory

reasoner - the reasoner to use

Returns:

the set of axioms generated

toString

public String toString()

Overrides:

toString in class Object