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

[<ku...@us...>]

Revision: 2028
          http://dl-learner.svn.sourceforge.net/dl-learner/?rev=2028&view=rev
Author:   kurzum
Date:     2010-02-13 13:04:13 +0000 (Sat, 13 Feb 2010)

Log Message:
-----------
In DataTypeValueRestriction the method 
getRestrictedPropertyExpression
was spelled with 3 sss and did not properly overwrite the super method

Modified Paths:
--------------
    trunk/src/dl-learner/org/dllearner/core/owl/DatatypeValueRestriction.java
    trunk/src/dl-learner/org/dllearner/reasoning/FastInstanceChecker.java
    trunk/src/dl-learner/org/dllearner/reasoning/PelletReasoner.java
    trunk/src/dl-learner/org/dllearner/refinementoperators/RhoDRDown.java
    trunk/src/dl-learner/org/dllearner/utilities/owl/ConceptComparator.java
    trunk/src/dl-learner/org/dllearner/utilities/owl/OWLAPIDescriptionConvertVisitor.java

Added Paths:
-----------
    trunk/src/dl-learner/org/dllearner/examples/tiger/

Modified: trunk/src/dl-learner/org/dllearner/core/owl/DatatypeValueRestriction.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/core/owl/DatatypeValueRestriction.java	2010-02-13 13:02:53 UTC (rev 2027)
+++ trunk/src/dl-learner/org/dllearner/core/owl/DatatypeValueRestriction.java	2010-02-13 13:04:13 UTC (rev 2028)
@@ -77,7 +77,8 @@
 		return restrictedPropertyExpression.toKBSyntaxString(baseURI, prefixes) + " = " + value.toKBSyntaxString(baseURI, prefixes);
 	}
 
-	public DatatypeProperty getRestrictedPropertyExpresssion() {
+	@Override
+	public DatatypeProperty getRestrictedPropertyExpression() {
 		return (DatatypeProperty) restrictedPropertyExpression;
 	}
 	

Modified: trunk/src/dl-learner/org/dllearner/reasoning/FastInstanceChecker.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/reasoning/FastInstanceChecker.java	2010-02-13 13:02:53 UTC (rev 2027)
+++ trunk/src/dl-learner/org/dllearner/reasoning/FastInstanceChecker.java	2010-02-13 13:04:13 UTC (rev 2028)
@@ -470,7 +470,7 @@
 			return inds == null ? false : inds.contains(i);
 		} else if (description instanceof BooleanValueRestriction) {
 			DatatypeProperty dp = ((BooleanValueRestriction) description)
-					.getRestrictedPropertyExpresssion();
+					.getRestrictedPropertyExpression();
 			boolean value = ((BooleanValueRestriction) description).getBooleanValue();
 
 			if (value) {
@@ -500,7 +500,7 @@
 			}
 		} else if (description instanceof DatatypeValueRestriction) {
 			String i = ((DatatypeValueRestriction)description).getValue().getLiteral();
-			DatatypeProperty dp = ((DatatypeValueRestriction)description).getRestrictedPropertyExpresssion();
+			DatatypeProperty dp = ((DatatypeValueRestriction)description).getRestrictedPropertyExpression();
 			
 			Set<String> inds = sd.get(dp).get(individual);
 			return inds == null ? false : inds.contains(i);
@@ -735,7 +735,7 @@
 			return returnSet;
 		} else if (description instanceof BooleanValueRestriction) {
 			DatatypeProperty dp = ((BooleanValueRestriction) description)
-					.getRestrictedPropertyExpresssion();
+					.getRestrictedPropertyExpression();
 			boolean value = ((BooleanValueRestriction) description).getBooleanValue();
 
 			if (value) {

Modified: trunk/src/dl-learner/org/dllearner/reasoning/PelletReasoner.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/reasoning/PelletReasoner.java	2010-02-13 13:02:53 UTC (rev 2027)
+++ trunk/src/dl-learner/org/dllearner/reasoning/PelletReasoner.java	2010-02-13 13:04:13 UTC (rev 2028)
@@ -801,7 +801,7 @@
 			return inds == null ? false : inds.contains(i);
 		} else if (description instanceof BooleanValueRestriction) {
 			DatatypeProperty dp = ((BooleanValueRestriction) description)
-					.getRestrictedPropertyExpresssion();
+					.getRestrictedPropertyExpression();
 			boolean value = ((BooleanValueRestriction) description).getBooleanValue();
 
 			if (value) {
@@ -1084,7 +1084,7 @@
 		return returnSet;
 	} else if (description instanceof BooleanValueRestriction) {
 		DatatypeProperty dp = ((BooleanValueRestriction) description)
-				.getRestrictedPropertyExpresssion();
+				.getRestrictedPropertyExpression();
 		boolean value = ((BooleanValueRestriction) description).getBooleanValue();
 
 		if (value) {

Modified: trunk/src/dl-learner/org/dllearner/refinementoperators/RhoDRDown.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/refinementoperators/RhoDRDown.java	2010-02-13 13:02:53 UTC (rev 2027)
+++ trunk/src/dl-learner/org/dllearner/refinementoperators/RhoDRDown.java	2010-02-13 13:04:13 UTC (rev 2028)
@@ -666,7 +666,7 @@
 			}
 		} else if (description instanceof StringValueRestriction) {
 			StringValueRestriction svr = (StringValueRestriction) description;
-			DatatypeProperty dp = svr.getRestrictedPropertyExpresssion();
+			DatatypeProperty dp = svr.getRestrictedPropertyExpression();
 			Set<DatatypeProperty> subDPs = rs.getSubProperties(dp);
 			for(DatatypeProperty subDP : subDPs) {
 				refinements.add(new StringValueRestriction(subDP, svr.getStringValue()));

Modified: trunk/src/dl-learner/org/dllearner/utilities/owl/ConceptComparator.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/utilities/owl/ConceptComparator.java	2010-02-13 13:02:53 UTC (rev 2027)
+++ trunk/src/dl-learner/org/dllearner/utilities/owl/ConceptComparator.java	2010-02-13 13:04:13 UTC (rev 2028)
@@ -133,7 +133,7 @@
 				return 1;
 			} else if(concept2 instanceof BooleanValueRestriction) {
 				// first criterion: name of the properties
-				int cmp = rc.compare(((BooleanValueRestriction)concept1).getRestrictedPropertyExpresssion(), ((BooleanValueRestriction)concept2).getRestrictedPropertyExpresssion());
+				int cmp = rc.compare(((BooleanValueRestriction)concept1).getRestrictedPropertyExpression(), ((BooleanValueRestriction)concept2).getRestrictedPropertyExpression());
 
 				// second criterion: value of the properties (it should rarely happen that
 				// both boolean values are present since this is a contradiction or superfluous)

Modified: trunk/src/dl-learner/org/dllearner/utilities/owl/OWLAPIDescriptionConvertVisitor.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/utilities/owl/OWLAPIDescriptionConvertVisitor.java	2010-02-13 13:02:53 UTC (rev 2027)
+++ trunk/src/dl-learner/org/dllearner/utilities/owl/OWLAPIDescriptionConvertVisitor.java	2010-02-13 13:04:13 UTC (rev 2028)
@@ -258,7 +258,7 @@
 		*/
 				
 		// get datatype property
-		DatatypeProperty dtp = description.getRestrictedPropertyExpresssion();
+		DatatypeProperty dtp = description.getRestrictedPropertyExpression();
 		OWLDataProperty prop = factory.getOWLDataProperty(URI.create(dtp.getName()));
 		
 		stack.push(factory.getOWLDataValueRestriction(prop, constant));	


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