001package conexp.fx.core.dl.deprecated;
002
003import conexp.fx.core.util.UnicodeSymbols;
004
005/*
006 * #%L
007 * Concept Explorer FX
008 * %%
009 * Copyright (C) 2010 - 2019 Francesco Kriegel
010 * %%
011 * This program is free software: you can redistribute it and/or modify
012 * it under the terms of the GNU General Public License as
013 * published by the Free Software Foundation, either version 3 of the
014 * License, or (at your option) any later version.
015 * 
016 * This program is distributed in the hope that it will be useful,
017 * but WITHOUT ANY WARRANTY; without even the implied warranty of
018 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
019 * GNU General Public License for more details.
020 * 
021 * You should have received a copy of the GNU General Public
022 * License along with this program.  If not, see
023 * <http://www.gnu.org/licenses/gpl-3.0.html>.
024 * #L%
025 */
026
027@Deprecated
028public enum Constructor {
029  CONJUNCTION("Conjunction", "C" + UnicodeSymbols.SQCAP + "D"),
030  EXISTENTIAL_RESTRICTION("Existential Restriction", UnicodeSymbols.EXISTS + "r.C"),
031  VALUE_RESTRICTION("Value Restriction", UnicodeSymbols.FORALL + "r.C"),
032  QUALIFIED_AT_LEAST_RESTRICTION("Qualified At-Least Restriction", UnicodeSymbols.GEQ + "n.r.C"),
033  UNQUALIFIED_AT_MOST_RESTRICTION("Unqualified At-Most Restriction", UnicodeSymbols.LEQ + "n.r"),
034  PRIMITIVE_NEGATION("Primitive Negation", UnicodeSymbols.NEG + "A"),
035  EXISTENTIAL_SELF_RESTRICTION("Existential Self Restriction", UnicodeSymbols.EXISTS + "r.Self"),
036  SIMPLE_ROLE_INCLUSION("Simple Role Inclusion", "r" + UnicodeSymbols.SQSUBSETEQ + "s"),
037  COMPLEX_ROLE_INCLUSION(
038      "Complex Role Inclusion",
039      "r" + UnicodeSymbols.SUBSCRIPT_ONE + UnicodeSymbols.CIRC + "..." + UnicodeSymbols.CIRC + "r"
040          + UnicodeSymbols.SUBSCRIPT_N + UnicodeSymbols.SQSUBSETEQ + "s");
041
042  private String name;
043  private String symbol;
044
045  private Constructor(String name, String symbol) {
046    this.name = name;
047    this.symbol = symbol;
048  }
049
050  public String toString() {
051    return name + " (" + symbol + ")";
052  }
053
054  public String getName() {
055    return name;
056  }
057
058  public String getSymbol() {
059    return symbol;
060  }
061}