org.semanticweb.owlapi.inference
Interface OWLReasonerManagerListener


public interface OWLReasonerManagerListener

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 02-Jun-2008

Represents a listener that will be informed of events that are generated by a reasoner manager.


Method Summary
 void reasonerFactoryChanged(OWLReasonerManagerEvent event)
          Called when the reasoner factory has changed.
 void reasonerFactoryRegistered(OWLReasonerManagerEvent event)
          Called when a reasoner factory has been registered.
 void reasonerFactoryUnregistered(OWLReasonerManagerEvent event)
          Called when a reasoner factory has been unregisterd.
 

Method Detail

reasonerFactoryRegistered

void reasonerFactoryRegistered(OWLReasonerManagerEvent event)
Called when a reasoner factory has been registered.

Parameters:
event - Describes the reasoner manager that generated the event.

reasonerFactoryUnregistered

void reasonerFactoryUnregistered(OWLReasonerManagerEvent event)
Called when a reasoner factory has been unregisterd.

Parameters:
event - Describes the reasoner manager that generated the event.

reasonerFactoryChanged

void reasonerFactoryChanged(OWLReasonerManagerEvent event)
Called when the reasoner factory has changed.

Parameters:
event - Describes the reasoner manager that generated the event.