001 /**
002 * Copyright (C) 2007-2011, Jens Lehmann
003 *
004 * This file is part of DL-Learner.
005 *
006 * DL-Learner is free software; you can redistribute it and/or modify
007 * it under the terms of the GNU General Public License as published by
008 * the Free Software Foundation; either version 3 of the License, or
009 * (at your option) any later version.
010 *
011 * DL-Learner is distributed in the hope that it will be useful,
012 * but WITHOUT ANY WARRANTY; without even the implied warranty of
013 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
014 * GNU General Public License for more details.
015 *
016 * You should have received a copy of the GNU General Public License
017 * along with this program. If not, see <http://www.gnu.org/licenses/>.
018 */
019
020 package org.dllearner.core.owl;
021
022 import java.util.Map;
023
024 /**
025 * An untyped constant is a string which has not been assigned
026 * a datatype and can have an optional language tag.
027 *
028 * @author Jens Lehmann
029 *
030 */
031 public class UntypedConstant extends Constant {
032
033 /**
034 *
035 */
036 private static final long serialVersionUID = 2569002545544130198L;
037 private String lang;
038 private boolean hasLang = false;
039
040 public UntypedConstant(String literal) {
041 super(literal);
042 }
043
044 public UntypedConstant(String literal, String lang) {
045 super(literal);
046 this.lang = lang;
047 hasLang = true;
048 }
049
050
051
052 /* (non-Javadoc)
053 * @see org.dllearner.core.owl.KBElement#getLength()
054 */
055 public int getLength() {
056 return 1;
057 }
058
059 /* (non-Javadoc)
060 * @see org.dllearner.core.owl.KBElement#toString(java.lang.String, java.util.Map)
061 */
062 public String toString(String baseURI, Map<String, String> prefixes) {
063 if(hasLang)
064 return literal + "@" + lang;
065 else
066 return literal;
067 }
068
069 public String toKBSyntaxString(String baseURI, Map<String, String> prefixes) {
070 if(hasLang)
071 return literal + "@" + lang;
072 else
073 return literal;
074 }
075
076 /* (non-Javadoc)
077 * @see org.dllearner.core.owl.KBElement#toManchesterSyntaxString(java.lang.String, java.util.Map)
078 */
079 @Override
080 public String toManchesterSyntaxString(String baseURI, Map<String, String> prefixes) {
081 if(hasLang)
082 return "\"" + literal + "\"@" + lang;
083 else
084 return "\"" + literal + "\"";
085 }
086
087 /**
088 * @return the lang
089 */
090 public String getLang() {
091 return lang;
092 }
093
094 /**
095 * @return the hasLang
096 */
097 public boolean hasLang() {
098 return hasLang;
099 }
100
101 /* (non-Javadoc)
102 * @see org.dllearner.core.owl.KBElement#accept(org.dllearner.core.owl.KBElementVisitor)
103 */
104 public void accept(KBElementVisitor visitor) {
105 visitor.visit(this);
106 }
107
108 @Override
109 public String toString() {
110 if(hasLang) {
111 return literal + "@" + lang;
112 } else {
113 return literal;
114 }
115 }
116
117 @Override
118 public int compareTo(Constant o) {
119 if(o instanceof TypedConstant) {
120 return -1;
121 }
122 String str = literal + lang;
123 String str2 = ((UntypedConstant)o).literal + ((UntypedConstant)o).lang;
124 return str.compareTo(str2);
125 }
126
127 }