Package org.liveontologies.protege.explanation.justification

Class PresentationService

java.lang.Object
org.protege.editor.owl.ui.explanation.ExplanationService
org.liveontologies.protege.explanation.justification.PresentationService
All Implemented Interfaces:
org.protege.editor.core.Disposable, org.protege.editor.core.plugin.ProtegePluginInstance
public class PresentationService extends org.protege.editor.owl.ui.explanation.ExplanationService
Author:
Alexander Stupnikov Date: 08-02-2017

  • Constructor Summary

    Constructors
    Constructor
    Description
    PresentationService()
     

  • Method Summary

    Modifier and Type
    Method
    Description
    void
    dispose()
     
    org.protege.editor.owl.ui.explanation.ExplanationResult
    explain(org.semanticweb.owlapi.model.OWLAxiom axiom)
     
    boolean
    hasExplanation(org.semanticweb.owlapi.model.OWLAxiom axiom)
     
    void
    initialise()
     

    Methods inherited from class org.protege.editor.owl.ui.explanation.ExplanationService

    getName, getOWLEditorKit, getOWLModelManager, getPluginId, setup, toString

    Methods inherited from class java.lang.Object

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

  • Constructor Details

    • PresentationService

      public PresentationService()

  • Method Details

    • initialise

      public void initialise() throws Exception
      Specified by:
      initialise in interface org.protege.editor.core.plugin.ProtegePluginInstance
      Specified by:
      initialise in class org.protege.editor.owl.ui.explanation.ExplanationService
      Throws:
      Exception

    • hasExplanation

      public boolean hasExplanation(org.semanticweb.owlapi.model.OWLAxiom axiom)
      Specified by:
      hasExplanation in class org.protege.editor.owl.ui.explanation.ExplanationService

    • explain

      public org.protege.editor.owl.ui.explanation.ExplanationResult explain(org.semanticweb.owlapi.model.OWLAxiom axiom)
      Specified by:
      explain in class org.protege.editor.owl.ui.explanation.ExplanationService

    • dispose

      public void dispose() throws Exception
      Throws:
      Exception