uk.ac.manchester.cs.owl.explanation.JustificationFrame Maven / Gradle / Ivy
package uk.ac.manchester.cs.owl.explanation;
import org.protege.editor.owl.OWLEditorKit;
import org.protege.editor.owl.ui.frame.AbstractOWLFrame;
import org.semanticweb.owl.explanation.api.Explanation;
import org.semanticweb.owlapi.model.OWLAxiom;
/**
* Author: Matthew Horridge
* Stanford University
* Bio-Medical Informatics Research Group
* Date: 19/03/2012
*/
public class JustificationFrame extends AbstractOWLFrame> {
public JustificationFrame(OWLEditorKit editorKit) {
super(editorKit.getOWLModelManager().getOWLOntologyManager());
addSection(new JustificationFrameSection(editorKit, this));
}
}