• Home
• edu.stanford.protege
• protege-editor-owl
• 5.5.0
• source code
• OWLIndividualFrame.java

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

org.protege.editor.owl.ui.frame.individual.OWLIndividualFrame Maven / Gradle / Ivy

package org.protege.editor.owl.ui.frame.individual;

import org.protege.editor.owl.OWLEditorKit;
import org.protege.editor.owl.ui.frame.AbstractOWLFrame;
import org.semanticweb.owlapi.model.OWLNamedIndividual;


/**
 * Author: Matthew Horridge

 * The University Of Manchester

 * Bio-Health Informatics Group

 * Date: 29-Jan-2007


 */
public class OWLIndividualFrame extends AbstractOWLFrame {

    public OWLIndividualFrame(OWLEditorKit editorKit) {
        super(editorKit.getModelManager().getOWLOntologyManager());
        addSection(new OWLClassAssertionAxiomTypeFrameSection(editorKit, this));
        addSection(new OWLSameIndividualsAxiomFrameSection(editorKit, this));
        addSection(new OWLDifferentIndividualsAxiomFrameSection(editorKit, this));
    }
}