org.protege.editor.owl.ProtegeOWLProperties Maven / Gradle / Ivy

Show more of this group Show more artifacts with this name
Show all versions of protege-editor-owl

OWL ontology editing infrastructure used by the Protege desktop application.

The newest version!

package org.protege.editor.owl;

import java.util.Properties;


/**
 * Author: Matthew Horridge

 * The University Of Manchester

 * Medical Informatics Group

 * Date: 11-May-2006



 * [email protected]

 * www.cs.man.ac.uk/~horridgm


 */
public class ProtegeOWLProperties extends Properties {
    
    public static final String CONDITIONS_SUPERCLASSES_HEADER = "ConditionsSuperClassesHeader";

    public static final String CONDITIONS_EQUIVALENT_CLASSES_HEADER = "ConditionsEquivalentClassesHeader";


    private static ProtegeOWLProperties instance;


    private ProtegeOWLProperties() {
        put(CONDITIONS_SUPERCLASSES_HEADER, "Superclasses (Necessary criteria)");
        put(CONDITIONS_EQUIVALENT_CLASSES_HEADER, "Equivalent class (Necessary & Sufficient criteria)");
    }


    public static ProtegeOWLProperties getInstance() {
        if (instance == null) {
            instance = new ProtegeOWLProperties();
        }
        return instance;
    }


    public String getString(Object key) {
        return (String) get(key);
    }
}