org.coode.owlapi.manchesterowlsyntax.ManchesterOWLSyntax Maven / Gradle / Ivy

Go to download
/*
 * This file is part of the OWL API.
 *
 * The contents of this file are subject to the LGPL License, Version 3.0.
 *
 * Copyright (C) 2011, The University of Manchester
 *
 * This program is free software: you can redistribute it and/or modify
 * it under the terms of the GNU General Public License as published by
 * the Free Software Foundation, either version 3 of the License, or
 * (at your option) any later version.
 *
 * This program is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Public License for more details.
 *
 * You should have received a copy of the GNU General Public License
 * along with this program.  If not, see http://www.gnu.org/licenses/.
 *
 *
 * Alternatively, the contents of this file may be used under the terms of the Apache License, Version 2.0
 * in which case, the provisions of the Apache License Version 2.0 are applicable instead of those above.
 *
 * Copyright 2011, University of Manchester
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 * http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */

package org.coode.owlapi.manchesterowlsyntax;
/**
 * Author: Matthew Horridge

 * The University Of Manchester

 * Bio-Health Informatics Group

 * Date: 25-Apr-2007


 * 
 * The vocabulary that the Manchester OWL Syntax uses
 */
@SuppressWarnings("javadoc")
public enum ManchesterOWLSyntax {

    ONTOLOGY("Ontology", false, false, false, false, false),

    IMPORT("Import", false, true, true, false, false),

    PREFIX("Prefix", false, false, false, false, false),

    CLASS("Class", true, true, false, false, false),

    OBJECT_PROPERTY("ObjectProperty", true, true, false, false, false),

    DATA_PROPERTY("DataProperty", true, true, false, false, false),

    INDIVIDUAL("Individual", true, true, false, false, false),

    DATATYPE("Datatype", true, true, false, false, false),

    ANNOTATION_PROPERTY("AnnotationProperty", true, true, false, false, false),

    SOME("some", false, false, false, true, false),

    ONLY("only", false, false, false, true, false),

    ONLYSOME("onlysome", false, false, false, true, false),

    MIN("min", false, false, false, true, false),

    MAX("max", false, false, false, true, false),

    EXACTLY("exactly", false, false, false, true, false),

    VALUE("value", false, false, false, true, false),

    AND("and", false, false, false, false, true),

    THAT("that", false, false, false, false, true),

    OR("or", false, false, false, false, true),

    NOT("not", false, false, false, false, true),

    INVERSE("inverse", false, false, true, false, false),

    SELF("Self", false, false, false, true, false),

    FACET_RESTRICTION_SEPARATOR(",", false, false, false, false, false),

    SUBCLASS_OF("SubClassOf", false, true, true, false, false),

    SUPERCLASS_OF("SuperClassOf", false, true, true, false, false),

    EQUIVALENT_TO("EquivalentTo", false, true, true, false, false),

    EQUIVALENT_CLASSES("EquivalentClasses", false, true, true, false, false),

    EQUIVALENT_PROPERTIES("EquivalentProperties", false, true, true, false, false),

    DISJOINT_WITH("DisjointWith", false, true, true, false, false),

    INDIVIDUALS("Individuals", false, true, true, false, false),

    DISJOINT_CLASSES("DisjointClasses", true, true, true, false, false),

    DISJOINT_PROPERTIES("DisjointProperties", true, false, true, false, false),

    DISJOINT_UNION_OF("DisjointUnionOf", false, true, true, false, false),

    FACTS("Facts", false, true, false, false, false),

    SAME_AS("SameAs", false, true, true, false, false),

    SAME_INDIVIDUAL("SameIndividual", false, true, true, false, false),

    DIFFERENT_FROM("DifferentFrom", false, true, true, false, false),

    DIFFERENT_INDIVIDUALS("DifferentIndividuals", true, true, true, false, false),

    MIN_INCLUSIVE_FACET(">=", false, false, false, false, false),

    MAX_INCLUSIVE_FACET("<=", false, false, false, false, false),

    MIN_EXCLUSIVE_FACET(">", false, false, false, false, false),

    MAX_EXCLUSIVE_FACET("<", false, false, false, false, false),

    ONE_OF_DELIMETER(",", false, false, false, false, false),

    TYPES("Types", false, true, true, false, false),

    TYPE("Type", false, true, true, false, false),

    ANNOTATIONS("Annotations", false, true, false, false, false),

    COMMA(",", false, false, false, false, false),

    DOMAIN("Domain", false, true, true, false, false),

    RANGE("Range", false, true, true, false, false),

    CHARACTERISTICS("Characteristics", false, true, false, false, false),

    FUNCTIONAL("Functional", false, false, true, false, false),

    INVERSE_FUNCTIONAL("InverseFunctional", false, false, true, false, false),

    SYMMETRIC("Symmetric", false, false, true, false, false),

    TRANSITIVE("Transitive", false, false, true, false, false),

    REFLEXIVE("Reflexive", false, false, true, false, false),

    IRREFLEXIVE("Irreflexive", false, false, true, false, false),

    /**
     * For legacy reasons
     */
    ANTI_SYMMETRIC("AntiSymmetric", false, false, true, false, false),

    ASYMMETRIC("Asymmetric", false, false, true, false, false),

    INVERSE_OF("InverseOf", false, true, true, false, false),

    INVERSES("Inverses", false, true, false, false, false),

    SUB_PROPERTY_OF("SubPropertyOf", false, true, true, false, false),

    SUPER_PROPERTY_OF("SuperPropertyOf", false, true, true, false, false),

    SUB_PROPERTY_CHAIN("SubPropertyChain", false, true, true, false, false),

    HAS_KEY("HasKey", false, true, false, false, false),

    RULE("Rule", true, true, false, false, false);

    private boolean frameKeyword;

    private boolean sectionKeyword;

    private boolean axiomKeyword;

    private boolean classExpressionQuantiferKeyword;

    private boolean classExpressionConnectiveKeyword;

    private String rendering;

    private ManchesterOWLSyntax(String rendering, boolean frameKeyword, boolean sectionKeyword, boolean axiomKeyword, boolean classExpressionQuantifierKeyword, boolean classExpressionConnectiveKeyword) {
        this.rendering = rendering;
        this.frameKeyword = frameKeyword;
        this.sectionKeyword = sectionKeyword;
        this.axiomKeyword = axiomKeyword;
        this.classExpressionConnectiveKeyword = classExpressionConnectiveKeyword;
        this.classExpressionQuantiferKeyword = classExpressionQuantifierKeyword;
    }

    public boolean isFrameKeyword() {
        return frameKeyword;
    }


    public boolean isSectionKeyword() {
        return sectionKeyword;
    }


    public boolean isAxiomKeyword() {
        return axiomKeyword;
    }


    public boolean isClassExpressionConnectiveKeyword() {
        return classExpressionConnectiveKeyword;
    }


    public boolean isClassExpressionQuantiferKeyword() {
        return classExpressionQuantiferKeyword;
    }


    @Override
	public String toString() {
        return rendering;
    }
}