[DL-Learner SVN] SF.net SVN: dl-learner:[1272] trunk/examples/semantic_bible/ normal_long_retrieval_time.conf

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

Revision: 1272
          http://dl-learner.svn.sourceforge.net/dl-learner/?rev=1272&view=rev
Author:   kurzum
Date:     2008-09-26 16:30:40 +0000 (Fri, 26 Sep 2008)

Log Message:
-----------
long retrieval time example

Added Paths:
-----------
    trunk/examples/semantic_bible/normal_long_retrieval_time.conf

Added: trunk/examples/semantic_bible/normal_long_retrieval_time.conf
===================================================================
--- trunk/examples/semantic_bible/normal_long_retrieval_time.conf	                        (rev 0)
+++ trunk/examples/semantic_bible/normal_long_retrieval_time.conf	2008-09-26 16:30:40 UTC (rev 1272)
@@ -0,0 +1,29 @@
+	/**
+EXISTS "http://semanticbible.org/ns/2006/NTNames#siblingOf".TOP
+EXISTS "http://semanticbible.org/ns/2006/NTNames#siblingOf"."http://semanticbible.org/ns/2006/NTNames#Man"
+ */
+
+
+// export("arch.owl");
+import("NTNcombined.owl");
+
+algorithm = refexamples;
+refexamples.useAllConstructor = true;
+refexamples.useNegation = true;
+refexamples.useCardinalityRestrictions = true;
+
+refexamples.guaranteeXgoodDescriptions = 20;
+//refexamples.ignoredConcepts = {"http://semanticbible.org/ns/2006/NTNames#God"};
+
+//reasoner = fastInstanceChecker;
+reasoner = owlAPIReasoner;
+owlAPIReasoner.reasonerType = pellet;
+
+/** examples **/
+-"http://semanticbible.org/ns/2006/NTNames#Almighty"
+-"http://semanticbible.org/ns/2006/NTNames#Gabriel"
+-"http://semanticbible.org/ns/2006/NTNames#Michael"
++"http://semanticbible.org/ns/2006/NTNames#Archelaus"
++"http://semanticbible.org/ns/2006/NTNames#HerodAntipas"
+-"http://semanticbible.org/ns/2006/NTNames#Satan"
+-"http://semanticbible.org/ns/2006/NTNames#Jesus"


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