From: <ku...@us...> - 2008-09-15 07:55:09
|
Revision: 1207 http://dl-learner.svn.sourceforge.net/dl-learner/?rev=1207&view=rev Author: kurzum Date: 2008-09-15 07:55:05 +0000 (Mon, 15 Sep 2008) Log Message: ----------- Modified Paths: -------------- trunk/examples/semantic_bible/normal_test.conf Modified: trunk/examples/semantic_bible/normal_test.conf =================================================================== --- trunk/examples/semantic_bible/normal_test.conf 2008-09-15 07:50:37 UTC (rev 1206) +++ trunk/examples/semantic_bible/normal_test.conf 2008-09-15 07:55:05 UTC (rev 1207) @@ -1,6 +1,5 @@ -// SPARQL options +// -refexamples.maxExecutionTimeInSeconds = 250; import("NTNcombined.owl"); algorithm = refexamples; @@ -8,7 +7,9 @@ refexamples.useNegation = true; refexamples.useCardinalityRestrictions = true; refexamples.guaranteeXgoodDescriptions = 1; +refexamples.maxExecutionTimeInSeconds = 250; + reasoner = owlAPI; owlAPIReasoner.reasonerType = pellet; This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |