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

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

Revision: 247
          http://dl-learner.svn.sourceforge.net/dl-learner/?rev=247&view=rev
Author:   kurzum
Date:     2007-10-19 02:40:13 -0700 (Fri, 19 Oct 2007)

Log Message:
-----------
replaced old examples with new ones
working

Added Paths:
-----------
    trunk/examples/daimler/Auto.conf
    trunk/examples/daimler/Automatik.conf
    trunk/examples/daimler/daimler.kb

Removed Paths:
-------------
    trunk/examples/daimler/daimler.conf
    trunk/examples/daimler/motor.conf
    trunk/examples/daimler/motor.kb

Added: trunk/examples/daimler/Auto.conf
===================================================================
--- trunk/examples/daimler/Auto.conf	                        (rev 0)
+++ trunk/examples/daimler/Auto.conf	2007-10-19 09:40:13 UTC (rev 247)
@@ -0,0 +1,25 @@
+
+refinement.ignoredConcepts = {"http://www.daimler.de/test#Auto"};
+//refinement.ignoredConcepts = {"http://www.daimler.de/test#Auto","http://www.daimler.de/test#Motor","http://www.daimler.de/test#Getriebe","http://www.daimler.de/test#Auto"};
+
+problem = posOnlyDefinition;
+
+cli.checkSatisfiability = true;
+cli.showIndividuals = false;
+cli.showConcepts = true;
+cli.showRoles = true;
+cli.showSubsumptionHierarchy = false;
+
+import("daimler.kb");
+
++"http://www.daimler.de/test#Auto_C_180_Kompressor_T-Modell_0"
++"http://www.daimler.de/test#Auto_C_320_CDI_4MATIC_Limousine_1"
++"http://www.daimler.de/test#Auto_C_200_Kompressor_Limousine_2"
++"http://www.daimler.de/test#Auto_C_200_CDI_Sportcoupe_3"
++"http://www.daimler.de/test#Auto_C_200_Kompressor_T-Modell_4"
++"http://www.daimler.de/test#Auto_C_220_CDI_Limousine_5"
++"http://www.daimler.de/test#Auto_C_280_T-Modell_6"
++"http://www.daimler.de/test#Auto_C_230_T-Modell_7"
++"http://www.daimler.de/test#Auto_C_200_Kompressor_Limousine_8"
++"http://www.daimler.de/test#Auto_C_230_Limousine_9"
+

Added: trunk/examples/daimler/Automatik.conf
===================================================================
--- trunk/examples/daimler/Automatik.conf	                        (rev 0)
+++ trunk/examples/daimler/Automatik.conf	2007-10-19 09:40:13 UTC (rev 247)
@@ -0,0 +1,28 @@
+
+// lernt Die Definition f\xFCr Automatikgetriebe in der C-Klasse
+// 
+
+
+refinement.ignoredConcepts = {"http://www.daimler.de/test#Automatik"};
+//refinement.ignoredConcepts = {"http://www.daimler.de/test#Automatik","http://www.daimler.de/test#Motor","http://www.daimler.de/test#Getriebe","http://www.daimler.de/test#Auto"};
+
+cli.checkSatisfiability = true;
+cli.showIndividuals = false;
+cli.showConcepts = true;
+cli.showRoles = true;
+cli.showSubsumptionHierarchy = false;
+
+problem = posOnlyDefinition;
+
+import("daimler.kb");
+//export ("daimler.owl");
+//java.lang.UnsupportedOperationException: Saving ontologies not yet implemented.
+
+
++"http://www.daimler.de/test#Getriebe_Automatik_7G-TRONIC_7_Gang_1"
++"http://www.daimler.de/test#Getriebe_Automatik_5_Gang_2"
++"http://www.daimler.de/test#Getriebe_Automatik_5_Gang_4"
++"http://www.daimler.de/test#Getriebe_Automatik_5_Gang_5"
++"http://www.daimler.de/test#Getriebe_Automatik_7G-TRONIC_7_Gang_6"
++"http://www.daimler.de/test#Getriebe_Automatik_7G-TRONIC_7_Gang_9"
+

Deleted: trunk/examples/daimler/daimler.conf
===================================================================
--- trunk/examples/daimler/daimler.conf	2007-10-19 09:31:37 UTC (rev 246)
+++ trunk/examples/daimler/daimler.conf	2007-10-19 09:40:13 UTC (rev 247)
@@ -1,102 +0,0 @@
-
-
-/** settings **/
- // reasoner settings
- reasoner = dig;
- digReasonerURL = "http://localhost:8081";
- useRetrievalForClassification = true;
- refinement.useDIGMultiInstanceChecks = twoChecks;
- 
- // algorithm settings
- algorithm = refinement;
- refinement.horizontalExpansionFactor = 0.6;
- refinement.quiet = false;
-  refinement.useTooWeakList = true;
- 
- // search tree protocol
- refinement.writeSearchTree = false;
- refinement.searchTreeFile = "searchTree.txt";
- 
- // control output
- showIndividuals = false;
- showConcepts = true;
- showRoles = true;
- showInternalKB = false;
-showSubsumptionHierarchy = true;
-//export("moral_complete_fixed_test.owl");
-
-refinement.ignoredConcepts = {"getriebe"};
-
-/**backgound knowledge**/
-
-//BOTTOM = (coupe AND (limousine AND (t-Modell AND (cabrio AND gelaendewagen )))).
-
-sportcoupe SUB coupe.
-
-/*Stoff SUB Polsterung.
-Leder SUB Polsterung.
-Ledernachbildung_ARTICO SUB Polsterung.
-Schwarzes_Polster SUB Polsterfarben.
-Alpakagraues_Polster SUB Polsterfarben.
-
-/*Iridiumsilber SUB Metalliclackierungen.
-Cubanitsilber SUB Metalliclackierungen.
-Jaspisblau SUB Metalliclackierungen.
-Cameolrot SUB Metalliclackierungen.*/
-
-
-/*
-// disjunct concepts
-(male AND female) SUB BOTTOM.
-
-Symmetric(married).
-Functional(married).
-
-// persons
-male(m1).
-male(m2).
-*/
-
-
-/*car_c220cdi_001
-engine_c220cdi_001
-getriebe_autotronic_001
-getriebe_manuell_5G_001
-getriebe_manuell_6G_001
-getriebe_7G-TRONIC_001*/
-
-negative(n).
-car(car_c220cdi_001).
-c_klasse(car_c220cdi_001).
-sportcoupe(car_c220cdi_001).
-engine(engine_c220cdi_001).
-
-gang_6(getriebe_autotronic_001).
-autotronic(getriebe_autotronic_001).
-automatikgetriebe(getriebe_autotronic_001).
-getriebe(getriebe_autotronic_001).
-
-gang_7(getriebe_7g_tronic_001).
-automatikgetriebe(getriebe_7g_tronic_001).
-getriebe(getriebe_7g_tronic_001).
-
-gang_5(getriebe_manuell_5g_001).
-mechanikgetriebe(getriebe_manuell_5g_001).
-getriebe(getriebe_manuell_5g_001).
-
-gang_6(getriebe_manuell_6g_001).
-mechanikgetriebe(getriebe_manuell_6g_001).
-getriebe(getriebe_manuell_6g_001).
-
-
-//positive
-
-+getriebe(getriebe_autotronic_001).
-+getriebe(getriebe_manuell_5g_001).
-+getriebe(getriebe_manuell_6g_001).
-+getriebe(getriebe_7g_tronic_001).
-
--getriebe(n).
-
-
-

Added: trunk/examples/daimler/daimler.kb
===================================================================
--- trunk/examples/daimler/daimler.kb	                        (rev 0)
+++ trunk/examples/daimler/daimler.kb	2007-10-19 09:40:13 UTC (rev 247)
@@ -0,0 +1,121 @@
+negative(n).
+"http://www.daimler.de/test#Auto"("http://www.daimler.de/test#Auto_C_180_Kompressor_T-Modell_0").
+"http://www.daimler.de/test#C_180_Kompressor"("http://www.daimler.de/test#Auto_C_180_Kompressor_T-Modell_0").
+"http://www.daimler.de/test#T-Modell"("http://www.daimler.de/test#Auto_C_180_Kompressor_T-Modell_0").
+"http://www.daimler.de/test#hatMotor"("http://www.daimler.de/test#Auto_C_180_Kompressor_T-Modell_0","http://www.daimler.de/test#Motor_Benzin_Super_R4_0").
+"http://www.daimler.de/test#Motor"("http://www.daimler.de/test#Motor_Benzin_Super_R4_0").
+"http://www.daimler.de/test#Benzin"("http://www.daimler.de/test#Motor_Benzin_Super_R4_0").
+"http://www.daimler.de/test#Super"("http://www.daimler.de/test#Motor_Benzin_Super_R4_0").
+"http://www.daimler.de/test#R4"("http://www.daimler.de/test#Motor_Benzin_Super_R4_0").
+"http://www.daimler.de/test#hatGetriebe"("http://www.daimler.de/test#Auto_C_180_Kompressor_T-Modell_0","http://www.daimler.de/test#Getriebe_Mechanik_6_Gang_0").
+"http://www.daimler.de/test#Getriebe"("http://www.daimler.de/test#Getriebe_Mechanik_6_Gang_0").
+"http://www.daimler.de/test#Mechanik"("http://www.daimler.de/test#Getriebe_Mechanik_6_Gang_0").
+"http://www.daimler.de/test#6_Gang"("http://www.daimler.de/test#Getriebe_Mechanik_6_Gang_0").
+"http://www.daimler.de/test#Auto"("http://www.daimler.de/test#Auto_C_320_CDI_4MATIC_Limousine_1").
+"http://www.daimler.de/test#C_320_CDI_4MATIC"("http://www.daimler.de/test#Auto_C_320_CDI_4MATIC_Limousine_1").
+"http://www.daimler.de/test#Limousine"("http://www.daimler.de/test#Auto_C_320_CDI_4MATIC_Limousine_1").
+"http://www.daimler.de/test#hatMotor"("http://www.daimler.de/test#Auto_C_320_CDI_4MATIC_Limousine_1","http://www.daimler.de/test#Motor_Diesel_V6_1").
+"http://www.daimler.de/test#Motor"("http://www.daimler.de/test#Motor_Diesel_V6_1").
+"http://www.daimler.de/test#Diesel"("http://www.daimler.de/test#Motor_Diesel_V6_1").
+"http://www.daimler.de/test#V6"("http://www.daimler.de/test#Motor_Diesel_V6_1").
+"http://www.daimler.de/test#hatGetriebe"("http://www.daimler.de/test#Auto_C_320_CDI_4MATIC_Limousine_1","http://www.daimler.de/test#Getriebe_Automatik_7G-TRONIC_7_Gang_1").
+"http://www.daimler.de/test#Getriebe"("http://www.daimler.de/test#Getriebe_Automatik_7G-TRONIC_7_Gang_1").
+"http://www.daimler.de/test#Automatik"("http://www.daimler.de/test#Getriebe_Automatik_7G-TRONIC_7_Gang_1").
+"http://www.daimler.de/test#7G-TRONIC"("http://www.daimler.de/test#Getriebe_Automatik_7G-TRONIC_7_Gang_1").
+"http://www.daimler.de/test#7_Gang"("http://www.daimler.de/test#Getriebe_Automatik_7G-TRONIC_7_Gang_1").
+"http://www.daimler.de/test#Auto"("http://www.daimler.de/test#Auto_C_200_Kompressor_Limousine_2").
+"http://www.daimler.de/test#C_200_Kompressor"("http://www.daimler.de/test#Auto_C_200_Kompressor_Limousine_2").
+"http://www.daimler.de/test#Limousine"("http://www.daimler.de/test#Auto_C_200_Kompressor_Limousine_2").
+"http://www.daimler.de/test#hatMotor"("http://www.daimler.de/test#Auto_C_200_Kompressor_Limousine_2","http://www.daimler.de/test#Motor_Benzin_Super_R4_2").
+"http://www.daimler.de/test#Motor"("http://www.daimler.de/test#Motor_Benzin_Super_R4_2").
+"http://www.daimler.de/test#Benzin"("http://www.daimler.de/test#Motor_Benzin_Super_R4_2").
+"http://www.daimler.de/test#Super"("http://www.daimler.de/test#Motor_Benzin_Super_R4_2").
+"http://www.daimler.de/test#R4"("http://www.daimler.de/test#Motor_Benzin_Super_R4_2").
+"http://www.daimler.de/test#hatGetriebe"("http://www.daimler.de/test#Auto_C_200_Kompressor_Limousine_2","http://www.daimler.de/test#Getriebe_Automatik_5_Gang_2").
+"http://www.daimler.de/test#Getriebe"("http://www.daimler.de/test#Getriebe_Automatik_5_Gang_2").
+"http://www.daimler.de/test#Automatik"("http://www.daimler.de/test#Getriebe_Automatik_5_Gang_2").
+"http://www.daimler.de/test#5_Gang"("http://www.daimler.de/test#Getriebe_Automatik_5_Gang_2").
+"http://www.daimler.de/test#Auto"("http://www.daimler.de/test#Auto_C_200_CDI_Sportcoupe_3").
+"http://www.daimler.de/test#C_200_CDI"("http://www.daimler.de/test#Auto_C_200_CDI_Sportcoupe_3").
+"http://www.daimler.de/test#Sportcoupe"("http://www.daimler.de/test#Auto_C_200_CDI_Sportcoupe_3").
+"http://www.daimler.de/test#hatMotor"("http://www.daimler.de/test#Auto_C_200_CDI_Sportcoupe_3","http://www.daimler.de/test#Motor_Diesel_R4_3").
+"http://www.daimler.de/test#Motor"("http://www.daimler.de/test#Motor_Diesel_R4_3").
+"http://www.daimler.de/test#Diesel"("http://www.daimler.de/test#Motor_Diesel_R4_3").
+"http://www.daimler.de/test#R4"("http://www.daimler.de/test#Motor_Diesel_R4_3").
+"http://www.daimler.de/test#hatGetriebe"("http://www.daimler.de/test#Auto_C_200_CDI_Sportcoupe_3","http://www.daimler.de/test#Getriebe_Mechanik_6_Gang_3").
+"http://www.daimler.de/test#Getriebe"("http://www.daimler.de/test#Getriebe_Mechanik_6_Gang_3").
+"http://www.daimler.de/test#Mechanik"("http://www.daimler.de/test#Getriebe_Mechanik_6_Gang_3").
+"http://www.daimler.de/test#6_Gang"("http://www.daimler.de/test#Getriebe_Mechanik_6_Gang_3").
+"http://www.daimler.de/test#Auto"("http://www.daimler.de/test#Auto_C_200_Kompressor_T-Modell_4").
+"http://www.daimler.de/test#C_200_Kompressor"("http://www.daimler.de/test#Auto_C_200_Kompressor_T-Modell_4").
+"http://www.daimler.de/test#T-Modell"("http://www.daimler.de/test#Auto_C_200_Kompressor_T-Modell_4").
+"http://www.daimler.de/test#hatMotor"("http://www.daimler.de/test#Auto_C_200_Kompressor_T-Modell_4","http://www.daimler.de/test#Motor_Benzin_Super_R4_4").
+"http://www.daimler.de/test#Motor"("http://www.daimler.de/test#Motor_Benzin_Super_R4_4").
+"http://www.daimler.de/test#Benzin"("http://www.daimler.de/test#Motor_Benzin_Super_R4_4").
+"http://www.daimler.de/test#Super"("http://www.daimler.de/test#Motor_Benzin_Super_R4_4").
+"http://www.daimler.de/test#R4"("http://www.daimler.de/test#Motor_Benzin_Super_R4_4").
+"http://www.daimler.de/test#hatGetriebe"("http://www.daimler.de/test#Auto_C_200_Kompressor_T-Modell_4","http://www.daimler.de/test#Getriebe_Automatik_5_Gang_4").
+"http://www.daimler.de/test#Getriebe"("http://www.daimler.de/test#Getriebe_Automatik_5_Gang_4").
+"http://www.daimler.de/test#Automatik"("http://www.daimler.de/test#Getriebe_Automatik_5_Gang_4").
+"http://www.daimler.de/test#5_Gang"("http://www.daimler.de/test#Getriebe_Automatik_5_Gang_4").
+"http://www.daimler.de/test#Auto"("http://www.daimler.de/test#Auto_C_220_CDI_Limousine_5").
+"http://www.daimler.de/test#C_220_CDI"("http://www.daimler.de/test#Auto_C_220_CDI_Limousine_5").
+"http://www.daimler.de/test#Limousine"("http://www.daimler.de/test#Auto_C_220_CDI_Limousine_5").
+"http://www.daimler.de/test#hatMotor"("http://www.daimler.de/test#Auto_C_220_CDI_Limousine_5","http://www.daimler.de/test#Motor_Diesel_R4_5").
+"http://www.daimler.de/test#Motor"("http://www.daimler.de/test#Motor_Diesel_R4_5").
+"http://www.daimler.de/test#Diesel"("http://www.daimler.de/test#Motor_Diesel_R4_5").
+"http://www.daimler.de/test#R4"("http://www.daimler.de/test#Motor_Diesel_R4_5").
+"http://www.daimler.de/test#hatGetriebe"("http://www.daimler.de/test#Auto_C_220_CDI_Limousine_5","http://www.daimler.de/test#Getriebe_Automatik_5_Gang_5").
+"http://www.daimler.de/test#Getriebe"("http://www.daimler.de/test#Getriebe_Automatik_5_Gang_5").
+"http://www.daimler.de/test#Automatik"("http://www.daimler.de/test#Getriebe_Automatik_5_Gang_5").
+"http://www.daimler.de/test#5_Gang"("http://www.daimler.de/test#Getriebe_Automatik_5_Gang_5").
+"http://www.daimler.de/test#Auto"("http://www.daimler.de/test#Auto_C_280_T-Modell_6").
+"http://www.daimler.de/test#C_280"("http://www.daimler.de/test#Auto_C_280_T-Modell_6").
+"http://www.daimler.de/test#T-Modell"("http://www.daimler.de/test#Auto_C_280_T-Modell_6").
+"http://www.daimler.de/test#hatMotor"("http://www.daimler.de/test#Auto_C_280_T-Modell_6","http://www.daimler.de/test#Motor_Benzin_Super_V6_6").
+"http://www.daimler.de/test#Motor"("http://www.daimler.de/test#Motor_Benzin_Super_V6_6").
+"http://www.daimler.de/test#Benzin"("http://www.daimler.de/test#Motor_Benzin_Super_V6_6").
+"http://www.daimler.de/test#Super"("http://www.daimler.de/test#Motor_Benzin_Super_V6_6").
+"http://www.daimler.de/test#V6"("http://www.daimler.de/test#Motor_Benzin_Super_V6_6").
+"http://www.daimler.de/test#hatGetriebe"("http://www.daimler.de/test#Auto_C_280_T-Modell_6","http://www.daimler.de/test#Getriebe_Automatik_7G-TRONIC_7_Gang_6").
+"http://www.daimler.de/test#Getriebe"("http://www.daimler.de/test#Getriebe_Automatik_7G-TRONIC_7_Gang_6").
+"http://www.daimler.de/test#Automatik"("http://www.daimler.de/test#Getriebe_Automatik_7G-TRONIC_7_Gang_6").
+"http://www.daimler.de/test#7G-TRONIC"("http://www.daimler.de/test#Getriebe_Automatik_7G-TRONIC_7_Gang_6").
+"http://www.daimler.de/test#7_Gang"("http://www.daimler.de/test#Getriebe_Automatik_7G-TRONIC_7_Gang_6").
+"http://www.daimler.de/test#Auto"("http://www.daimler.de/test#Auto_C_230_T-Modell_7").
+"http://www.daimler.de/test#C_230"("http://www.daimler.de/test#Auto_C_230_T-Modell_7").
+"http://www.daimler.de/test#T-Modell"("http://www.daimler.de/test#Auto_C_230_T-Modell_7").
+"http://www.daimler.de/test#hatMotor"("http://www.daimler.de/test#Auto_C_230_T-Modell_7","http://www.daimler.de/test#Motor_Benzin_Super_V6_7").
+"http://www.daimler.de/test#Motor"("http://www.daimler.de/test#Motor_Benzin_Super_V6_7").
+"http://www.daimler.de/test#Benzin"("http://www.daimler.de/test#Motor_Benzin_Super_V6_7").
+"http://www.daimler.de/test#Super"("http://www.daimler.de/test#Motor_Benzin_Super_V6_7").
+"http://www.daimler.de/test#V6"("http://www.daimler.de/test#Motor_Benzin_Super_V6_7").
+"http://www.daimler.de/test#hatGetriebe"("http://www.daimler.de/test#Auto_C_230_T-Modell_7","http://www.daimler.de/test#Getriebe_Mechanik_6_Gang_7").
+"http://www.daimler.de/test#Getriebe"("http://www.daimler.de/test#Getriebe_Mechanik_6_Gang_7").
+"http://www.daimler.de/test#Mechanik"("http://www.daimler.de/test#Getriebe_Mechanik_6_Gang_7").
+"http://www.daimler.de/test#6_Gang"("http://www.daimler.de/test#Getriebe_Mechanik_6_Gang_7").
+"http://www.daimler.de/test#Auto"("http://www.daimler.de/test#Auto_C_200_Kompressor_Limousine_8").
+"http://www.daimler.de/test#C_200_Kompressor"("http://www.daimler.de/test#Auto_C_200_Kompressor_Limousine_8").
+"http://www.daimler.de/test#Limousine"("http://www.daimler.de/test#Auto_C_200_Kompressor_Limousine_8").
+"http://www.daimler.de/test#hatMotor"("http://www.daimler.de/test#Auto_C_200_Kompressor_Limousine_8","http://www.daimler.de/test#Motor_Benzin_Super_R4_8").
+"http://www.daimler.de/test#Motor"("http://www.daimler.de/test#Motor_Benzin_Super_R4_8").
+"http://www.daimler.de/test#Benzin"("http://www.daimler.de/test#Motor_Benzin_Super_R4_8").
+"http://www.daimler.de/test#Super"("http://www.daimler.de/test#Motor_Benzin_Super_R4_8").
+"http://www.daimler.de/test#R4"("http://www.daimler.de/test#Motor_Benzin_Super_R4_8").
+"http://www.daimler.de/test#hatGetriebe"("http://www.daimler.de/test#Auto_C_200_Kompressor_Limousine_8","http://www.daimler.de/test#Getriebe_Mechanik_6_Gang_8").
+"http://www.daimler.de/test#Getriebe"("http://www.daimler.de/test#Getriebe_Mechanik_6_Gang_8").
+"http://www.daimler.de/test#Mechanik"("http://www.daimler.de/test#Getriebe_Mechanik_6_Gang_8").
+"http://www.daimler.de/test#6_Gang"("http://www.daimler.de/test#Getriebe_Mechanik_6_Gang_8").
+"http://www.daimler.de/test#Auto"("http://www.daimler.de/test#Auto_C_230_Limousine_9").
+"http://www.daimler.de/test#C_230"("http://www.daimler.de/test#Auto_C_230_Limousine_9").
+"http://www.daimler.de/test#Limousine"("http://www.daimler.de/test#Auto_C_230_Limousine_9").
+"http://www.daimler.de/test#hatMotor"("http://www.daimler.de/test#Auto_C_230_Limousine_9","http://www.daimler.de/test#Motor_Benzin_Super_V6_9").
+"http://www.daimler.de/test#Motor"("http://www.daimler.de/test#Motor_Benzin_Super_V6_9").
+"http://www.daimler.de/test#Benzin"("http://www.daimler.de/test#Motor_Benzin_Super_V6_9").
+"http://www.daimler.de/test#Super"("http://www.daimler.de/test#Motor_Benzin_Super_V6_9").
+"http://www.daimler.de/test#V6"("http://www.daimler.de/test#Motor_Benzin_Super_V6_9").
+"http://www.daimler.de/test#hatGetriebe"("http://www.daimler.de/test#Auto_C_230_Limousine_9","http://www.daimler.de/test#Getriebe_Automatik_7G-TRONIC_7_Gang_9").
+"http://www.daimler.de/test#Getriebe"("http://www.daimler.de/test#Getriebe_Automatik_7G-TRONIC_7_Gang_9").
+"http://www.daimler.de/test#Automatik"("http://www.daimler.de/test#Getriebe_Automatik_7G-TRONIC_7_Gang_9").
+"http://www.daimler.de/test#7G-TRONIC"("http://www.daimler.de/test#Getriebe_Automatik_7G-TRONIC_7_Gang_9").
+"http://www.daimler.de/test#7_Gang"("http://www.daimler.de/test#Getriebe_Automatik_7G-TRONIC_7_Gang_9").

Deleted: trunk/examples/daimler/motor.conf
===================================================================
--- trunk/examples/daimler/motor.conf	2007-10-19 09:31:37 UTC (rev 246)
+++ trunk/examples/daimler/motor.conf	2007-10-19 09:40:13 UTC (rev 247)
@@ -1,15 +0,0 @@
-// learn superclass of super
-
-problem = posNegInclusion;
-
-import("motor.kb");
-
-// pos examples: everything belonging to the superclass
-+s1
-+s2
-+b1
-+b2
-// neg. examples: everything else
--d1
--d2
--d3
\ No newline at end of file

Deleted: trunk/examples/daimler/motor.kb
===================================================================
--- trunk/examples/daimler/motor.kb	2007-10-19 09:31:37 UTC (rev 246)
+++ trunk/examples/daimler/motor.kb	2007-10-19 09:40:13 UTC (rev 247)
@@ -1,10 +0,0 @@
-// disjoint classes
-(diesel AND benzin) = BOTTOM.
-
-diesel(d1).
-diesel(d2).
-diesel(d3).
-super(s1).
-super(s2).
-benzin(b1).
-benzin(b2).
\ No newline at end of file


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