Package org.liveontologies.protege.explanation.justification

Class AddJustificationsSection

java.lang.Object
org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter
org.protege.editor.owl.ui.frame.AbstractOWLFrameSection<Explanation,org.semanticweb.owlapi.model.OWLAxiom,org.semanticweb.owlapi.model.OWLAxiom>
org.liveontologies.protege.explanation.justification.AddJustificationsSection
All Implemented Interfaces:
org.protege.editor.core.ui.list.MListSectionHeader, org.protege.editor.owl.ui.editor.OWLObjectEditorHandler<org.semanticweb.owlapi.model.OWLAxiom>, org.protege.editor.owl.ui.frame.OWLFrameObject<Explanation,org.semanticweb.owlapi.model.OWLAxiom,org.semanticweb.owlapi.model.OWLAxiom>, org.protege.editor.owl.ui.frame.OWLFrameSection<Explanation,org.semanticweb.owlapi.model.OWLAxiom,org.semanticweb.owlapi.model.OWLAxiom>, org.semanticweb.owlapi.model.OWLAnnotationAxiomVisitor, org.semanticweb.owlapi.model.OWLAxiomVisitor, org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor
public class AddJustificationsSection extends org.protege.editor.owl.ui.frame.AbstractOWLFrameSection<Explanation,org.semanticweb.owlapi.model.OWLAxiom,org.semanticweb.owlapi.model.OWLAxiom>
A section for loading justifications
Author:
Yevgeny Kazakov

  • Constructor Summary

    Constructors
    Constructor
    Description
    AddJustificationsSection(org.protege.editor.owl.OWLEditorKit editorKit, org.protege.editor.owl.ui.frame.OWLFrame<? extends Explanation> owlFrame, PartialListVisualizer justificationPanel)
     

  • Method Summary

    Modifier and Type
    Method
    Description
    protected void
    clear()
     
    protected org.semanticweb.owlapi.model.OWLAxiom
    createAxiom(org.semanticweb.owlapi.model.OWLAxiom object)
     
    org.protege.editor.core.ui.list.MListButton
    getButton()
     
    org.protege.editor.owl.ui.editor.OWLObjectEditor<org.semanticweb.owlapi.model.OWLAxiom>
    getObjectEditor()
     
    Comparator<org.protege.editor.owl.ui.frame.OWLFrameSectionRow<Explanation,org.semanticweb.owlapi.model.OWLAxiom,org.semanticweb.owlapi.model.OWLAxiom>>
    getRowComparator()
     
    String
    getToolTipText()
     
    protected void
    refill(org.semanticweb.owlapi.model.OWLOntology ontology)
     

    Methods inherited from class org.protege.editor.owl.ui.frame.AbstractOWLFrameSection

    addInferredRowIfNontrivial, addRow, canAcceptDrop, canAdd, checkEditorResults, dispose, disposeOfSection, dropObjects, getAdditionalButtons, getAxioms, getCurrentReasoner, getEditor, getFrame, getLabel, getName, getOntologies, getOWLDataFactory, getOWLEditorKit, getOWLModelManager, getOWLOntologyManager, getReasoner, getRendering, getRootObject, getRowIndex, getRowLabel, getRows, handleChanges, handleEditingFinished, handleOntologyChanges, isResettingChange, refillInferred, reset, setCacheEditor, setLabel, setRootObject, toString, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit

    Methods inherited from class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

    handleDefault, visit, visit, visit, visit

    Methods inherited from class java.lang.Object

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

  • Constructor Details

    • AddJustificationsSection

      public AddJustificationsSection(org.protege.editor.owl.OWLEditorKit editorKit, org.protege.editor.owl.ui.frame.OWLFrame<? extends Explanation> owlFrame, PartialListVisualizer justificationPanel)

  • Method Details

    • getRowComparator

      public Comparator<org.protege.editor.owl.ui.frame.OWLFrameSectionRow<Explanation,org.semanticweb.owlapi.model.OWLAxiom,org.semanticweb.owlapi.model.OWLAxiom>> getRowComparator()

    • createAxiom

      protected org.semanticweb.owlapi.model.OWLAxiom createAxiom(org.semanticweb.owlapi.model.OWLAxiom object)
      Specified by:
      createAxiom in class org.protege.editor.owl.ui.frame.AbstractOWLFrameSection<Explanation,org.semanticweb.owlapi.model.OWLAxiom,org.semanticweb.owlapi.model.OWLAxiom>

    • getObjectEditor

      public org.protege.editor.owl.ui.editor.OWLObjectEditor<org.semanticweb.owlapi.model.OWLAxiom> getObjectEditor()
      Specified by:
      getObjectEditor in class org.protege.editor.owl.ui.frame.AbstractOWLFrameSection<Explanation,org.semanticweb.owlapi.model.OWLAxiom,org.semanticweb.owlapi.model.OWLAxiom>

    • refill

      protected void refill(org.semanticweb.owlapi.model.OWLOntology ontology)
      Specified by:
      refill in class org.protege.editor.owl.ui.frame.AbstractOWLFrameSection<Explanation,org.semanticweb.owlapi.model.OWLAxiom,org.semanticweb.owlapi.model.OWLAxiom>

    • clear

      protected void clear()
      Specified by:
      clear in class org.protege.editor.owl.ui.frame.AbstractOWLFrameSection<Explanation,org.semanticweb.owlapi.model.OWLAxiom,org.semanticweb.owlapi.model.OWLAxiom>

    • getButton

      public org.protege.editor.core.ui.list.MListButton getButton()

    • getToolTipText

      public String getToolTipText()