[DL-Learner SVN] SF.net SVN: dl-learner: [567] trunk/examples

SourceForge Headquarters 225 Broadway Suite 1600 San Diego, CA 92101 +1 (858) 422-6466

Revision: 567
          http://dl-learner.svn.sourceforge.net/dl-learner/?rev=567&view=rev
Author:   kurzum
Date:     2008-02-13 06:23:04 -0800 (Wed, 13 Feb 2008)

Log Message:
-----------
finished family

Modified Paths:
--------------
    trunk/examples/commandcollection.txt
    trunk/examples/family/daughter.conf
    trunk/examples/family/grandfather.conf
    trunk/examples/family/uncle.conf

Added Paths:
-----------
    trunk/examples/family/daughter.kb
    trunk/examples/family/father.conf
    trunk/examples/family/father_owl.conf
    trunk/examples/family/grandfather.kb
    trunk/examples/father.kb

Removed Paths:
-------------
    trunk/examples/family/father2.conf
    trunk/examples/family/fatherOld.conf

Modified: trunk/examples/commandcollection.txt
===================================================================

--- trunk/examples/commandcollection.txt	2008-02-13 14:12:30 UTC (rev 566)
+++ trunk/examples/commandcollection.txt	2008-02-13 14:23:04 UTC (rev 567)
@@ -7,6 +7,8 @@
 showInternalKB = true;
 showSubsumptionHierarchy = true;
 
+// do not display http://localhost/foo# in concepts 
+// and roles to make the output more readable
 hidePrefix("http://localhost/foo#");
 
 // reasoner settings
@@ -20,6 +22,8 @@
 refinement.horizontalExpansionFactor = 0.6;
 refinement.quiet = false;
 refinement.useTooWeakList = true;
+refinement.heuristic = flexible;
+percentPerLengthUnit = 0.05;
 
 //learning problems
 problem = posOnlyDefinition;

Modified: trunk/examples/family/daughter.conf
===================================================================
--- trunk/examples/family/daughter.conf	2008-02-13 14:12:30 UTC (rev 566)
+++ trunk/examples/family/daughter.conf	2008-02-13 14:23:04 UTC (rev 567)
@@ -12,11 +12,11 @@
 import("daughter.kb");
 
 /** examples **/
--father(stefan).
-+father(markus).
-+father(bernd).
--father(heinz).
--father(anna).
--father(gabi).
--father(michelle).
--father(franz).
+-stefan
++markus
++bernd
+-heinz
+-anna
+-gabi
+-michelle
+-franz

Added: trunk/examples/family/daughter.kb
===================================================================
--- trunk/examples/family/daughter.kb	                        (rev 0)
+++ trunk/examples/family/daughter.kb	2008-02-13 14:23:04 UTC (rev 567)
@@ -0,0 +1,27 @@
+/** background knowledge ***/
+
+// male and female are disjoint
+BOTTOM = (male AND female).
+
+// role hierarchy
+Subrole(hasSon, hasChild).
+Subrole(hasDaughter, hasChild).
+
+// persons
+male(markus).
+male(stefan).
+male(heinz).
+male(bernd).
+male(franz).
+female(anna).
+female(gabi).
+female(michelle).
+
+// children
+hasSon(stefan,markus).
+hasDaughter(markus,anna).
+hasDaughter(bernd,gabi).
+hasDaughter(gabi,anna).
+hasSon(anna,heinz).
+hasSon(franz,heinz).
+hasDaughter(franz,michelle).
\ No newline at end of file

Added: trunk/examples/family/father.conf
===================================================================
--- trunk/examples/family/father.conf	                        (rev 0)
+++ trunk/examples/family/father.conf	2008-02-13 14:23:04 UTC (rev 567)
@@ -0,0 +1,22 @@
+/**
+ * Father Example
+ *
+ * possible solution: 
+ *   male AND EXISTS hasChild.TOP
+ *
+ * Copyright (C) 2007, Jens Lehmann
+ */
+
+/** background knowledge ***/
+
+import("father.kb");
+// import("father_incl.kb");
+
+/** examples **/
++stefan
++markus
++bernd
+-heinz
+-anna
+-gabi
+-michelle

Deleted: trunk/examples/family/father2.conf
===================================================================
--- trunk/examples/family/father2.conf	2008-02-13 14:12:30 UTC (rev 566)
+++ trunk/examples/family/father2.conf	2008-02-13 14:23:04 UTC (rev 567)
@@ -1,26 +0,0 @@
-/**
- * Another Father Example (this time using OWL import)
- *
- * possible solution:
- *   male AND EXISTS hasChild.TOP
- *
- * Copyright (C) 2007, Jens Lehmann
- */
-
-reasoner = dig;
-import("father.owl");
-
-// do not display http://example.com/father# in concepts 
-// and roles to make the output more readable
-hidePrefix = "http://example.com/father#";
-
-writeDIGProtocol = false;
-digProtocolFile = "log/father2_dig.txt";
-
-/** examples **/
-+"http://example.com/father#stefan"
-+"http://example.com/father#markus"
-+"http://example.com/father#martin"
--"http://example.com/father#heinz"
--"http://example.com/father#anna"
--"http://example.com/father#michelle"

Deleted: trunk/examples/family/fatherOld.conf
===================================================================
--- trunk/examples/family/fatherOld.conf	2008-02-13 14:12:30 UTC (rev 566)
+++ trunk/examples/family/fatherOld.conf	2008-02-13 14:23:04 UTC (rev 567)
@@ -1,58 +0,0 @@
-/**
- * Father Example
- *
- * possible solution: 
- *   male AND EXISTS hasChild.TOP
- *
- * Copyright (C) 2007, Jens Lehmann
- */
-
-/** settings **/
-// reasoner settings
-reasoner = dig;
-digReasonerURL = "http://localhost:8081";
-useRetrievalForClassification = true;
-refinement.useDIGMultiInstanceChecks = twoChecks;
-
-// algorithm settings
-algorithm = refinement;
-refinement.horizontalExpansionFactor = 0.5;
-refinement.quiet = false;
-
-// search tree protocol
-refinement.writeSearchTree = false;
-refinement.searchTreeFile = "log/searchTree.txt";
-
-// control output
-showIndividuals = true;
-showConcepts = true;
-showRoles = true;
-showInternalKB = true;
-showSubsumptionHierarchy = true;
-
-/** background knowledge ***/
-BOTTOM = (male AND female).
-
-// persons
-male(markus).
-male(stefan).
-male(heinz).
-male(bernd).
-female(anna).
-female(gabi).
-female(michelle).
-
-// children
-hasChild(stefan,markus).
-hasChild(markus,anna).
-hasChild(bernd,gabi).
-hasChild(anna,heinz).
-
-/** examples **/
-+father(stefan).
-+father(markus).
-+father(bernd).
--father(heinz).
--father(anna).
--father(gabi).
--father(michelle).

Copied: trunk/examples/family/father_owl.conf (from rev 564, trunk/examples/family/father2.conf)
===================================================================
--- trunk/examples/family/father_owl.conf	                        (rev 0)
+++ trunk/examples/family/father_owl.conf	2008-02-13 14:23:04 UTC (rev 567)
@@ -0,0 +1,23 @@
+/**
+ * Another Father Example (this time using OWL import)
+ *
+ * possible solution:
+ *   male AND EXISTS hasChild.TOP
+ *
+ * Copyright (C) 2007, Jens Lehmann
+ */
+
+import("father.owl");
+
+// do not display http://example.com/father# in concepts 
+// and roles to make the output more readable
+hidePrefix = "http://example.com/father#";
+
+
+/** examples **/
++"http://example.com/father#stefan"
++"http://example.com/father#markus"
++"http://example.com/father#martin"
+-"http://example.com/father#heinz"
+-"http://example.com/father#anna"
+-"http://example.com/father#michelle"

Modified: trunk/examples/family/grandfather.conf
===================================================================
--- trunk/examples/family/grandfather.conf	2008-02-13 14:12:30 UTC (rev 566)
+++ trunk/examples/family/grandfather.conf	2008-02-13 14:23:04 UTC (rev 567)
@@ -10,76 +10,21 @@
  * Copyright (C) 2007, Jens Lehmann
  */
 
-/** settings **/
-algorithm = refinement;
-// refinement.heuristic = flexible;
-// percentPerLengthUnit = 0.05;
-refinement.horizontalExpansionFactor = 0.6;
+/** background knowledge ***/
 
-/** background knowledge **/
-male SUB person.
-female SUB person.
+import("grandfather.kb");
 
-// disjunct concepts
-(male AND female) SUB BOTTOM.
-
-Symmetric(married).
-Functional(married).
-
-// persons
-male(m1).
-male(m2).
-male(m3).
-male(m4).
-male(m5).
-male(m6).
-male(m7).
-female(f1).
-female(f2).
-female(f3).
-female(f4).
-female(f5).
-female(f6).
-female(f7).
-female(f8).
-
-// married-relations
-married(m1,f1).
-married(m2,f4).
-married(m5,f5).
-married(f6,m7).
-married(m6,f8).
-
-// hasChild-relations
-hasChild(m1,m2).
-hasChild(m1,f2).
-hasChild(m1,m5).
-hasChild(f1,m2).
-hasChild(f1,f2).
-hasChild(f1,m5).
-
-hasChild(m2,m3).
-hasChild(f4,m3).
-hasChild(f2,f3).
-hasChild(f2,m4).
-hasChild(m5,f6).
-hasChild(f5,f6).
-hasChild(f6,m6).
-hasChild(m7,m6).
-hasChild(f8,f7).
-hasChild(m6,f7).
-
 /** examples **/
-+grandfather(m1).
--grandfather(m2).
--grandfather(m3).
--grandfather(m4).
-+grandfather(m5).
--grandfather(m6).
-+grandfather(m7).
--grandfather(f1).
--grandfather(f2).
--grandfather(f3).
--grandfather(f4).
--grandfather(f5).
--grandfather(f6).
++m1
+-m2
+-m3
+-m4
++m5
+-m6
++m7
+-f1
+-f2
+-f3
+-f4
+-f5
+-f6

Added: trunk/examples/family/grandfather.kb
===================================================================
--- trunk/examples/family/grandfather.kb	                        (rev 0)
+++ trunk/examples/family/grandfather.kb	2008-02-13 14:23:04 UTC (rev 567)
@@ -0,0 +1,53 @@
+/** background knowledge **/
+male SUB person.
+female SUB person.
+
+// disjunct concepts
+(male AND female) SUB BOTTOM.
+
+Symmetric(married).
+Functional(married).
+
+// persons
+male(m1).
+male(m2).
+male(m3).
+male(m4).
+male(m5).
+male(m6).
+male(m7).
+female(f1).
+female(f2).
+female(f3).
+female(f4).
+female(f5).
+female(f6).
+female(f7).
+female(f8).
+
+// married-relations
+married(m1,f1).
+married(m2,f4).
+married(m5,f5).
+married(f6,m7).
+married(m6,f8).
+
+// hasChild-relations
+hasChild(m1,m2).
+hasChild(m1,f2).
+hasChild(m1,m5).
+hasChild(f1,m2).
+hasChild(f1,f2).
+hasChild(f1,m5).
+
+hasChild(m2,m3).
+hasChild(f4,m3).
+hasChild(f2,f3).
+hasChild(f2,m4).
+hasChild(m5,f6).
+hasChild(f5,f6).
+hasChild(f6,m6).
+hasChild(m7,m6).
+hasChild(f8,f7).
+hasChild(m6,f7).
+

Modified: trunk/examples/family/uncle.conf
===================================================================
--- trunk/examples/family/uncle.conf	2008-02-13 14:12:30 UTC (rev 566)
+++ trunk/examples/family/uncle.conf	2008-02-13 14:23:04 UTC (rev 567)
@@ -14,12 +14,7 @@
  * Copyright (C) 2007, Jens Lehmann
  */
 
-refinement.writeSearchTree = false;
-refinement.searchTreeFile = "log/search_uncle.txt";
-
-digReasoner.writeDIGProtocol = false;
-digReasoner.digProtocolFile = "log/dig_uncle.txt";
-
+/** background knowledge ***/
 import("uncle.kb");
 
 /** examples **/

Added: trunk/examples/father.kb
===================================================================
--- trunk/examples/father.kb	                        (rev 0)
+++ trunk/examples/father.kb	2008-02-13 14:23:04 UTC (rev 567)
@@ -0,0 +1,16 @@
+BOTTOM = (male AND female).
+
+// persons
+male(markus).
+male(stefan).
+male(heinz).
+male(bernd).
+female(anna).
+female(gabi).
+female(michelle).
+
+// children
+hasChild(stefan,markus).
+hasChild(markus,anna).
+hasChild(bernd,gabi).
+hasChild(anna,heinz).


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


