Revision: 749
http://dl-learner.svn.sourceforge.net/dl-learner/?rev=749&view=rev
Author: kurzum
Date: 2008-04-01 04:48:39 -0700 (Tue, 01 Apr 2008)
Log Message:
-----------
fastinstance example no ALL no NOT
Added Paths:
-----------
trunk/examples/krk/test_ZERO_ONE_fastInstance_noALL_noNOT.conf
Added: trunk/examples/krk/test_ZERO_ONE_fastInstance_noALL_noNOT.conf
===================================================================
--- trunk/examples/krk/test_ZERO_ONE_fastInstance_noALL_noNOT.conf (rev 0)
+++ trunk/examples/krk/test_ZERO_ONE_fastInstance_noALL_noNOT.conf 2008-04-01 11:48:39 UTC (rev 749)
@@ -0,0 +1,148 @@
+/*
+solutions:
+INFO - EXISTS "http://www.test.de/test#hasPiece".("http://www.test.de/test#BKing" AND EXISTS "http://www.test.de/test#fileDistanceLessThan1".TOP AND EXISTS "http://www.test.de/test#rankDistanceLessThan2".(EXISTS "http://www.test.de/test#hasLowerRankThan".TOP AND <= 1 "http://www.test.de/test#hasLowerFileThan" TOP)) (length 18, depth 6)
+DEBUG - size of candidate set: 17269
+DEBUG - properness tests (reasoner/short concept/too weak list): 0/8/28
+DEBUG - concept tests (reasoner/too weak list/overly general list/redundant concepts): 794/28/16933/1
+INFO - Algorithm terminated succesfully.
+number of retrievals: 12
+retrieval reasoning time: 0ms ( 0ms per retrieval)
+number of instance checks: 20512 (0 multiple)
+instance check reasoning time: 478ms ( 0ms per instance check)
+subsumption hierarchy queries: 4
+overall reasoning time: 478ms (0,512% of overall runtime)
+overall algorithm runtime: 93s 425ms
+
+
+INFO - best node
+EXISTS "hasPiece".
+("BKing" AND EXISTS "fileDistanceLessThan1".TOP
+AND EXISTS "rankDistanceLessThan2".
+ (EXISTS "hasLowerRankThan".TOP AND <= 1 "hasLowerFileThan" TOP))
+ [acc:100% h:0,654 q:0p-0n (REASONER), he:17 c:0]
+
+
+*/
+
+import("test_ZERO_ONE.owl");
+refexamples.ignoredConcepts={
+"http://www.test.de/test#ONE",
+"http://www.test.de/test#ZERO"};
+
+//problem = posOnlyDefinition;
+
+algorithm = refexamples;
+//algorithm = refinement;
+//refinement.heuristic=flexible;
+reasoner=fastInstanceChecker;
+
+refexamples.useAllConstructor = false;
+refexamples.useNegation = false;
+
++"http://www.test.de/test#game1"
++"http://www.test.de/test#game10"
++"http://www.test.de/test#game11"
++"http://www.test.de/test#game12"
++"http://www.test.de/test#game13"
++"http://www.test.de/test#game14"
++"http://www.test.de/test#game15"
++"http://www.test.de/test#game16"
++"http://www.test.de/test#game17"
++"http://www.test.de/test#game18"
++"http://www.test.de/test#game19"
++"http://www.test.de/test#game2"
++"http://www.test.de/test#game20"
++"http://www.test.de/test#game21"
++"http://www.test.de/test#game22"
++"http://www.test.de/test#game23"
++"http://www.test.de/test#game24"
++"http://www.test.de/test#game25"
++"http://www.test.de/test#game26"
++"http://www.test.de/test#game27"
++"http://www.test.de/test#game3"
++"http://www.test.de/test#game4"
++"http://www.test.de/test#game5"
++"http://www.test.de/test#game6"
++"http://www.test.de/test#game7"
++"http://www.test.de/test#game8"
++"http://www.test.de/test#game9"
+
+
+-"http://www.test.de/test#game100"
+-"http://www.test.de/test#game101"
+-"http://www.test.de/test#game102"
+-"http://www.test.de/test#game103"
+-"http://www.test.de/test#game104"
+-"http://www.test.de/test#game105"
+-"http://www.test.de/test#game28"
+-"http://www.test.de/test#game29"
+-"http://www.test.de/test#game30"
+-"http://www.test.de/test#game31"
+-"http://www.test.de/test#game32"
+-"http://www.test.de/test#game33"
+-"http://www.test.de/test#game34"
+-"http://www.test.de/test#game35"
+-"http://www.test.de/test#game36"
+-"http://www.test.de/test#game37"
+-"http://www.test.de/test#game38"
+-"http://www.test.de/test#game39"
+-"http://www.test.de/test#game40"
+-"http://www.test.de/test#game41"
+-"http://www.test.de/test#game42"
+-"http://www.test.de/test#game43"
+-"http://www.test.de/test#game44"
+-"http://www.test.de/test#game45"
+-"http://www.test.de/test#game46"
+-"http://www.test.de/test#game47"
+-"http://www.test.de/test#game48"
+-"http://www.test.de/test#game49"
+-"http://www.test.de/test#game50"
+-"http://www.test.de/test#game51"
+-"http://www.test.de/test#game52"
+-"http://www.test.de/test#game53"
+-"http://www.test.de/test#game54"
+-"http://www.test.de/test#game55"
+-"http://www.test.de/test#game56"
+-"http://www.test.de/test#game57"
+-"http://www.test.de/test#game58"
+-"http://www.test.de/test#game59"
+-"http://www.test.de/test#game60"
+-"http://www.test.de/test#game61"
+-"http://www.test.de/test#game62"
+-"http://www.test.de/test#game63"
+-"http://www.test.de/test#game64"
+-"http://www.test.de/test#game65"
+-"http://www.test.de/test#game66"
+-"http://www.test.de/test#game67"
+-"http://www.test.de/test#game68"
+-"http://www.test.de/test#game69"
+-"http://www.test.de/test#game70"
+-"http://www.test.de/test#game71"
+-"http://www.test.de/test#game72"
+-"http://www.test.de/test#game73"
+-"http://www.test.de/test#game74"
+-"http://www.test.de/test#game75"
+-"http://www.test.de/test#game76"
+-"http://www.test.de/test#game77"
+-"http://www.test.de/test#game78"
+-"http://www.test.de/test#game79"
+-"http://www.test.de/test#game80"
+-"http://www.test.de/test#game81"
+-"http://www.test.de/test#game82"
+-"http://www.test.de/test#game83"
+-"http://www.test.de/test#game84"
+-"http://www.test.de/test#game85"
+-"http://www.test.de/test#game86"
+-"http://www.test.de/test#game87"
+-"http://www.test.de/test#game88"
+-"http://www.test.de/test#game89"
+-"http://www.test.de/test#game90"
+-"http://www.test.de/test#game91"
+-"http://www.test.de/test#game92"
+-"http://www.test.de/test#game93"
+-"http://www.test.de/test#game94"
+-"http://www.test.de/test#game95"
+-"http://www.test.de/test#game96"
+-"http://www.test.de/test#game97"
+-"http://www.test.de/test#game98"
+-"http://www.test.de/test#game99"
\ No newline at end of file
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
