|
From: <Jen...@us...> - 2008-10-09 14:04:21
|
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.
|