[DL-Learner SVN] SF.net SVN: dl-learner:[2090] trunk/src/dl-learner/org/dllearner/core/owl

[<jen...@us...>]

Revision: 2090
          http://dl-learner.svn.sourceforge.net/dl-learner/?rev=2090&view=rev
Author:   jenslehmann
Date:     2010-03-05 10:20:06 +0000 (Fri, 05 Mar 2010)

Log Message:
-----------
fixes for bug #2951205

Modified Paths:
--------------
    trunk/src/dl-learner/org/dllearner/core/owl/TypedConstant.java
    trunk/src/dl-learner/org/dllearner/core/owl/UntypedConstant.java

Modified: trunk/src/dl-learner/org/dllearner/core/owl/TypedConstant.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/TypedConstant.java	2010-03-05 06:53:39 UTC (rev 2089)
+++ trunk/src/dl-learner/org/dllearner/core/owl/TypedConstant.java	2010-03-05 10:20:06 UTC (rev 2090)
@@ -65,7 +65,19 @@
 	 */
 	@Override
 	public String toManchesterSyntaxString(String baseURI, Map<String, String> prefixes) {
-		return literal;
+		// implemented according to http://www.w3.org/TR/owl2-manchester-syntax/
+		// (not completely clear because "typedLiteral" and "integerLiteral" definitions there overlap, but hopefully correct)
+		if(datatype.equals(Datatype.INT) || datatype.equals(Datatype.DOUBLE)) {
+			if(Double.valueOf(literal) >= 0) {
+				return "+" + literal;
+			} else {
+				return "-" + literal;
+			}
+		} else if(datatype.equals(Datatype.STRING)) {
+			return "\"" + literal + "\"";
+		} else {
+			return "\"" + literal + "\"^^" + datatype.toManchesterSyntaxString(baseURI, prefixes);
+		}
 	}
 
 	/**

Modified: trunk/src/dl-learner/org/dllearner/core/owl/UntypedConstant.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/UntypedConstant.java	2010-03-05 06:53:39 UTC (rev 2089)
+++ trunk/src/dl-learner/org/dllearner/core/owl/UntypedConstant.java	2010-03-05 10:20:06 UTC (rev 2090)
@@ -79,10 +79,10 @@
 	@Override
 	public String toManchesterSyntaxString(String baseURI, Map<String, String> prefixes) {
 		if(hasLang)
-			return literal + "@" + lang;
+			return "\"" + literal + "\"@" + lang;
 		else
-			return literal;		
-	}		
+			return "\"" + literal + "\"";		
+	}
 	
 	/**
 	 * @return the lang


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.