[DL-Learner SVN] SF.net SVN: dl-learner:[1356] trunk

[<Jen...@us...>]

Revision: 1356
          http://dl-learner.svn.sourceforge.net/dl-learner/?rev=1356&view=rev
Author:   JensLehmann
Date:     2008-10-09 14:04:09 +0000 (Thu, 09 Oct 2008)

Log Message:
-----------
disallowed all-quantifier in family benchmark problems (causes them to terminate quickly)

Modified Paths:
--------------
    trunk/examples/family-benchmark/Aunt.conf
    trunk/examples/family-benchmark/Cousin.conf
    trunk/src/dl-learner/org/dllearner/test/junit/ExampleTests.java

Modified: trunk/examples/family-benchmark/Aunt.conf
===================================================================
--- trunk/examples/family-benchmark/Aunt.conf	2008-10-09 13:30:37 UTC (rev 1355)
+++ trunk/examples/family-benchmark/Aunt.conf	2008-10-09 14:04:09 UTC (rev 1356)
@@ -1,5 +1,7 @@
 import("family-benchmark.owl");
 
+// TODO All Quantifier causes "wrong" areas of the search space to be explored
+refexamples.useAllConstructor = false;
 
 +"http://www.benchmark.org/family#F2F14"
 +"http://www.benchmark.org/family#F2F12"

Modified: trunk/examples/family-benchmark/Cousin.conf
===================================================================
--- trunk/examples/family-benchmark/Cousin.conf	2008-10-09 13:30:37 UTC (rev 1355)
+++ trunk/examples/family-benchmark/Cousin.conf	2008-10-09 14:04:09 UTC (rev 1356)
@@ -1,5 +1,7 @@
 import("family-benchmark.owl");
 
+// TODO All Quantifier causes "wrong" areas of the search space to be explored
+refexamples.useAllConstructor = false;
 
 +"http://www.benchmark.org/family#F2M13"
 +"http://www.benchmark.org/family#F2F14"

Modified: trunk/src/dl-learner/org/dllearner/test/junit/ExampleTests.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/test/junit/ExampleTests.java	2008-10-09 13:30:37 UTC (rev 1355)
+++ trunk/src/dl-learner/org/dllearner/test/junit/ExampleTests.java	2008-10-09 14:04:09 UTC (rev 1356)
@@ -83,6 +83,9 @@
 		ignore.add("./examples/krk/test_ZERO_against_1to16.conf"); // see above
 		ignore.add("./examples/semantic_bible/sparqlbible.conf"); // requires local Joseki
 		
+		// temporarily not working (have a look at those before next release) 
+		ignore.add("./examples/family/father_posonly.conf"); // ArrayOutOfBoundsException in Pellet - main problem: pos only not working/supported
+		
 		// ignored due to errors (should be fixed; in case of long running problems or
 		// our of memory, it is better to increase the noise parameter and add comments
 		// in the conf file about "optimal" parameters)
@@ -90,11 +93,10 @@
 		ignore.add("./examples/sparql/musicbrainz.conf"); // HTTP 502 error - NullPointer in extraction
 		ignore.add("./examples/sparql/SKOSTEST_local.conf"); // Out of Memory Error
 		ignore.add("./examples/sparql/scrobble.conf"); // HTTP 502 Proxy Error
-		ignore.add("./examples/family-benchmark/Cousin.conf"); // Out of Memory Error
+		// ignore.add("./examples/family-benchmark/Cousin.conf"); // Out of Memory Error => disallowing ALL helps (TODO find out details) 
 		ignore.add("./examples/sparql/SilentBobWorking2.conf"); // Out of Memory Error
-		ignore.add("./examples/family/father_posonly.conf"); // ArrayOutOfBoundsException in Pellet - main problem: pos only not working/supported
 		ignore.add("./examples/sparql/difference/DBPediaSKOS_kohl_vs_angela.conf"); // Pellet: literal cannot be cast to individual
-		ignore.add("./examples/family-benchmark/Aunt.conf"); // did not terminate so far (waited 45 minutes)
+		// ignore.add("./examples/family-benchmark/Aunt.conf"); // did not terminate so far (waited 45 minutes)  => disallowing ALL helps (TODO find out details)
 		ignore.add("./examples/krk/KRK_ZERO_against_1to5_fastInstance.conf"); // Out of Memory Error
 		ignore.add("./examples/semantic_bible/normal_test.conf"); // did not terminate (waited 55 minutes)
 		


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