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

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

Revision: 1660
          http://dl-learner.svn.sourceforge.net/dl-learner/?rev=1660&view=rev
Author:   jenslehmann
Date:     2009-03-23 15:36:15 +0000 (Mon, 23 Mar 2009)

Log Message:
-----------
fixed Manchester syntax for value restrictions

Modified Paths:
--------------
    trunk/src/dl-learner/org/dllearner/core/owl/Annotation.java
    trunk/src/dl-learner/org/dllearner/core/owl/BooleanDataRange.java
    trunk/src/dl-learner/org/dllearner/core/owl/BooleanDatatypePropertyAssertion.java
    trunk/src/dl-learner/org/dllearner/core/owl/ClassAssertionAxiom.java
    trunk/src/dl-learner/org/dllearner/core/owl/Datatype.java
    trunk/src/dl-learner/org/dllearner/core/owl/DatatypeProperty.java
    trunk/src/dl-learner/org/dllearner/core/owl/DatatypePropertyDomainAxiom.java
    trunk/src/dl-learner/org/dllearner/core/owl/DatatypePropertyRangeAxiom.java
    trunk/src/dl-learner/org/dllearner/core/owl/DatatypeValueRestriction.java
    trunk/src/dl-learner/org/dllearner/core/owl/DifferentIndividualsAxiom.java
    trunk/src/dl-learner/org/dllearner/core/owl/DisjointClassesAxiom.java
    trunk/src/dl-learner/org/dllearner/core/owl/DoubleDatatypePropertyAssertion.java
    trunk/src/dl-learner/org/dllearner/core/owl/DoubleMaxValue.java
    trunk/src/dl-learner/org/dllearner/core/owl/DoubleMinValue.java
    trunk/src/dl-learner/org/dllearner/core/owl/EquivalentClassesAxiom.java
    trunk/src/dl-learner/org/dllearner/core/owl/FunctionalObjectPropertyAxiom.java
    trunk/src/dl-learner/org/dllearner/core/owl/InverseObjectPropertyAxiom.java
    trunk/src/dl-learner/org/dllearner/core/owl/KB.java
    trunk/src/dl-learner/org/dllearner/core/owl/KBElement.java
    trunk/src/dl-learner/org/dllearner/core/owl/ObjectProperty.java
    trunk/src/dl-learner/org/dllearner/core/owl/ObjectPropertyAssertion.java
    trunk/src/dl-learner/org/dllearner/core/owl/ObjectPropertyDomainAxiom.java
    trunk/src/dl-learner/org/dllearner/core/owl/ObjectPropertyInverse.java
    trunk/src/dl-learner/org/dllearner/core/owl/ObjectPropertyRangeAxiom.java
    trunk/src/dl-learner/org/dllearner/core/owl/SubClassAxiom.java
    trunk/src/dl-learner/org/dllearner/core/owl/SubObjectPropertyAxiom.java
    trunk/src/dl-learner/org/dllearner/core/owl/SymmetricObjectPropertyAxiom.java
    trunk/src/dl-learner/org/dllearner/core/owl/TransitiveObjectPropertyAxiom.java
    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/Annotation.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/Annotation.java	2009-03-23 14:03:26 UTC (rev 1659)
+++ trunk/src/dl-learner/org/dllearner/core/owl/Annotation.java	2009-03-23 15:36:15 UTC (rev 1660)
@@ -84,4 +84,13 @@
 		return annotationValue;
 	}
 
+	/* (non-Javadoc)
+	 * @see org.dllearner.core.owl.KBElement#toManchesterSyntaxString(java.lang.String, java.util.Map)
+	 */
+	@Override
+	public String toManchesterSyntaxString(String baseURI, Map<String, String> prefixes) {
+		// TODO Auto-generated method stub
+		return null;
+	}
+
 }

Modified: trunk/src/dl-learner/org/dllearner/core/owl/BooleanDataRange.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/BooleanDataRange.java	2009-03-23 14:03:26 UTC (rev 1659)
+++ trunk/src/dl-learner/org/dllearner/core/owl/BooleanDataRange.java	2009-03-23 15:36:15 UTC (rev 1660)
@@ -68,5 +68,14 @@
 
 	public void accept(KBElementVisitor visitor) {
 		visitor.visit(this);
+	}
+
+	/* (non-Javadoc)
+	 * @see org.dllearner.core.owl.KBElement#toManchesterSyntaxString(java.lang.String, java.util.Map)
+	 */
+	@Override
+	public String toManchesterSyntaxString(String baseURI, Map<String, String> prefixes) {
+		// TODO Auto-generated method stub
+		return null;
 	}	
 }

Modified: trunk/src/dl-learner/org/dllearner/core/owl/BooleanDatatypePropertyAssertion.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/BooleanDatatypePropertyAssertion.java	2009-03-23 14:03:26 UTC (rev 1659)
+++ trunk/src/dl-learner/org/dllearner/core/owl/BooleanDatatypePropertyAssertion.java	2009-03-23 15:36:15 UTC (rev 1660)
@@ -54,6 +54,15 @@
 
 	public void accept(KBElementVisitor visitor) {
 		visitor.visit(this);
+	}
+
+	/* (non-Javadoc)
+	 * @see org.dllearner.core.owl.KBElement#toManchesterSyntaxString(java.lang.String, java.util.Map)
+	 */
+	@Override
+	public String toManchesterSyntaxString(String baseURI, Map<String, String> prefixes) {
+		// TODO Auto-generated method stub
+		return null;
 	}	
 
 }

Modified: trunk/src/dl-learner/org/dllearner/core/owl/ClassAssertionAxiom.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/ClassAssertionAxiom.java	2009-03-23 14:03:26 UTC (rev 1659)
+++ trunk/src/dl-learner/org/dllearner/core/owl/ClassAssertionAxiom.java	2009-03-23 15:36:15 UTC (rev 1660)
@@ -70,5 +70,14 @@
 	
 	public void accept(KBElementVisitor visitor) {
 		visitor.visit(this);
+	}
+
+	/* (non-Javadoc)
+	 * @see org.dllearner.core.owl.KBElement#toManchesterSyntaxString(java.lang.String, java.util.Map)
+	 */
+	@Override
+	public String toManchesterSyntaxString(String baseURI, Map<String, String> prefixes) {
+		// TODO Auto-generated method stub
+		return null;
 	}	
 }

Modified: trunk/src/dl-learner/org/dllearner/core/owl/Datatype.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/Datatype.java	2009-03-23 14:03:26 UTC (rev 1659)
+++ trunk/src/dl-learner/org/dllearner/core/owl/Datatype.java	2009-03-23 15:36:15 UTC (rev 1660)
@@ -61,5 +61,14 @@
 	
 	public void accept(KBElementVisitor visitor) {
 		visitor.visit(this);
+	}
+
+	/* (non-Javadoc)
+	 * @see org.dllearner.core.owl.KBElement#toManchesterSyntaxString(java.lang.String, java.util.Map)
+	 */
+	@Override
+	public String toManchesterSyntaxString(String baseURI, Map<String, String> prefixes) {
+		// TODO Auto-generated method stub
+		return null;
 	}	
 }

Modified: trunk/src/dl-learner/org/dllearner/core/owl/DatatypeProperty.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/DatatypeProperty.java	2009-03-23 14:03:26 UTC (rev 1659)
+++ trunk/src/dl-learner/org/dllearner/core/owl/DatatypeProperty.java	2009-03-23 15:36:15 UTC (rev 1660)
@@ -86,5 +86,14 @@
 	@Override
 	public int hashCode() {
 		return name.hashCode();
+	}
+
+	/* (non-Javadoc)
+	 * @see org.dllearner.core.owl.KBElement#toManchesterSyntaxString(java.lang.String, java.util.Map)
+	 */
+	@Override
+	public String toManchesterSyntaxString(String baseURI, Map<String, String> prefixes) {
+		// TODO Auto-generated method stub
+		return null;
 	}	
 }

Modified: trunk/src/dl-learner/org/dllearner/core/owl/DatatypePropertyDomainAxiom.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/DatatypePropertyDomainAxiom.java	2009-03-23 14:03:26 UTC (rev 1659)
+++ trunk/src/dl-learner/org/dllearner/core/owl/DatatypePropertyDomainAxiom.java	2009-03-23 15:36:15 UTC (rev 1660)
@@ -73,6 +73,15 @@
 	 */
 	public void accept(KBElementVisitor visitor) {
 		visitor.visit(this);
+	}
+
+	/* (non-Javadoc)
+	 * @see org.dllearner.core.owl.KBElement#toManchesterSyntaxString(java.lang.String, java.util.Map)
+	 */
+	@Override
+	public String toManchesterSyntaxString(String baseURI, Map<String, String> prefixes) {
+		// TODO Auto-generated method stub
+		return null;
 	}	
 
 }

Modified: trunk/src/dl-learner/org/dllearner/core/owl/DatatypePropertyRangeAxiom.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/DatatypePropertyRangeAxiom.java	2009-03-23 14:03:26 UTC (rev 1659)
+++ trunk/src/dl-learner/org/dllearner/core/owl/DatatypePropertyRangeAxiom.java	2009-03-23 15:36:15 UTC (rev 1660)
@@ -69,6 +69,15 @@
 	 */
 	public void accept(KBElementVisitor visitor) {
 		visitor.visit(this);
+	}
+
+	/* (non-Javadoc)
+	 * @see org.dllearner.core.owl.KBElement#toManchesterSyntaxString(java.lang.String, java.util.Map)
+	 */
+	@Override
+	public String toManchesterSyntaxString(String baseURI, Map<String, String> prefixes) {
+		// TODO Auto-generated method stub
+		return null;
 	}	
 
 }

Modified: trunk/src/dl-learner/org/dllearner/core/owl/DatatypeValueRestriction.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/DatatypeValueRestriction.java	2009-03-23 14:03:26 UTC (rev 1659)
+++ trunk/src/dl-learner/org/dllearner/core/owl/DatatypeValueRestriction.java	2009-03-23 15:36:15 UTC (rev 1660)
@@ -40,8 +40,7 @@
 	 */
 	@Override
 	public String toManchesterSyntaxString(String baseURI, Map<String,String> prefixes) {
-		// TODO Auto-generated method stub
-		return null;
+		return restrictedPropertyExpression.toString(baseURI, prefixes) + " value " + value.toManchesterSyntaxString(baseURI, prefixes);
 	}
 
 	/* (non-Javadoc)
@@ -66,7 +65,7 @@
 	 * @see org.dllearner.core.owl.KBElement#toString(java.lang.String, java.util.Map)
 	 */
 	public String toString(String baseURI, Map<String, String> prefixes) {
-		return restrictedPropertyExpression.toString(baseURI, prefixes) + " = " + value.toString(baseURI, prefixes);
+		return restrictedPropertyExpression.toString(baseURI, prefixes) + " value " + value.toString(baseURI, prefixes);
 	}
 	
 	public String toKBSyntaxString(String baseURI, Map<String, String> prefixes) {

Modified: trunk/src/dl-learner/org/dllearner/core/owl/DifferentIndividualsAxiom.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/DifferentIndividualsAxiom.java	2009-03-23 14:03:26 UTC (rev 1659)
+++ trunk/src/dl-learner/org/dllearner/core/owl/DifferentIndividualsAxiom.java	2009-03-23 15:36:15 UTC (rev 1660)
@@ -65,6 +65,15 @@
 
 	public void accept(KBElementVisitor visitor) {
 		visitor.visit(this);
+	}
+
+	/* (non-Javadoc)
+	 * @see org.dllearner.core.owl.KBElement#toManchesterSyntaxString(java.lang.String, java.util.Map)
+	 */
+	@Override
+	public String toManchesterSyntaxString(String baseURI, Map<String, String> prefixes) {
+		// TODO Auto-generated method stub
+		return null;
 	}	
 
 }

Modified: trunk/src/dl-learner/org/dllearner/core/owl/DisjointClassesAxiom.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/DisjointClassesAxiom.java	2009-03-23 14:03:26 UTC (rev 1659)
+++ trunk/src/dl-learner/org/dllearner/core/owl/DisjointClassesAxiom.java	2009-03-23 15:36:15 UTC (rev 1660)
@@ -73,6 +73,15 @@
 	 */
 	public Set<Description> getDescriptions() {
 		return descriptions;
+	}
+
+	/* (non-Javadoc)
+	 * @see org.dllearner.core.owl.KBElement#toManchesterSyntaxString(java.lang.String, java.util.Map)
+	 */
+	@Override
+	public String toManchesterSyntaxString(String baseURI, Map<String, String> prefixes) {
+		// TODO Auto-generated method stub
+		return null;
 	}	
 	
 }

Modified: trunk/src/dl-learner/org/dllearner/core/owl/DoubleDatatypePropertyAssertion.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/DoubleDatatypePropertyAssertion.java	2009-03-23 14:03:26 UTC (rev 1659)
+++ trunk/src/dl-learner/org/dllearner/core/owl/DoubleDatatypePropertyAssertion.java	2009-03-23 15:36:15 UTC (rev 1660)
@@ -59,5 +59,14 @@
 
 	public void accept(KBElementVisitor visitor) {
 		visitor.visit(this);
+	}
+
+	/* (non-Javadoc)
+	 * @see org.dllearner.core.owl.KBElement#toManchesterSyntaxString(java.lang.String, java.util.Map)
+	 */
+	@Override
+	public String toManchesterSyntaxString(String baseURI, Map<String, String> prefixes) {
+		// TODO Auto-generated method stub
+		return null;
 	}	
 }

Modified: trunk/src/dl-learner/org/dllearner/core/owl/DoubleMaxValue.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/DoubleMaxValue.java	2009-03-23 14:03:26 UTC (rev 1659)
+++ trunk/src/dl-learner/org/dllearner/core/owl/DoubleMaxValue.java	2009-03-23 15:36:15 UTC (rev 1660)
@@ -63,6 +63,15 @@
 	
 	public void accept(KBElementVisitor visitor) {
 		visitor.visit(this);
+	}
+
+	/* (non-Javadoc)
+	 * @see org.dllearner.core.owl.KBElement#toManchesterSyntaxString(java.lang.String, java.util.Map)
+	 */
+	@Override
+	public String toManchesterSyntaxString(String baseURI, Map<String, String> prefixes) {
+		// TODO Auto-generated method stub
+		return null;
 	}	
 	
 }

Modified: trunk/src/dl-learner/org/dllearner/core/owl/DoubleMinValue.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/DoubleMinValue.java	2009-03-23 14:03:26 UTC (rev 1659)
+++ trunk/src/dl-learner/org/dllearner/core/owl/DoubleMinValue.java	2009-03-23 15:36:15 UTC (rev 1660)
@@ -63,5 +63,14 @@
 	
 	public void accept(KBElementVisitor visitor) {
 		visitor.visit(this);
+	}
+
+	/* (non-Javadoc)
+	 * @see org.dllearner.core.owl.KBElement#toManchesterSyntaxString(java.lang.String, java.util.Map)
+	 */
+	@Override
+	public String toManchesterSyntaxString(String baseURI, Map<String, String> prefixes) {
+		// TODO Auto-generated method stub
+		return null;
 	}	
 }

Modified: trunk/src/dl-learner/org/dllearner/core/owl/EquivalentClassesAxiom.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/EquivalentClassesAxiom.java	2009-03-23 14:03:26 UTC (rev 1659)
+++ trunk/src/dl-learner/org/dllearner/core/owl/EquivalentClassesAxiom.java	2009-03-23 15:36:15 UTC (rev 1660)
@@ -39,5 +39,14 @@
 	
 	public void accept(KBElementVisitor visitor) {
 		visitor.visit(this);
+	}
+
+	/* (non-Javadoc)
+	 * @see org.dllearner.core.owl.KBElement#toManchesterSyntaxString(java.lang.String, java.util.Map)
+	 */
+	@Override
+	public String toManchesterSyntaxString(String baseURI, Map<String, String> prefixes) {
+		// TODO Auto-generated method stub
+		return null;
 	}	
 }

Modified: trunk/src/dl-learner/org/dllearner/core/owl/FunctionalObjectPropertyAxiom.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/FunctionalObjectPropertyAxiom.java	2009-03-23 14:03:26 UTC (rev 1659)
+++ trunk/src/dl-learner/org/dllearner/core/owl/FunctionalObjectPropertyAxiom.java	2009-03-23 15:36:15 UTC (rev 1660)
@@ -39,5 +39,14 @@
 	
 	public void accept(KBElementVisitor visitor) {
 		visitor.visit(this);
+	}
+
+	/* (non-Javadoc)
+	 * @see org.dllearner.core.owl.KBElement#toManchesterSyntaxString(java.lang.String, java.util.Map)
+	 */
+	@Override
+	public String toManchesterSyntaxString(String baseURI, Map<String, String> prefixes) {
+		// TODO Auto-generated method stub
+		return null;
 	}	
 }

Modified: trunk/src/dl-learner/org/dllearner/core/owl/InverseObjectPropertyAxiom.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/InverseObjectPropertyAxiom.java	2009-03-23 14:03:26 UTC (rev 1659)
+++ trunk/src/dl-learner/org/dllearner/core/owl/InverseObjectPropertyAxiom.java	2009-03-23 15:36:15 UTC (rev 1660)
@@ -39,5 +39,14 @@
 	
 	public void accept(KBElementVisitor visitor) {
 		visitor.visit(this);
+	}
+
+	/* (non-Javadoc)
+	 * @see org.dllearner.core.owl.KBElement#toManchesterSyntaxString(java.lang.String, java.util.Map)
+	 */
+	@Override
+	public String toManchesterSyntaxString(String baseURI, Map<String, String> prefixes) {
+		// TODO Auto-generated method stub
+		return null;
 	}	
 }

Modified: trunk/src/dl-learner/org/dllearner/core/owl/KB.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/KB.java	2009-03-23 14:03:26 UTC (rev 1659)
+++ trunk/src/dl-learner/org/dllearner/core/owl/KB.java	2009-03-23 15:36:15 UTC (rev 1660)
@@ -304,4 +304,13 @@
 			e.printStackTrace();
 		}
 	}
+
+	/* (non-Javadoc)
+	 * @see org.dllearner.core.owl.KBElement#toManchesterSyntaxString(java.lang.String, java.util.Map)
+	 */
+	@Override
+	public String toManchesterSyntaxString(String baseURI, Map<String, String> prefixes) {
+		// TODO Auto-generated method stub
+		return null;
+	}
 }

Modified: trunk/src/dl-learner/org/dllearner/core/owl/KBElement.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/KBElement.java	2009-03-23 14:03:26 UTC (rev 1659)
+++ trunk/src/dl-learner/org/dllearner/core/owl/KBElement.java	2009-03-23 15:36:15 UTC (rev 1660)
@@ -26,5 +26,8 @@
     
     public String toKBSyntaxString(String baseURI, Map<String,String> prefixes);
     
+	public String toManchesterSyntaxString(String baseURI, Map<String, String> prefixes);
+        
     public void accept(KBElementVisitor visitor);
+
 }

Modified: trunk/src/dl-learner/org/dllearner/core/owl/ObjectProperty.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/ObjectProperty.java	2009-03-23 14:03:26 UTC (rev 1659)
+++ trunk/src/dl-learner/org/dllearner/core/owl/ObjectProperty.java	2009-03-23 15:36:15 UTC (rev 1660)
@@ -77,5 +77,14 @@
 	@Override
 	public int hashCode() {
 		return name.hashCode();
+	}
+
+	/* (non-Javadoc)
+	 * @see org.dllearner.core.owl.KBElement#toManchesterSyntaxString(java.lang.String, java.util.Map)
+	 */
+	@Override
+	public String toManchesterSyntaxString(String baseURI, Map<String, String> prefixes) {
+		// TODO Auto-generated method stub
+		return null;
 	}	
 }

Modified: trunk/src/dl-learner/org/dllearner/core/owl/ObjectPropertyAssertion.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/ObjectPropertyAssertion.java	2009-03-23 14:03:26 UTC (rev 1659)
+++ trunk/src/dl-learner/org/dllearner/core/owl/ObjectPropertyAssertion.java	2009-03-23 15:36:15 UTC (rev 1660)
@@ -71,5 +71,14 @@
 	
 	public void accept(KBElementVisitor visitor) {
 		visitor.visit(this);
+	}
+
+	/* (non-Javadoc)
+	 * @see org.dllearner.core.owl.KBElement#toManchesterSyntaxString(java.lang.String, java.util.Map)
+	 */
+	@Override
+	public String toManchesterSyntaxString(String baseURI, Map<String, String> prefixes) {
+		// TODO Auto-generated method stub
+		return null;
 	}	
 }

Modified: trunk/src/dl-learner/org/dllearner/core/owl/ObjectPropertyDomainAxiom.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/ObjectPropertyDomainAxiom.java	2009-03-23 14:03:26 UTC (rev 1659)
+++ trunk/src/dl-learner/org/dllearner/core/owl/ObjectPropertyDomainAxiom.java	2009-03-23 15:36:15 UTC (rev 1660)
@@ -65,6 +65,15 @@
 
 	public void accept(KBElementVisitor visitor) {
 		visitor.visit(this);
+	}
+
+	/* (non-Javadoc)
+	 * @see org.dllearner.core.owl.KBElement#toManchesterSyntaxString(java.lang.String, java.util.Map)
+	 */
+	@Override
+	public String toManchesterSyntaxString(String baseURI, Map<String, String> prefixes) {
+		// TODO Auto-generated method stub
+		return null;
 	}	
 	
 }

Modified: trunk/src/dl-learner/org/dllearner/core/owl/ObjectPropertyInverse.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/ObjectPropertyInverse.java	2009-03-23 14:03:26 UTC (rev 1659)
+++ trunk/src/dl-learner/org/dllearner/core/owl/ObjectPropertyInverse.java	2009-03-23 15:36:15 UTC (rev 1660)
@@ -56,5 +56,14 @@
 	
 	public void accept(KBElementVisitor visitor) {
 		visitor.visit(this);
+	}
+
+	/* (non-Javadoc)
+	 * @see org.dllearner.core.owl.KBElement#toManchesterSyntaxString(java.lang.String, java.util.Map)
+	 */
+	@Override
+	public String toManchesterSyntaxString(String baseURI, Map<String, String> prefixes) {
+		// TODO Auto-generated method stub
+		return null;
 	}	
 }

Modified: trunk/src/dl-learner/org/dllearner/core/owl/ObjectPropertyRangeAxiom.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/ObjectPropertyRangeAxiom.java	2009-03-23 14:03:26 UTC (rev 1659)
+++ trunk/src/dl-learner/org/dllearner/core/owl/ObjectPropertyRangeAxiom.java	2009-03-23 15:36:15 UTC (rev 1660)
@@ -71,5 +71,14 @@
 		visitor.visit(this);
 	}
 
+	/* (non-Javadoc)
+	 * @see org.dllearner.core.owl.KBElement#toManchesterSyntaxString(java.lang.String, java.util.Map)
+	 */
+	@Override
+	public String toManchesterSyntaxString(String baseURI, Map<String, String> prefixes) {
+		// TODO Auto-generated method stub
+		return null;
+	}
+
 	
 }

Modified: trunk/src/dl-learner/org/dllearner/core/owl/SubClassAxiom.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/SubClassAxiom.java	2009-03-23 14:03:26 UTC (rev 1659)
+++ trunk/src/dl-learner/org/dllearner/core/owl/SubClassAxiom.java	2009-03-23 15:36:15 UTC (rev 1660)
@@ -39,5 +39,14 @@
 	
 	public void accept(KBElementVisitor visitor) {
 		visitor.visit(this);
+	}
+
+	/* (non-Javadoc)
+	 * @see org.dllearner.core.owl.KBElement#toManchesterSyntaxString(java.lang.String, java.util.Map)
+	 */
+	@Override
+	public String toManchesterSyntaxString(String baseURI, Map<String, String> prefixes) {
+		// TODO Auto-generated method stub
+		return null;
 	}	
 }

Modified: trunk/src/dl-learner/org/dllearner/core/owl/SubObjectPropertyAxiom.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/SubObjectPropertyAxiom.java	2009-03-23 14:03:26 UTC (rev 1659)
+++ trunk/src/dl-learner/org/dllearner/core/owl/SubObjectPropertyAxiom.java	2009-03-23 15:36:15 UTC (rev 1660)
@@ -39,5 +39,14 @@
 	
 	public void accept(KBElementVisitor visitor) {
 		visitor.visit(this);
+	}
+
+	/* (non-Javadoc)
+	 * @see org.dllearner.core.owl.KBElement#toManchesterSyntaxString(java.lang.String, java.util.Map)
+	 */
+	@Override
+	public String toManchesterSyntaxString(String baseURI, Map<String, String> prefixes) {
+		// TODO Auto-generated method stub
+		return null;
 	}	
 }

Modified: trunk/src/dl-learner/org/dllearner/core/owl/SymmetricObjectPropertyAxiom.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/SymmetricObjectPropertyAxiom.java	2009-03-23 14:03:26 UTC (rev 1659)
+++ trunk/src/dl-learner/org/dllearner/core/owl/SymmetricObjectPropertyAxiom.java	2009-03-23 15:36:15 UTC (rev 1660)
@@ -33,5 +33,14 @@
 	
 	public void accept(KBElementVisitor visitor) {
 		visitor.visit(this);
+	}
+
+	/* (non-Javadoc)
+	 * @see org.dllearner.core.owl.KBElement#toManchesterSyntaxString(java.lang.String, java.util.Map)
+	 */
+	@Override
+	public String toManchesterSyntaxString(String baseURI, Map<String, String> prefixes) {
+		// TODO Auto-generated method stub
+		return null;
 	}	
 }

Modified: trunk/src/dl-learner/org/dllearner/core/owl/TransitiveObjectPropertyAxiom.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/TransitiveObjectPropertyAxiom.java	2009-03-23 14:03:26 UTC (rev 1659)
+++ trunk/src/dl-learner/org/dllearner/core/owl/TransitiveObjectPropertyAxiom.java	2009-03-23 15:36:15 UTC (rev 1660)
@@ -33,5 +33,14 @@
 	
 	public void accept(KBElementVisitor visitor) {
 		visitor.visit(this);
+	}
+
+	/* (non-Javadoc)
+	 * @see org.dllearner.core.owl.KBElement#toManchesterSyntaxString(java.lang.String, java.util.Map)
+	 */
+	@Override
+	public String toManchesterSyntaxString(String baseURI, Map<String, String> prefixes) {
+		// TODO Auto-generated method stub
+		return null;
 	}	
 }

Modified: trunk/src/dl-learner/org/dllearner/core/owl/TypedConstant.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/TypedConstant.java	2009-03-23 14:03:26 UTC (rev 1659)
+++ trunk/src/dl-learner/org/dllearner/core/owl/TypedConstant.java	2009-03-23 15:36:15 UTC (rev 1660)
@@ -55,6 +55,14 @@
 		return literal;
 //		return literal + "^^" + datatype;
 	}
+	
+	/* (non-Javadoc)
+	 * @see org.dllearner.core.owl.KBElement#toManchesterSyntaxString(java.lang.String, java.util.Map)
+	 */
+	@Override
+	public String toManchesterSyntaxString(String baseURI, Map<String, String> prefixes) {
+		return literal;
+	}
 
 	/**
 	 * @return the datatype
@@ -88,4 +96,6 @@
 		return literal + "^^" + datatype;
 	}
 
+
+
 }

Modified: trunk/src/dl-learner/org/dllearner/core/owl/UntypedConstant.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/UntypedConstant.java	2009-03-23 14:03:26 UTC (rev 1659)
+++ trunk/src/dl-learner/org/dllearner/core/owl/UntypedConstant.java	2009-03-23 15:36:15 UTC (rev 1660)
@@ -69,6 +69,17 @@
 			return literal;
 	}
 
+	/* (non-Javadoc)
+	 * @see org.dllearner.core.owl.KBElement#toManchesterSyntaxString(java.lang.String, java.util.Map)
+	 */
+	@Override
+	public String toManchesterSyntaxString(String baseURI, Map<String, String> prefixes) {
+		if(hasLang)
+			return literal + "@" + lang;
+		else
+			return literal;		
+	}		
+	
 	/**
 	 * @return the lang
 	 */
@@ -97,5 +108,7 @@
 		} else {
 			return literal;
 		}
-	}	
+	}
+
+
 }


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