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.

Author:

Matthew Horridge, The University Of Manchester, Bio-Health Informatics Group, Date: 27-Jul-2007

Constructor Summary

Constructors

Constructor and Description
InferredEntityAxiomGenerator()

Method Summary

Modifier and Type	Method and Description
protected abstract void	addAxioms(E entity, OWLReasoner reasoner, OWLDataFactory dataFactory, Set<A> result) Adds inferred axioms to a results set.
Set<A>	createAxioms(OWLOntologyManager manager, OWLReasoner reasoner)
protected Set<E>	getAllEntities(OWLReasoner reasoner)
protected abstract Set<E>	getEntities(OWLOntology ont) Gets the entities from the specified ontology that this generator processes.
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

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

getLabel

Constructor Detail

InferredEntityAxiomGenerator

public InferredEntityAxiomGenerator()

Method Detail

createAxioms

public Set<A> createAxioms(OWLOntologyManager manager,
                           OWLReasoner reasoner)

Specified by:

createAxioms in interface InferredAxiomGenerator<A extends OWLAxiom>

Parameters:

manager - the menager to use

reasoner - the reasoner to use

Returns:

the set of axioms generated

addAxioms

protected abstract void addAxioms(E entity,
                                  OWLReasoner reasoner,
                                  OWLDataFactory dataFactory,
                                  Set<A> result)

Adds inferred axioms to a results set. The inferred axioms are generated for the specific entity.

Parameters:

entity - The entity

reasoner - The reasoner that has inferred the new axioms

dataFactory - A data factory which should be used to create the new axioms

result - The results set, which the new axioms should be added to.

getEntities

protected abstract Set<E> getEntities(OWLOntology ont)

Gets the entities from the specified ontology that this generator processes.

Parameters:

ont - The ontology from which entities are to be retrieved.

Returns:

A set of entities.

getAllEntities

protected Set<E> getAllEntities(OWLReasoner reasoner)

toString

public String toString()

Overrides:

toString in class Object