Package org.liveontologies.protege.explanation.justification

Class JustificationFrameSection

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.JustificationFrameSection
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 JustificationFrameSection extends org.protege.editor.owl.ui.frame.AbstractOWLFrameSection<Explanation,org.semanticweb.owlapi.model.OWLAxiom,org.semanticweb.owlapi.model.OWLAxiom>
Author: Matthew Horridge Stanford University Bio-Medical Informatics Research Group Date: 19/03/2012

  • Constructor Summary

    Constructors
    Constructor
    Description
    JustificationFrameSection(org.protege.editor.owl.OWLEditorKit editorKit, org.protege.editor.owl.ui.frame.OWLFrame<? extends Explanation> owlFrame, String caption, int justificationIndex)
     

  • Method Summary

    Modifier and Type
    Method
    Description
    boolean
    canAcceptDrop(List<org.semanticweb.owlapi.model.OWLObject> objects)
     
    boolean
    canAdd()
     
    protected void
    clear()
     
    protected org.semanticweb.owlapi.model.OWLAxiom
    createAxiom(org.semanticweb.owlapi.model.OWLAxiom object)
     
    PrioritizedJustification
    getJustification()
     
    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()
     
    protected void
    refill(org.semanticweb.owlapi.model.OWLOntology ontology)
     

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

    addInferredRowIfNontrivial, addRow, 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

    • JustificationFrameSection

      public JustificationFrameSection(org.protege.editor.owl.OWLEditorKit editorKit, org.protege.editor.owl.ui.frame.OWLFrame<? extends Explanation> owlFrame, String caption, int justificationIndex)

  • Method Details

    • 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>

    • getJustification

      public PrioritizedJustification getJustification()

    • getRowComparator

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

    • canAdd

      public boolean canAdd()
      Specified by:
      canAdd in interface org.protege.editor.core.ui.list.MListSectionHeader
      Overrides:
      canAdd in class org.protege.editor.owl.ui.frame.AbstractOWLFrameSection<Explanation,org.semanticweb.owlapi.model.OWLAxiom,org.semanticweb.owlapi.model.OWLAxiom>

    • canAcceptDrop

      public boolean canAcceptDrop(List<org.semanticweb.owlapi.model.OWLObject> objects)
      Specified by:
      canAcceptDrop in interface org.protege.editor.owl.ui.frame.OWLFrameObject<Explanation,org.semanticweb.owlapi.model.OWLAxiom,org.semanticweb.owlapi.model.OWLAxiom>
      Overrides:
      canAcceptDrop in class org.protege.editor.owl.ui.frame.AbstractOWLFrameSection<Explanation,org.semanticweb.owlapi.model.OWLAxiom,org.semanticweb.owlapi.model.OWLAxiom>