org.semanticweb.owlapi.util
Class InferredEntityAxiomGenerator<E extends OWLEntity,A extends OWLAxiom>

java.lang.Object
  org.semanticweb.owlapi.util.InferredEntityAxiomGenerator<E,A>

All Implemented Interfaces:

InferredAxiomGenerator<A>

Direct Known Subclasses:

InferredClassAxiomGenerator, InferredDataPropertyAxiomGenerator, InferredIndividualAxiomGenerator, InferredObjectPropertyAxiomGenerator

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

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.

Constructor Summary

InferredEntityAxiomGenerator()

Method Summary

protected abstract void	addAxioms(E entity, OWLReasoner reasoner, OWLDataFactory dataFactory, java.util.Set<A> result) Adds inferred axioms to a results set.
java.util.Set<A>	createAxioms(OWLOntologyManager manager, OWLReasoner reasoner)
protected java.util.Set<E>	getAllEntities(OWLReasoner reasoner)
protected abstract java.util.Set<E>	getEntities(OWLOntology ont) Gets the entities from the specified ontology that this generator processes
java.lang.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 java.util.Set<A> createAxioms(OWLOntologyManager manager,
                                     OWLReasoner reasoner)

Specified by:

createAxioms in interface InferredAxiomGenerator<A extends OWLAxiom>

addAxioms

protected abstract void addAxioms(E entity,
                                  OWLReasoner reasoner,
                                  OWLDataFactory dataFactory,
                                  java.util.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 java.util.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 java.util.Set<E> getAllEntities(OWLReasoner reasoner)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object