All Classes and Interfaces

Class	Description
AddJustificationsSection	A section for loading justifications
AxiomSelectionListener	Author: Matthew Horridge The University Of Manchester Information Management Group Date: 09-Oct-2008
AxiomSelectionModel	Author: Matthew Horridge The University Of Manchester Information Management Group Date: 09-Oct-2008
AxiomSelectionModelImpl	Author: Matthew Horridge The University Of Manchester Information Management Group Date: 09-Oct-2008
Explanation
ExplanationGeneratorProgressDialog	Author: Matthew Horridge Stanford University Bio-Medical Informatics Research Group Date: 20/03/2012
InconsistentOntologyPresentationService	Author: Matthew Horridge Stanford University Bio-Medical Informatics Research Group Date: 18/03/2012
JustificationComputation	An object using which justification can be computed
JustificationComputation.InterruptMonitor
JustificationComputationListener
JustificationComputationManager	Manages computation of justifications for a given OWLAxiom
JustificationComputationManager.ChangeListener
JustificationComputationPlugin	Instantiates the plugin which is based on specified computation service
JustificationComputationPluginLoader	Load the available specified JustificationComputationService plugins
JustificationComputationService	A skeleton for a plugin that can provide justification based explanation for OWL axioms and inconsistent ontologies
JustificationComputationServiceManager	Keeps track of the available JustificationComputationService plugins.
JustificationFormattingManager	Author: Matthew Horridge The University Of Manchester Information Management Group Date: 23-Oct-2008
JustificationFrame	Author: Matthew Horridge Stanford University Bio-Medical Informatics Research Group Date: 19/03/2012
JustificationFrameList	Author: Matthew Horridge Stanford University Bio-Medical Informatics Research Group Date: 19/03/2012
JustificationFrameListRenderer	Author: Matthew Horridge Stanford University Bio-Medical Informatics Research Group Date: 19/03/2012
JustificationFrameSection	Author: Matthew Horridge Stanford University Bio-Medical Informatics Research Group Date: 19/03/2012
JustificationFrameSectionRow	Author: Matthew Horridge Stanford University Bio-Medical Informatics Research Group Date: 19/03/2012
JustificationListener	A object using which the computed justifications are reported
JustificationManager	Used to keep track of the computed justifications for a particular entailed OWLAxiom
JustificationManager.ChangeListener
JustificationPreferencesGeneralPanel
JustificationPreferencesGeneralPanel.PreferencesListener
JustificationPreferencesPanelPlugin
JustificationPreferencesPanelPluginLoader
JustificationPriority	A priority that specifies in which order justifications should be displayed and, preferably, computed
JustificationPriorityComparator<P>	An assignment of objects using which justifications can be compared
JustificationPriorityFactory	A factory for creating JustificationPriority
JustificationProgressPanel	Author: Matthew Horridge The University of Manchester Information Management Group Date: 14-Oct-2009
JustificationStatusSection
JustPrefPanel
JustPrefs
MListMoreButton
MListReloadButton
OwlAxiomType	The enumeration of all types of OWLAxiom for the lack of such in OWL API.
OwlAxiomTypes	A collection of static methods for manipulating with OwlAxiomTypes
PartialListVisualizer	Represents visual component which can display (some) elements from the list
PresentationPanel	Author: Matthew Horridge The University Of Manchester Information Management Group Date: 04-Oct-2008 The component that displays a set of justification
PresentationPanelResult	Author: Matthew Horridge Stanford University Bio-Medical Informatics Research Group Date: 18/03/2012
PresentationService
PrioritizedJustification	A justification (set of OWLAxiom) that compared using the corresponding JustificationPriority
PrioritizedJustificationFactory
ProtegeExplanationOrderer	Provides ordering and indenting of explanations based on various ordering heuristics.