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.coode.owlapi.manchesterowlsyntax.ManchesterOWLSyntax Maven / Gradle / Ivy
/*
* 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;
/**
* The vocabulary that the Manchester OWL Syntax uses.
*
* @author Matthew Horridge, The University Of Manchester, Bio-Health
* Informatics Group, Date: 25-Apr-2007
*/
public enum ManchesterOWLSyntax {
//@formatter:off
// public static final String VALUE_PARTITION = "ValuePartition:";
// public static final String INSTANCES = "Instances:";
/** VALUE_PARTITION */ VALUE_PARTITION ("ValuePartition", false, false, false, false, false),
/** DASH */ DASH ("-", false, false, false, false, false, "-"),
/** OPEN */ OPEN ("(", false, false, false, false, false, "("),
/** CLOSE */ CLOSE (")", false, false, false, false, false, ")"),
/** OPENBRACE */ OPENBRACE ("{", false, false, false, false, false, "{"),
/** CLOSEBRACE */ CLOSEBRACE ("}", false, false, false, false, false, "}"),
/** OPENBRACKET */ OPENBRACKET ("[", false, false, false, false, false, "["),
/** CLOSEBRACKET */ CLOSEBRACKET ("]", false, false, false, false, false, "]"),
/** ONTOLOGY */ ONTOLOGY ("Ontology", false, false, false, false, false),
/** IMPORT */ IMPORT ("Import", false, true, true, false, false),
/** PREFIX */ PREFIX ("Prefix", false, false, false, false, false),
/** CLASS */ CLASS ("Class", true, true, false, false, false),
/** OBJECT_PROPERTY */ OBJECT_PROPERTY ("ObjectProperty", true, true, false, false, false),
/** CHAIN_IMPLY */ CHAIN_IMPLY ("->", true, true, false, false, false, "->"),
/** CHAIN_CONNECT */ CHAIN_CONNECT ("o", true, true, false, false, false, "o"),
/** DATA_PROPERTY */ DATA_PROPERTY ("DataProperty", true, true, false, false, false),
/** INDIVIDUAL */ INDIVIDUAL ("Individual", true, true, false, false, false),
/** DATATYPE */ DATATYPE ("Datatype", true, true, false, false, false),
/** ANNOTATION_PROPERTY */ ANNOTATION_PROPERTY ("AnnotationProperty", true, true, false, false, false),
/** SOME */ SOME ("some", false, false, false, true, false, "some"),
/** ONLY */ ONLY ("only", false, false, false, true, false, "only"),
/** ONLYSOME */ ONLYSOME ("onlysome", false, false, false, true, false, "onlysome"),
/** MIN */ MIN ("min", false, false, false, true, false, "min"),
/** MAX */ MAX ("max", false, false, false, true, false, "max"),
/** EXACTLY */ EXACTLY ("exactly", false, false, false, true, false, "exactly"),
/** VALUE */ VALUE ("value", false, false, false, true, false, "value"),
/** AND */ AND ("and", false, false, false, false, true, "and"),
/** OR */ OR ("or", false, false, false, false, true, "or"),
/** NOT */ NOT ("not", false, false, false, false, true, "not"),
/** INVERSE */ INVERSE ("inverse", false, false, true, false, false, "inverse"),
/** INV */ INV ("inv", false, false, true, false, false, "inv"),
/** SELF */ SELF ("Self", false, false, false, true, false, "Self"),
/** THAT */ THAT ("that", false, false, false, false, true, "that"),
/** FACET_RESTRICTION_SEPARATOR */ FACET_RESTRICTION_SEPARATOR (",", false, false, false, false, false),
/** SUBCLASS_OF */ SUBCLASS_OF ("SubClassOf", false, true, true, false, false),
/** SUPERCLASS_OF */ SUPERCLASS_OF ("SuperClassOf", false, true, true, false, false),
/** EQUIVALENT_TO */ EQUIVALENT_TO ("EquivalentTo", false, true, true, false, false),
/** EQUIVALENT_CLASSES */ EQUIVALENT_CLASSES ("EquivalentClasses", false, true, true, false, false),
/** EQUIVALENT_PROPERTIES */ EQUIVALENT_PROPERTIES ("EquivalentProperties", false, true, true, false, false),
/** DISJOINT_WITH */ DISJOINT_WITH ("DisjointWith", false, true, true, false, false),
/** INDIVIDUALS */ INDIVIDUALS ("Individuals", false, true, true, false, false),
/** DISJOINT_CLASSES */ DISJOINT_CLASSES ("DisjointClasses", true, true, true, false, false),
/** DISJOINT_PROPERTIES */ DISJOINT_PROPERTIES ("DisjointProperties", true, false, true, false, false),
/** DISJOINT_UNION_OF */ DISJOINT_UNION_OF ("DisjointUnionOf", false, true, true, false, false),
/** FACTS */ FACTS ("Facts", false, true, false, false, false),
/** SAME_AS */ SAME_AS ("SameAs", false, true, true, false, false),
/** SAME_INDIVIDUAL */ SAME_INDIVIDUAL ("SameIndividual", false, true, true, false, false),
/** DIFFERENT_FROM */ DIFFERENT_FROM ("DifferentFrom", false, true, true, false, false),
/** DIFFERENT_INDIVIDUALS */ DIFFERENT_INDIVIDUALS ("DifferentIndividuals", true, true, true, false, false),
/** MIN_INCLUSIVE_FACET */ MIN_INCLUSIVE_FACET (">=", false, false, false, false, false),
/** MAX_INCLUSIVE_FACET */ MAX_INCLUSIVE_FACET ("<=", false, false, false, false, false),
/** MIN_EXCLUSIVE_FACET */ MIN_EXCLUSIVE_FACET (">", false, false, false, false, false),
/** MAX_EXCLUSIVE_FACET */ MAX_EXCLUSIVE_FACET ("<", false, false, false, false, false),
/** ONE_OF_DELIMETER */ ONE_OF_DELIMETER (",", false, false, false, false, false),
/** TYPES */ TYPES ("Types", false, true, true, false, false),
/** TYPE */ TYPE ("Type", false, true, true, false, false),
/** ANNOTATIONS */ ANNOTATIONS ("Annotations", false, true, false, false, false),
/** COMMA */ COMMA (",", false, false, false, false, false, ","),
/** DOMAIN */ DOMAIN ("Domain", false, true, true, false, false),
/** RANGE */ RANGE ("Range", false, true, true, false, false),
/** CHARACTERISTICS */ CHARACTERISTICS ("Characteristics", false, true, false, false, false),
/** FUNCTIONAL */ FUNCTIONAL ("Functional", false, false, true, false, false, "Functional"),
/** INVERSE_FUNCTIONAL */ INVERSE_FUNCTIONAL ("InverseFunctional", false, false, true, false, false, "InverseFunctional"),
/** SYMMETRIC */ SYMMETRIC ("Symmetric", false, false, true, false, false, "Symmetric"),
/** TRANSITIVE */ TRANSITIVE ("Transitive", false, false, true, false, false, "Transitive"),
/** REFLEXIVE */ REFLEXIVE ("Reflexive", false, false, true, false, false, "Reflexive"),
/** IRREFLEXIVE */ IRREFLEXIVE ("Irreflexive", false, false, true, false, false, "Irreflexive"),
/** LITERAL_TRUE */ LITERAL_TRUE ("true", false, false, false, false, false, "true"),
/** LITERAL_FALSE */ LITERAL_FALSE ("false", false, false, false, false, false, "false"),
/** LITERAL_INTEGER */ LITERAL_INTEGER ("$integer$", false, false, false, false, false, "$integer$"),
/** LITERAL_FLOAT */ LITERAL_FLOAT ("$float$", false, false, false, false, false, "$float$"),
/** LITERAL_DOUBLE */ LITERAL_DOUBLE ("$double$", false, false, false, false, false, "$double$"),
/** LITERAL_LITERAL */ LITERAL_LITERAL ("\"$Literal$\"", false, false, false, false, false, "\"$Literal$\""),
/** LITERAL_LIT_DATATYPE */ LITERAL_LIT_DATATYPE ("\"$Literal$\"^^", false, false, false, false, false, "\"$Literal$\"^^"),
/** LITERAL_LIT_LANG */ LITERAL_LIT_LANG ("\"$Literal$\"@", false, false, false, false, false, "\"$Literal$\"@"),
/** For legacy reasons. */
/**ANTI_SYMMETRIC */ ANTI_SYMMETRIC ("AntiSymmetric", false, false, true, false, false, "AntiSymmetric"),
/**ASYMMETRIC */ ASYMMETRIC ("Asymmetric", false, false, true, false, false, "Asymmetric"),
/**INVERSE_OF */ INVERSE_OF ("InverseOf", false, true, true, false, false),
/**INVERSES */ INVERSES ("Inverses", false, true, false, false, false),
/**SUB_PROPERTY_OF */ SUB_PROPERTY_OF ("SubPropertyOf", false, true, true, false, false),
/**SUPER_PROPERTY_OF */ SUPER_PROPERTY_OF ("SuperPropertyOf", false, true, true, false, false),
/**SUB_PROPERTY_CHAIN */ SUB_PROPERTY_CHAIN ("SubPropertyChain", false, true, true, false, false),
/**HAS_KEY */ HAS_KEY ("HasKey", false, true, false, false, false),
/**RULE */ RULE ("Rule", true, true, false, false, false);
//@formatter:on
private boolean frameKeyword;
private boolean sectionKeyword;
private boolean axiomKeyword;
private boolean classExpressionQuantiferKeyword;
private boolean classExpressionConnectiveKeyword;
private String rendering;
private String keyword;
private ManchesterOWLSyntax(String rendering, boolean frameKeyword,
boolean sectionKeyword, boolean axiomKeyword,
boolean classExpressionQuantifierKeyword,
boolean classExpressionConnectiveKeyword, String keyword) {
this.rendering = rendering;
this.frameKeyword = frameKeyword;
this.sectionKeyword = sectionKeyword;
this.axiomKeyword = axiomKeyword;
this.classExpressionConnectiveKeyword = classExpressionConnectiveKeyword;
classExpressionQuantiferKeyword = classExpressionQuantifierKeyword;
this.keyword = keyword;
}
private ManchesterOWLSyntax(String rendering, boolean frameKeyword,
boolean sectionKeyword, boolean axiomKeyword,
boolean classExpressionQuantifierKeyword,
boolean classExpressionConnectiveKeyword) {
this(rendering, frameKeyword, sectionKeyword, axiomKeyword,
classExpressionQuantifierKeyword,
classExpressionConnectiveKeyword, rendering + ":");
}
/** @return frame keyword */
public boolean isFrameKeyword() {
return frameKeyword;
}
/** @return section keyword */
public boolean isSectionKeyword() {
return sectionKeyword;
}
/** @return axiom keyword */
public boolean isAxiomKeyword() {
return axiomKeyword;
}
/** @return class conective */
public boolean isClassExpressionConnectiveKeyword() {
return classExpressionConnectiveKeyword;
}
/** @return class quantifier */
public boolean isClassExpressionQuantiferKeyword() {
return classExpressionQuantiferKeyword;
}
@Override
public String toString() {
return rendering;
}
/** @return keyword */
public String keyword() {
return keyword;
}
/**
* @param s
* s
* @return true if matches keyword
*/
public boolean matches(String s) {
return keyword.equalsIgnoreCase(s);
}
/**
* @param s
* s
* @return true if either form matches
*/
public boolean matchesEitherForm(String s) {
return keyword.equalsIgnoreCase(s) || rendering.equalsIgnoreCase(s);
}
/**
* for keywords which match two tokens.
*
* @param s
* s
* @param v
* v
* @return true if matches
*/
public boolean matches(String s, String v) {
return rendering.length() == s.length() + v.length()
&& rendering.startsWith(s) && rendering.endsWith(v);
}
/**
* @param rendering
* rendering
* @return manchester owl syntax object
*/
public static ManchesterOWLSyntax parse(String rendering) {
for (ManchesterOWLSyntax m : values()) {
if (m.matches(rendering)) {
return m;
}
}
return null;
}
}
