Index (Protege Justification Explanation 0.1.0 API)

A C D E F G H I J L M N O P R S T U V
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form

A

actionPerformed(ActionEvent) - Method in class org.liveontologies.protege.explanation.justification.JustificationProgressPanel
addAxiomSelectionListener(AxiomSelectionListener) - Method in interface org.liveontologies.protege.explanation.justification.AxiomSelectionModel
addAxiomSelectionListener(AxiomSelectionListener) - Method in class org.liveontologies.protege.explanation.justification.AxiomSelectionModelImpl
addAxiomSelectionListener(AxiomSelectionListener) - Method in class org.liveontologies.protege.explanation.justification.PresentationPanel
addJustification(PrioritizedJustification) - Method in class org.liveontologies.protege.explanation.justification.Explanation
addJustification(PrioritizedJustification, int) - Method in class org.liveontologies.protege.explanation.justification.JustificationFrameList
AddJustificationsSection - Class in org.liveontologies.protege.explanation.justification: A section for loading justifications
AddJustificationsSection(OWLEditorKit, OWLFrame<? extends Explanation>, PartialListVisualizer) - Constructor for class org.liveontologies.protege.explanation.justification.AddJustificationsSection
addListener(JustificationManager.ChangeListener) - Method in class org.liveontologies.protege.explanation.justification.JustificationManager
addListener(JustificationPreferencesGeneralPanel.PreferencesListener) - Static method in class org.liveontologies.protege.explanation.justification.preferences.JustificationPreferencesGeneralPanel
addListener(JustificationComputationManager.ChangeListener) - Method in class org.liveontologies.protege.explanation.justification.service.JustificationComputationManager
addSection(int, String) - Method in class org.liveontologies.protege.explanation.justification.JustificationFrame
addToPopupMenu(OWLFrameListPopupMenuAction<Explanation>) - Method in class org.liveontologies.protege.explanation.justification.JustificationFrameList
applyChanges() - Method in class org.liveontologies.protege.explanation.justification.preferences.JustificationPreferencesGeneralPanel
applyChanges() - Method in class org.liveontologies.protege.explanation.justification.preferences.JustPrefPanel
axiomAdded(AxiomSelectionModel, OWLAxiom) - Method in interface org.liveontologies.protege.explanation.justification.AxiomSelectionListener
axiomAdded(AxiomSelectionModel, OWLAxiom) - Method in class org.liveontologies.protege.explanation.justification.JustificationFrameList
axiomRemoved(AxiomSelectionModel, OWLAxiom) - Method in interface org.liveontologies.protege.explanation.justification.AxiomSelectionListener
axiomRemoved(AxiomSelectionModel, OWLAxiom) - Method in class org.liveontologies.protege.explanation.justification.JustificationFrameList
AxiomSelectionListener - Interface in org.liveontologies.protege.explanation.justification: Author: Matthew Horridge The University Of Manchester Information Management Group Date: 09-Oct-2008
AxiomSelectionModel - Interface in org.liveontologies.protege.explanation.justification: Author: Matthew Horridge The University Of Manchester Information Management Group Date: 09-Oct-2008
AxiomSelectionModelImpl - Class in org.liveontologies.protege.explanation.justification: Author: Matthew Horridge The University Of Manchester Information Management Group Date: 09-Oct-2008
AxiomSelectionModelImpl() - Constructor for class org.liveontologies.protege.explanation.justification.AxiomSelectionModelImpl

C

canAcceptDrop(List<OWLObject>) - Method in class org.liveontologies.protege.explanation.justification.JustificationFrameSection
canAdd() - Method in class org.liveontologies.protege.explanation.justification.JustificationFrameSection
canJustify(OWLAxiom) - Method in class org.liveontologies.protege.explanation.justification.service.JustificationComputationService: Check if computation of justifications is supported for a given OWLAxiom
canJustifyInconsistentOntology() - Method in class org.liveontologies.protege.explanation.justification.service.JustificationComputationService
clear() - Method in class org.liveontologies.protege.explanation.justification.AddJustificationsSection
clear() - Method in class org.liveontologies.protege.explanation.justification.JustificationFrame
clear() - Method in class org.liveontologies.protege.explanation.justification.JustificationFrameList
clear() - Method in class org.liveontologies.protege.explanation.justification.JustificationFrameSection
clear() - Method in class org.liveontologies.protege.explanation.justification.JustificationStatusSection
clearFormatting(PrioritizedJustification) - Method in class org.liveontologies.protege.explanation.justification.JustificationFormattingManager
clearInterrupt() - Method in class org.liveontologies.protege.explanation.justification.JustificationProgressPanel
clearSelection() - Method in interface org.liveontologies.protege.explanation.justification.AxiomSelectionModel
clearSelection() - Method in class org.liveontologies.protege.explanation.justification.AxiomSelectionModelImpl
clearSelection() - Method in class org.liveontologies.protege.explanation.justification.PresentationPanel
compareTo(JustificationPriority) - Method in class org.liveontologies.protege.explanation.justification.priority.JustificationPriority
compareTo(PrioritizedJustification) - Method in class org.liveontologies.protege.explanation.justification.priority.PrioritizedJustification
computationFinished() - Method in class org.liveontologies.protege.explanation.justification.ExplanationGeneratorProgressDialog
computationFinished() - Method in interface org.liveontologies.protege.explanation.justification.JustificationComputationListener
computationStarted() - Method in class org.liveontologies.protege.explanation.justification.ExplanationGeneratorProgressDialog
computationStarted() - Method in interface org.liveontologies.protege.explanation.justification.JustificationComputationListener
contains(OWLAxiom) - Method in class org.liveontologies.protege.explanation.justification.priority.PrioritizedJustification
create() - Static method in class org.liveontologies.protege.explanation.justification.preferences.JustPrefs
createAxiom(OWLAxiom) - Method in class org.liveontologies.protege.explanation.justification.AddJustificationsSection
createAxiom(OWLAxiom) - Method in class org.liveontologies.protege.explanation.justification.JustificationFrameSection
createAxiom(OWLAxiom) - Method in class org.liveontologies.protege.explanation.justification.JustificationFrameSectionRow
createAxiom(OWLAxiom) - Method in class org.liveontologies.protege.explanation.justification.JustificationStatusSection
createComputationManager(OWLAxiom, JustificationListener, JustificationComputation.InterruptMonitor) - Method in class org.liveontologies.protege.explanation.justification.service.JustificationComputationService: Creates a JustificationComputationManager computation object designed to compute everything regarding the service.
createInconsistentOntologyJustificationComputation(JustificationListener, JustificationComputation.InterruptMonitor) - Method in class org.liveontologies.protege.explanation.justification.service.JustificationComputationService
createInstance(IExtension) - Method in class org.liveontologies.protege.explanation.justification.preferences.JustificationPreferencesPanelPluginLoader
createInstance(IExtension) - Method in class org.liveontologies.protege.explanation.justification.service.JustificationComputationPluginLoader
createJustification(Set<OWLAxiom>) - Method in class org.liveontologies.protege.explanation.justification.priority.PrioritizedJustificationFactory
createListItemBorder(JList, Object, int, boolean, boolean) - Method in class org.liveontologies.protege.explanation.justification.JustificationFrameList

D

decreaseIndentation(OWLAxiom, PrioritizedJustification, OWLAxiom) - Method in class org.liveontologies.protege.explanation.justification.JustificationFormattingManager
dispose() - Method in class org.liveontologies.protege.explanation.justification.AxiomSelectionModelImpl
dispose() - Method in class org.liveontologies.protege.explanation.justification.InconsistentOntologyPresentationService
dispose() - Method in class org.liveontologies.protege.explanation.justification.JustificationComputationServiceManager
dispose() - Method in class org.liveontologies.protege.explanation.justification.JustificationFrame
dispose() - Method in class org.liveontologies.protege.explanation.justification.preferences.JustificationPreferencesGeneralPanel
dispose() - Method in class org.liveontologies.protege.explanation.justification.preferences.JustPrefPanel
dispose() - Method in class org.liveontologies.protege.explanation.justification.PresentationPanel
dispose() - Method in class org.liveontologies.protege.explanation.justification.PresentationPanelResult
dispose() - Method in class org.liveontologies.protege.explanation.justification.PresentationService

E

equals(Object) - Method in class org.liveontologies.protege.explanation.justification.priority.JustificationPriority
equals(Object) - Method in class org.liveontologies.protege.explanation.justification.priority.PrioritizedJustification
explain(OWLAxiom) - Method in class org.liveontologies.protege.explanation.justification.PresentationService
explain(OWLOntology) - Method in class org.liveontologies.protege.explanation.justification.InconsistentOntologyPresentationService
Explanation - Class in org.liveontologies.protege.explanation.justification
Explanation(OWLAxiom) - Constructor for class org.liveontologies.protege.explanation.justification.Explanation
ExplanationGeneratorProgressDialog - Class in org.liveontologies.protege.explanation.justification: Author: Matthew Horridge Stanford University Bio-Medical Informatics Research Group Date: 20/03/2012
ExplanationGeneratorProgressDialog(Frame) - Constructor for class org.liveontologies.protege.explanation.justification.ExplanationGeneratorProgressDialog
ExplanationGeneratorProgressDialog(OWLEditorKit) - Constructor for class org.liveontologies.protege.explanation.justification.ExplanationGeneratorProgressDialog

F

fireEvent(OWLAxiom, boolean) - Method in class org.liveontologies.protege.explanation.justification.AxiomSelectionModelImpl

G

get(OWLEditorKit) - Static method in class org.liveontologies.protege.explanation.justification.JustificationComputationServiceManager
getAdditionalButtons() - Method in class org.liveontologies.protege.explanation.justification.JustificationFrameSectionRow
getAddJustificationsSectionVisibility() - Method in class org.liveontologies.protege.explanation.justification.JustificationFrame
getAddJustificationsSectionVisibility() - Method in class org.liveontologies.protege.explanation.justification.JustificationFrameList
getAxioms() - Method in class org.liveontologies.protege.explanation.justification.priority.PrioritizedJustification
getAxiomsForLHS(OWLEntity) - Method in class org.liveontologies.protege.explanation.justification.ProtegeExplanationOrderer: Gets axioms that have a LHS corresponding to the specified entity.
getAxiomType() - Method in enum class org.liveontologies.protege.explanation.justification.priority.OwlAxiomType
getAxiomType(OWLAxiom) - Static method in class org.liveontologies.protege.explanation.justification.priority.OwlAxiomTypes
getButton() - Method in class org.liveontologies.protege.explanation.justification.AddJustificationsSection
getButton() - Method in class org.liveontologies.protege.explanation.justification.JustificationStatusSection
getButtons() - Method in class org.liveontologies.protege.explanation.justification.JustificationFrameSectionRow
getButtons(Object) - Method in class org.liveontologies.protege.explanation.justification.JustificationFrameList
getComputation() - Method in class org.liveontologies.protege.explanation.justification.service.JustificationComputationManager
getComputedJustificationsDescription() - Method in class org.liveontologies.protege.explanation.justification.PresentationPanel
getDefaultService() - Method in class org.liveontologies.protege.explanation.justification.JustificationComputationServiceManager
getDepth() - Method in class org.liveontologies.protege.explanation.justification.JustificationFrameSectionRow
getDisplayedJustificationCount() - Method in interface org.liveontologies.protege.explanation.justification.PartialListVisualizer
getDisplayedJustificationCount() - Method in class org.liveontologies.protege.explanation.justification.PresentationPanel
getEntailment() - Method in class org.liveontologies.protege.explanation.justification.Explanation
getEntailment() - Method in class org.liveontologies.protege.explanation.justification.JustificationManager
getEntailment() - Method in class org.liveontologies.protege.explanation.justification.service.JustificationComputationManager
getIconObject(JList, Object, int, boolean, boolean) - Method in class org.liveontologies.protege.explanation.justification.JustificationFrameListRenderer
getIndentation(OWLAxiom, PrioritizedJustification, OWLAxiom) - Method in class org.liveontologies.protege.explanation.justification.JustificationFormattingManager
getInitialJustifications() - Method in class org.liveontologies.protege.explanation.justification.service.JustificationComputationManager
getInstance() - Static method in class org.liveontologies.protege.explanation.justification.JustificationFormattingManager
getInterruptMonitor() - Method in class org.liveontologies.protege.explanation.justification.service.JustificationComputationManager
getItemBackgroundColor(MListItem) - Method in class org.liveontologies.protege.explanation.justification.JustificationFrameList
getJustification() - Method in class org.liveontologies.protege.explanation.justification.JustificationFrameSection
getJustification(int) - Method in class org.liveontologies.protege.explanation.justification.Explanation
getJustificationListener() - Method in class org.liveontologies.protege.explanation.justification.service.JustificationComputationManager
getLabel() - Method in class org.liveontologies.protege.explanation.justification.preferences.JustificationPreferencesPanelPlugin
getListItemButtons(MListItem) - Method in class org.liveontologies.protege.explanation.justification.JustificationFrameList
getManipulatableObjects() - Method in class org.liveontologies.protege.explanation.justification.JustificationFrameSectionRow
getMinimumSize() - Method in class org.liveontologies.protege.explanation.justification.PresentationPanel
getName() - Method in class org.liveontologies.protege.explanation.justification.service.JustificationComputationService: Should return a name for the plugin
getNoFoundJustifications() - Method in class org.liveontologies.protege.explanation.justification.JustificationProgressPanel
getObjectEditor() - Method in class org.liveontologies.protege.explanation.justification.AddJustificationsSection
getObjectEditor() - Method in class org.liveontologies.protege.explanation.justification.JustificationFrameSection
getObjectEditor() - Method in class org.liveontologies.protege.explanation.justification.JustificationFrameSectionRow
getObjectEditor() - Method in class org.liveontologies.protege.explanation.justification.JustificationStatusSection
getOrderedExplanation(OWLAxiom, Set<OWLAxiom>) - Method in class org.liveontologies.protege.explanation.justification.ProtegeExplanationOrderer
getOrdering(OWLAxiom, PrioritizedJustification) - Method in class org.liveontologies.protege.explanation.justification.JustificationFormattingManager
getOwlEditorKit() - Method in class org.liveontologies.protege.explanation.justification.JustificationComputationServiceManager
getOwlEditorKit() - Method in class org.liveontologies.protege.explanation.justification.JustificationManager
getOWLEditorKit() - Method in class org.liveontologies.protege.explanation.justification.service.JustificationComputationService
getPopularity(OWLAxiom) - Method in class org.liveontologies.protege.explanation.justification.JustificationManager
getPreferredSize() - Method in class org.liveontologies.protege.explanation.justification.PresentationPanel
getPriority(Set<? extends OWLAxiom>) - Method in class org.liveontologies.protege.explanation.justification.priority.JustificationPriorityFactory
getPriority(Set<OWLAxiom>) - Method in interface org.liveontologies.protege.explanation.justification.service.JustificationPriorityComparator: Computes the priority object of a given justification.
getPriorityFactory() - Method in class org.liveontologies.protege.explanation.justification.priority.PrioritizedJustificationFactory
getRemainingJustificationCount() - Method in class org.liveontologies.protege.explanation.justification.JustificationManager
getRowComparator() - Method in class org.liveontologies.protege.explanation.justification.AddJustificationsSection
getRowComparator() - Method in class org.liveontologies.protege.explanation.justification.JustificationFrameSection
getRowComparator() - Method in class org.liveontologies.protege.explanation.justification.JustificationStatusSection
getSelectedAxioms() - Method in interface org.liveontologies.protege.explanation.justification.AxiomSelectionModel
getSelectedAxioms() - Method in class org.liveontologies.protege.explanation.justification.AxiomSelectionModelImpl
getSelectedAxioms() - Method in class org.liveontologies.protege.explanation.justification.PresentationPanel
getSelectedPanel() - Method in class org.liveontologies.protege.explanation.justification.preferences.JustPrefPanel
getServices() - Method in class org.liveontologies.protege.explanation.justification.JustificationComputationServiceManager
getServices() - Method in class org.liveontologies.protege.explanation.justification.JustificationManager
getSettingsPanel() - Method in class org.liveontologies.protege.explanation.justification.JustificationManager
getSettingsPanel() - Method in class org.liveontologies.protege.explanation.justification.service.JustificationComputationManager
getShowMoreJustificationsDescription() - Method in interface org.liveontologies.protege.explanation.justification.PartialListVisualizer
getShowMoreJustificationsDescription() - Method in class org.liveontologies.protege.explanation.justification.PresentationPanel
getSize() - Method in class org.liveontologies.protege.explanation.justification.priority.PrioritizedJustification
getToolTipText() - Method in class org.liveontologies.protege.explanation.justification.AddJustificationsSection
getToolTipText(MouseEvent) - Method in class org.liveontologies.protege.explanation.justification.JustificationFrameList

H

hasExplanation(OWLAxiom) - Method in class org.liveontologies.protege.explanation.justification.PresentationService
hashCode() - Method in class org.liveontologies.protege.explanation.justification.priority.JustificationPriority
hashCode() - Method in class org.liveontologies.protege.explanation.justification.priority.PrioritizedJustification

I

InconsistentOntologyPresentationService - Class in org.liveontologies.protege.explanation.justification: Author: Matthew Horridge Stanford University Bio-Medical Informatics Research Group Date: 18/03/2012
InconsistentOntologyPresentationService() - Constructor for class org.liveontologies.protege.explanation.justification.InconsistentOntologyPresentationService
increaseIndentation(OWLAxiom, PrioritizedJustification, OWLAxiom) - Method in class org.liveontologies.protege.explanation.justification.JustificationFormattingManager
increment - Variable in class org.liveontologies.protege.explanation.justification.preferences.JustPrefs
INCREMENT_DESCRIPTION - Static variable in class org.liveontologies.protege.explanation.justification.preferences.JustPrefs
indexAxiomsByRHSEntities(OWLObject, OWLAxiom) - Method in class org.liveontologies.protege.explanation.justification.ProtegeExplanationOrderer
INITIAL_NUMBER_DESCRIPTION - Static variable in class org.liveontologies.protege.explanation.justification.preferences.JustPrefs
initialise() - Method in class org.liveontologies.protege.explanation.justification.InconsistentOntologyPresentationService
initialise() - Method in class org.liveontologies.protege.explanation.justification.preferences.JustificationPreferencesGeneralPanel
initialise() - Method in class org.liveontologies.protege.explanation.justification.preferences.JustPrefPanel
initialise() - Method in class org.liveontologies.protege.explanation.justification.PresentationService
initialNumber - Variable in class org.liveontologies.protege.explanation.justification.preferences.JustPrefs
isDeleteable() - Method in class org.liveontologies.protege.explanation.justification.JustificationFrameSectionRow
isEditable() - Method in class org.liveontologies.protege.explanation.justification.JustificationFrameSectionRow
isInferred() - Method in class org.liveontologies.protege.explanation.justification.JustificationFrameSectionRow
isInterrupted() - Method in class org.liveontologies.protege.explanation.justification.ExplanationGeneratorProgressDialog
isInterrupted() - Method in class org.liveontologies.protege.explanation.justification.JustificationProgressPanel
isInterrupted() - Method in interface org.liveontologies.protege.explanation.justification.service.JustificationComputation.InterruptMonitor
isInterrupted() - Method in class org.liveontologies.protege.explanation.justification.service.JustificationComputation

J

JustificationComputation - Class in org.liveontologies.protege.explanation.justification.service: An object using which justification can be computed
JustificationComputation(JustificationListener, JustificationComputation.InterruptMonitor) - Constructor for class org.liveontologies.protege.explanation.justification.service.JustificationComputation
JustificationComputation.InterruptMonitor - Interface in org.liveontologies.protege.explanation.justification.service
JustificationComputationListener - Interface in org.liveontologies.protege.explanation.justification
JustificationComputationManager - Class in org.liveontologies.protege.explanation.justification.service: Manages computation of justifications for a given OWLAxiom
JustificationComputationManager(OWLAxiom, JustificationListener, JustificationComputation.InterruptMonitor) - Constructor for class org.liveontologies.protege.explanation.justification.service.JustificationComputationManager: Constructs a computation object
JustificationComputationManager.ChangeListener - Interface in org.liveontologies.protege.explanation.justification.service
JustificationComputationPlugin - Class in org.liveontologies.protege.explanation.justification.service: Instantiates the plugin which is based on specified computation service
JustificationComputationPlugin(OWLEditorKit, IExtension) - Constructor for class org.liveontologies.protege.explanation.justification.service.JustificationComputationPlugin: Constructs plugin object
JustificationComputationPluginLoader - Class in org.liveontologies.protege.explanation.justification.service: Load the available specified JustificationComputationService plugins
JustificationComputationPluginLoader(OWLEditorKit) - Constructor for class org.liveontologies.protege.explanation.justification.service.JustificationComputationPluginLoader: Constructs JustificationComputationPluginLoader
JustificationComputationService - Class in org.liveontologies.protege.explanation.justification.service: A skeleton for a plugin that can provide justification based explanation for OWL axioms and inconsistent ontologies
JustificationComputationService() - Constructor for class org.liveontologies.protege.explanation.justification.service.JustificationComputationService
JustificationComputationServiceManager - Class in org.liveontologies.protege.explanation.justification: Keeps track of the available JustificationComputationService plugins.
JustificationFormattingManager - Class in org.liveontologies.protege.explanation.justification: Author: Matthew Horridge The University Of Manchester Information Management Group Date: 23-Oct-2008
justificationFound(Set<OWLAxiom>) - Method in class org.liveontologies.protege.explanation.justification.ExplanationGeneratorProgressDialog
justificationFound(Set<OWLAxiom>) - Method in class org.liveontologies.protege.explanation.justification.JustificationManager
justificationFound(Set<OWLAxiom>) - Method in class org.liveontologies.protege.explanation.justification.JustificationProgressPanel
justificationFound(Set<OWLAxiom>) - Method in interface org.liveontologies.protege.explanation.justification.service.JustificationListener: called each time a new justification is computed
JustificationFrame - Class in org.liveontologies.protege.explanation.justification: Author: Matthew Horridge Stanford University Bio-Medical Informatics Research Group Date: 19/03/2012
JustificationFrame(OWLEditorKit, Explanation, PartialListVisualizer) - Constructor for class org.liveontologies.protege.explanation.justification.JustificationFrame
JustificationFrameList - Class in org.liveontologies.protege.explanation.justification: Author: Matthew Horridge Stanford University Bio-Medical Informatics Research Group Date: 19/03/2012
JustificationFrameList(AxiomSelectionModel, JustificationManager, PartialListVisualizer, Explanation) - Constructor for class org.liveontologies.protege.explanation.justification.JustificationFrameList
JustificationFrameListRenderer - Class in org.liveontologies.protege.explanation.justification: Author: Matthew Horridge Stanford University Bio-Medical Informatics Research Group Date: 19/03/2012
JustificationFrameListRenderer(OWLEditorKit) - Constructor for class org.liveontologies.protege.explanation.justification.JustificationFrameListRenderer
JustificationFrameSection - Class in org.liveontologies.protege.explanation.justification: Author: Matthew Horridge Stanford University Bio-Medical Informatics Research Group Date: 19/03/2012
JustificationFrameSection(OWLEditorKit, OWLFrame<? extends Explanation>, String, int) - Constructor for class org.liveontologies.protege.explanation.justification.JustificationFrameSection
JustificationFrameSectionRow - Class in org.liveontologies.protege.explanation.justification: Author: Matthew Horridge Stanford University Bio-Medical Informatics Research Group Date: 19/03/2012
JustificationFrameSectionRow(OWLEditorKit, OWLFrameSection<Explanation, OWLAxiom, OWLAxiom>, Explanation, OWLAxiom, int) - Constructor for class org.liveontologies.protege.explanation.justification.JustificationFrameSectionRow
JustificationListener - Interface in org.liveontologies.protege.explanation.justification.service: A object using which the computed justifications are reported
JustificationManager - Class in org.liveontologies.protege.explanation.justification: Used to keep track of the computed justifications for a particular entailed OWLAxiom
JustificationManager.ChangeListener - Interface in org.liveontologies.protege.explanation.justification
JustificationPreferencesGeneralPanel - Class in org.liveontologies.protege.explanation.justification.preferences
JustificationPreferencesGeneralPanel() - Constructor for class org.liveontologies.protege.explanation.justification.preferences.JustificationPreferencesGeneralPanel
JustificationPreferencesGeneralPanel.PreferencesListener - Interface in org.liveontologies.protege.explanation.justification.preferences
JustificationPreferencesPanelPlugin - Class in org.liveontologies.protege.explanation.justification.preferences
JustificationPreferencesPanelPlugin(EditorKit, IExtension) - Constructor for class org.liveontologies.protege.explanation.justification.preferences.JustificationPreferencesPanelPlugin
JustificationPreferencesPanelPluginLoader - Class in org.liveontologies.protege.explanation.justification.preferences
JustificationPreferencesPanelPluginLoader(EditorKit) - Constructor for class org.liveontologies.protege.explanation.justification.preferences.JustificationPreferencesPanelPluginLoader
JustificationPriority - Class in org.liveontologies.protege.explanation.justification.priority: A priority that specifies in which order justifications should be displayed and, preferably, computed
JustificationPriorityComparator<P> - Interface in org.liveontologies.protege.explanation.justification.service: An assignment of objects using which justifications can be compared
JustificationPriorityFactory - Class in org.liveontologies.protege.explanation.justification.priority: A factory for creating JustificationPriority
JustificationPriorityFactory() - Constructor for class org.liveontologies.protege.explanation.justification.priority.JustificationPriorityFactory
JustificationProgressPanel - Class in org.liveontologies.protege.explanation.justification: Author: Matthew Horridge The University of Manchester Information Management Group Date: 14-Oct-2009
JustificationProgressPanel() - Constructor for class org.liveontologies.protege.explanation.justification.JustificationProgressPanel: Creates a new JPanel with a double buffer and a flow layout.
justificationsOutdated() - Method in class org.liveontologies.protege.explanation.justification.JustificationManager
justificationsOutdated() - Method in interface org.liveontologies.protege.explanation.justification.service.JustificationComputationManager.ChangeListener: fired when the justifications previously provided by the JustificationComputationManager may be out of date, i.e., they may be no longer correct for the current ontology or current settings and need to be recomputed
justificationsRecomputed() - Method in interface org.liveontologies.protege.explanation.justification.JustificationManager.ChangeListener: fired when the justifications supported by a JustificationManager have been recomputed
justificationsRecomputed() - Method in class org.liveontologies.protege.explanation.justification.PresentationPanel
JustificationStatusSection - Class in org.liveontologies.protege.explanation.justification
JustificationStatusSection(OWLEditorKit, OWLFrame<? extends Explanation>, PartialListVisualizer) - Constructor for class org.liveontologies.protege.explanation.justification.JustificationStatusSection
JustPrefPanel - Class in org.liveontologies.protege.explanation.justification.preferences
JustPrefPanel() - Constructor for class org.liveontologies.protege.explanation.justification.preferences.JustPrefPanel
JustPrefs - Class in org.liveontologies.protege.explanation.justification.preferences

L

LABEL_PARAM - Static variable in class org.liveontologies.protege.explanation.justification.preferences.JustificationPreferencesPanelPlugin
load() - Method in class org.liveontologies.protege.explanation.justification.preferences.JustPrefs

M

MListMoreButton - Class in org.liveontologies.protege.explanation.justification
MListMoreButton(ActionListener) - Constructor for class org.liveontologies.protege.explanation.justification.MListMoreButton
MListReloadButton - Class in org.liveontologies.protege.explanation.justification
MListReloadButton(ActionListener) - Constructor for class org.liveontologies.protege.explanation.justification.MListReloadButton
moveAxiomDown(OWLAxiom, PrioritizedJustification, OWLAxiom) - Method in class org.liveontologies.protege.explanation.justification.JustificationFormattingManager
moveAxiomUp(OWLAxiom, PrioritizedJustification, OWLAxiom) - Method in class org.liveontologies.protege.explanation.justification.JustificationFormattingManager

N

NAME - Static variable in class org.liveontologies.protege.explanation.justification.MListMoreButton
newInstance() - Method in class org.liveontologies.protege.explanation.justification.preferences.JustificationPreferencesPanelPlugin
newInstance() - Method in class org.liveontologies.protege.explanation.justification.service.JustificationComputationPlugin
notifyJustificationFound(Set<OWLAxiom>) - Method in class org.liveontologies.protege.explanation.justification.service.JustificationComputation: Should be called each time a new justification is found
notifyJustificationsOutdated() - Method in class org.liveontologies.protege.explanation.justification.service.JustificationComputationManager: should be called each time the previously returned justifications bay become incorrect

O

org.liveontologies.protege.explanation.justification - package org.liveontologies.protege.explanation.justification
org.liveontologies.protege.explanation.justification.preferences - package org.liveontologies.protege.explanation.justification.preferences
org.liveontologies.protege.explanation.justification.priority - package org.liveontologies.protege.explanation.justification.priority
org.liveontologies.protege.explanation.justification.service - package org.liveontologies.protege.explanation.justification.service
OWLAnnotationAssertionAxiom - Enum constant in enum class org.liveontologies.protege.explanation.justification.priority.OwlAxiomType
OWLAnnotationPropertyDomainAxiom - Enum constant in enum class org.liveontologies.protege.explanation.justification.priority.OwlAxiomType
OWLAnnotationPropertyRangeAxiom - Enum constant in enum class org.liveontologies.protege.explanation.justification.priority.OwlAxiomType
OWLAsymmetricObjectPropertyAxiom - Enum constant in enum class org.liveontologies.protege.explanation.justification.priority.OwlAxiomType
OwlAxiomType - Enum Class in org.liveontologies.protege.explanation.justification.priority: The enumeration of all types of OWLAxiom for the lack of such in OWL API.
OwlAxiomTypes - Class in org.liveontologies.protege.explanation.justification.priority: A collection of static methods for manipulating with OwlAxiomTypes
OwlAxiomTypes() - Constructor for class org.liveontologies.protege.explanation.justification.priority.OwlAxiomTypes
OWLClassAssertionAxiom - Enum constant in enum class org.liveontologies.protege.explanation.justification.priority.OwlAxiomType
OWLDataPropertyAssertionAxiom - Enum constant in enum class org.liveontologies.protege.explanation.justification.priority.OwlAxiomType
OWLDataPropertyDomainAxiom - Enum constant in enum class org.liveontologies.protege.explanation.justification.priority.OwlAxiomType
OWLDataPropertyRangeAxiom - Enum constant in enum class org.liveontologies.protege.explanation.justification.priority.OwlAxiomType
OWLDatatypeDefinitionAxiom - Enum constant in enum class org.liveontologies.protege.explanation.justification.priority.OwlAxiomType
OWLDeclarationAxiom - Enum constant in enum class org.liveontologies.protege.explanation.justification.priority.OwlAxiomType
OWLDifferentIndividualsAxiom - Enum constant in enum class org.liveontologies.protege.explanation.justification.priority.OwlAxiomType
OWLDisjointClassesAxiom - Enum constant in enum class org.liveontologies.protege.explanation.justification.priority.OwlAxiomType
OWLDisjointDataPropertiesAxiom - Enum constant in enum class org.liveontologies.protege.explanation.justification.priority.OwlAxiomType
OWLDisjointObjectPropertiesAxiom - Enum constant in enum class org.liveontologies.protege.explanation.justification.priority.OwlAxiomType
OWLDisjointUnionAxiom - Enum constant in enum class org.liveontologies.protege.explanation.justification.priority.OwlAxiomType
OWLEquivalentClassesAxiom - Enum constant in enum class org.liveontologies.protege.explanation.justification.priority.OwlAxiomType
OWLEquivalentDataPropertiesAxiom - Enum constant in enum class org.liveontologies.protege.explanation.justification.priority.OwlAxiomType
OWLEquivalentObjectPropertiesAxiom - Enum constant in enum class org.liveontologies.protege.explanation.justification.priority.OwlAxiomType
OWLFunctionalDataPropertyAxiom - Enum constant in enum class org.liveontologies.protege.explanation.justification.priority.OwlAxiomType
OWLFunctionalObjectPropertyAxiom - Enum constant in enum class org.liveontologies.protege.explanation.justification.priority.OwlAxiomType
OWLHasKeyAxiom - Enum constant in enum class org.liveontologies.protege.explanation.justification.priority.OwlAxiomType
OWLInverseFunctionalObjectPropertyAxiom - Enum constant in enum class org.liveontologies.protege.explanation.justification.priority.OwlAxiomType
OWLInverseObjectPropertiesAxiom - Enum constant in enum class org.liveontologies.protege.explanation.justification.priority.OwlAxiomType
OWLIrreflexiveObjectPropertyAxiom - Enum constant in enum class org.liveontologies.protege.explanation.justification.priority.OwlAxiomType
OWLNegativeDataPropertyAssertionAxiom - Enum constant in enum class org.liveontologies.protege.explanation.justification.priority.OwlAxiomType
OWLNegativeObjectPropertyAssertionAxiom - Enum constant in enum class org.liveontologies.protege.explanation.justification.priority.OwlAxiomType
OWLObjectPropertyAssertionAxiom - Enum constant in enum class org.liveontologies.protege.explanation.justification.priority.OwlAxiomType
OWLObjectPropertyDomainAxiom - Enum constant in enum class org.liveontologies.protege.explanation.justification.priority.OwlAxiomType
OWLObjectPropertyRangeAxiom - Enum constant in enum class org.liveontologies.protege.explanation.justification.priority.OwlAxiomType
OWLReflexiveObjectPropertyAxiom - Enum constant in enum class org.liveontologies.protege.explanation.justification.priority.OwlAxiomType
OWLSameIndividualAxiom - Enum constant in enum class org.liveontologies.protege.explanation.justification.priority.OwlAxiomType
OWLSubAnnotationPropertyOfAxiom - Enum constant in enum class org.liveontologies.protege.explanation.justification.priority.OwlAxiomType
OWLSubClassOfAxiom - Enum constant in enum class org.liveontologies.protege.explanation.justification.priority.OwlAxiomType
OWLSubDataPropertyOfAxiom - Enum constant in enum class org.liveontologies.protege.explanation.justification.priority.OwlAxiomType
OWLSubObjectPropertyOfAxiom - Enum constant in enum class org.liveontologies.protege.explanation.justification.priority.OwlAxiomType
OWLSubPropertyChainOfAxiom - Enum constant in enum class org.liveontologies.protege.explanation.justification.priority.OwlAxiomType
OWLSymmetricObjectPropertyAxiom - Enum constant in enum class org.liveontologies.protege.explanation.justification.priority.OwlAxiomType
OWLTransitiveObjectPropertyAxiom - Enum constant in enum class org.liveontologies.protege.explanation.justification.priority.OwlAxiomType

P

paintButtonContent(Graphics2D) - Method in class org.liveontologies.protege.explanation.justification.MListMoreButton
paintButtonContent(Graphics2D) - Method in class org.liveontologies.protege.explanation.justification.MListReloadButton
paintComponent(Graphics) - Method in class org.liveontologies.protege.explanation.justification.JustificationFrameList
PartialListVisualizer - Interface in org.liveontologies.protege.explanation.justification: Represents visual component which can display (some) elements from the list
pollJustification() - Method in class org.liveontologies.protege.explanation.justification.JustificationManager
PresentationPanel - Class in org.liveontologies.protege.explanation.justification: Author: Matthew Horridge The University Of Manchester Information Management Group Date: 04-Oct-2008 The component that displays a set of justification
PresentationPanel(JustificationComputationServiceManager, OWLAxiom) - Constructor for class org.liveontologies.protege.explanation.justification.PresentationPanel
PresentationPanelResult - Class in org.liveontologies.protege.explanation.justification: Author: Matthew Horridge Stanford University Bio-Medical Informatics Research Group Date: 18/03/2012
PresentationPanelResult(PresentationPanel) - Constructor for class org.liveontologies.protege.explanation.justification.PresentationPanelResult
PresentationService - Class in org.liveontologies.protege.explanation.justification
PresentationService() - Constructor for class org.liveontologies.protege.explanation.justification.PresentationService
PrioritizedJustification - Class in org.liveontologies.protege.explanation.justification.priority: A justification (set of OWLAxiom) that compared using the corresponding JustificationPriority
PrioritizedJustificationFactory - Class in org.liveontologies.protege.explanation.justification.priority
PrioritizedJustificationFactory() - Constructor for class org.liveontologies.protege.explanation.justification.priority.PrioritizedJustificationFactory
ProtegeExplanationOrderer - Class in org.liveontologies.protege.explanation.justification: Provides ordering and indenting of explanations based on various ordering heuristics.
ProtegeExplanationOrderer(OWLOntologyManager) - Constructor for class org.liveontologies.protege.explanation.justification.ProtegeExplanationOrderer

R

refill(OWLOntology) - Method in class org.liveontologies.protege.explanation.justification.AddJustificationsSection
refill(OWLOntology) - Method in class org.liveontologies.protege.explanation.justification.JustificationFrameSection
refill(OWLOntology) - Method in class org.liveontologies.protege.explanation.justification.JustificationStatusSection
removeAxiomSelectionListener(AxiomSelectionListener) - Method in interface org.liveontologies.protege.explanation.justification.AxiomSelectionModel
removeAxiomSelectionListener(AxiomSelectionListener) - Method in class org.liveontologies.protege.explanation.justification.AxiomSelectionModelImpl
removeAxiomSelectionListener(AxiomSelectionListener) - Method in class org.liveontologies.protege.explanation.justification.PresentationPanel
removeListener(JustificationManager.ChangeListener) - Method in class org.liveontologies.protege.explanation.justification.JustificationManager
removeListener(JustificationPreferencesGeneralPanel.PreferencesListener) - Static method in class org.liveontologies.protege.explanation.justification.preferences.JustificationPreferencesGeneralPanel
removeListener(JustificationComputationManager.ChangeListener) - Method in class org.liveontologies.protege.explanation.justification.service.JustificationComputationManager
reset() - Method in class org.liveontologies.protege.explanation.justification.ExplanationGeneratorProgressDialog
reset() - Method in class org.liveontologies.protege.explanation.justification.JustificationProgressPanel
reset() - Method in interface org.liveontologies.protege.explanation.justification.PartialListVisualizer: Asks visualizer to reset displaying state
reset() - Method in class org.liveontologies.protege.explanation.justification.preferences.JustPrefs
reset() - Method in class org.liveontologies.protege.explanation.justification.PresentationPanel

S

save() - Method in class org.liveontologies.protege.explanation.justification.preferences.JustPrefs
selectJusificationService(JustificationComputationService) - Method in class org.liveontologies.protege.explanation.justification.JustificationManager: Sets the JustificationComputationService that should be used for computing justifications for JustificationManager.getEntailment(); the computed justifications are updated if necessary.
setAddJustificationsSectionVisibility(boolean) - Method in class org.liveontologies.protege.explanation.justification.JustificationFrame
setAddJustificationsSectionVisibility(boolean) - Method in class org.liveontologies.protege.explanation.justification.JustificationFrameList
setAxiomSelected(OWLAxiom, boolean) - Method in interface org.liveontologies.protege.explanation.justification.AxiomSelectionModel
setAxiomSelected(OWLAxiom, boolean) - Method in class org.liveontologies.protege.explanation.justification.AxiomSelectionModelImpl
setAxiomSelected(OWLAxiom, boolean) - Method in class org.liveontologies.protege.explanation.justification.PresentationPanel
setButtons(List<MListButton>) - Method in class org.liveontologies.protege.explanation.justification.JustificationFrameSectionRow
setDefaultService(JustificationComputationService) - Method in class org.liveontologies.protege.explanation.justification.JustificationComputationServiceManager
setIndentation(OWLAxiom, PrioritizedJustification, OWLAxiom, int) - Method in class org.liveontologies.protege.explanation.justification.JustificationFormattingManager
setPrefferredPriority(JustificationPriorityComparator<P>) - Method in class org.liveontologies.protege.explanation.justification.service.JustificationComputation: Sets the preferred priority for returning of justifications
setStatusString(String) - Method in class org.liveontologies.protege.explanation.justification.JustificationFrame
setStatusString(String) - Method in class org.liveontologies.protege.explanation.justification.JustificationFrameList
setStatusString(String) - Method in class org.liveontologies.protege.explanation.justification.JustificationStatusSection
settingsPanelChanged() - Method in interface org.liveontologies.protege.explanation.justification.JustificationManager.ChangeListener: fired when JustificationManager.getSettingsPanel() may return a different value
settingsPanelChanged() - Method in class org.liveontologies.protege.explanation.justification.JustificationManager
settingsPanelChanged() - Method in class org.liveontologies.protege.explanation.justification.PresentationPanel
settingsPanelChanged() - Method in interface org.liveontologies.protege.explanation.justification.service.JustificationComputationManager.ChangeListener: fired when the settings panel returned by JustificationComputationManager.getSettingsPanel() may have changed
setup(OWLEditorKit) - Method in class org.liveontologies.protege.explanation.justification.InconsistentOntologyPresentationService
showNext() - Method in interface org.liveontologies.protege.explanation.justification.PartialListVisualizer: Asks visualizer to display next elements
showNext() - Method in class org.liveontologies.protege.explanation.justification.PresentationPanel
showNext(int) - Method in interface org.liveontologies.protege.explanation.justification.PartialListVisualizer: Asks visualizer to display next elements
showNext(int) - Method in class org.liveontologies.protege.explanation.justification.PresentationPanel
startComputation() - Method in class org.liveontologies.protege.explanation.justification.service.JustificationComputation: Initiate the computation of justifications;
SWRLRule - Enum constant in enum class org.liveontologies.protege.explanation.justification.priority.OwlAxiomType

T

toString() - Method in class org.liveontologies.protege.explanation.justification.service.JustificationComputationService

U

updatePanelSelection(String) - Method in class org.liveontologies.protege.explanation.justification.preferences.JustPrefPanel

V

valueChanged() - Method in interface org.liveontologies.protege.explanation.justification.preferences.JustificationPreferencesGeneralPanel.PreferencesListener
valueOf(String) - Static method in enum class org.liveontologies.protege.explanation.justification.priority.OwlAxiomType: Returns the enum constant of this class with the specified name.
values() - Static method in enum class org.liveontologies.protege.explanation.justification.priority.OwlAxiomType: Returns an array containing the constants of this enum class, in the order they are declared.

A C D E F G H I J L M N O P R S T U V
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form