[DL-Learner SVN] SF.net SVN: dl-learner: [791] trunk/src/dl-learner/org/dllearner/examples

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

Revision: 791
          http://dl-learner.svn.sourceforge.net/dl-learner/?rev=791&view=rev
Author:   kurzum
Date:     2008-04-16 00:51:44 -0700 (Wed, 16 Apr 2008)

Log Message:
-----------
small fix

Modified Paths:
--------------
    trunk/src/dl-learner/org/dllearner/examples/KRKModular.java
    trunk/src/dl-learner/org/dllearner/examples/KRKOntologyTBox.java

Modified: trunk/src/dl-learner/org/dllearner/examples/KRKModular.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/examples/KRKModular.java	2008-04-16 06:07:17 UTC (rev 790)
+++ trunk/src/dl-learner/org/dllearner/examples/KRKModular.java	2008-04-16 07:51:44 UTC (rev 791)
@@ -72,6 +72,7 @@
 	
 	static String workingDir = "examples/krk/";
 	static String allData = workingDir+"krkopt_no_draw.data";
+	//static String allData = workingDir+"krkopt_original_dataset.data";
 	
 	static URI ontologyURI = KRKOntologyTBox.ontologyURI;
 	
@@ -84,7 +85,7 @@
 	static HashMap<Individual, String> indToClass = new HashMap<Individual, String>();
 	
 	static Set<ReasonerComponent> allReasoners =  new HashSet<ReasonerComponent>();
-	static int negativeExamplesAdded = 300;
+	static int negativeExamplesAdded = 200;
 	
 	// static LinkedList<String> words;
 	public KB kb;
@@ -301,7 +302,7 @@
 			String line = "";
 			int x = 0;
 			while ((line = in.readLine()) != null) {
-				if (x % 10000 == 0)
+				if (x % 1000 == 0)
 					{sc.print("Currently at line " + x+" : ");}
 				km.addOneLineToKBinit(x, line);
 				if(x%1000==0 && x!=0){
@@ -309,12 +310,13 @@
 					allReasoners.add(km.reasoner);
 					km = new KRKModular();
 				}
-				if(x==26000)break;
+				//if(x==200)break;
 				x++;
 			}// endWhile
 			
 			km.initReasonerFact();
 			allReasoners.add(km.reasoner);
+			km.writeOWLFile();
 			km = null;
 			
 			
@@ -466,16 +468,16 @@
 			// RANKS are numbers
 			
 			//WKing
-			kb.addABoxAxiom(new ClassAssertionAxiom(getAtomicConcept(ar[0].toUpperCase()), wkingind));
-			kb.addABoxAxiom(new ClassAssertionAxiom(getAtomicConcept("F"+ar[1]) , wkingind));
+			kb.addABoxAxiom(new ClassAssertionAxiom(getAtomicConcept("File"+ar[0].toUpperCase()), wkingind));
+			kb.addABoxAxiom(new ClassAssertionAxiom(getAtomicConcept("Rank"+ar[1]) , wkingind));
 			
 			//WRook
-			kb.addABoxAxiom(new ClassAssertionAxiom(getAtomicConcept(ar[2].toUpperCase()), wrookind));
-			kb.addABoxAxiom(new ClassAssertionAxiom(getAtomicConcept("F"+ar[3])	, wrookind));
+			kb.addABoxAxiom(new ClassAssertionAxiom(getAtomicConcept("File"+ar[2].toUpperCase()), wrookind));
+			kb.addABoxAxiom(new ClassAssertionAxiom(getAtomicConcept("Rank"+ar[3])	, wrookind));
 			
 			//BKing
-			kb.addABoxAxiom(new ClassAssertionAxiom(getAtomicConcept(ar[4].toUpperCase()), bkingind));
-			kb.addABoxAxiom(new ClassAssertionAxiom(getAtomicConcept("F"+ar[5]), bkingind));
+			kb.addABoxAxiom(new ClassAssertionAxiom(getAtomicConcept("File"+ar[4].toUpperCase()), bkingind));
+			kb.addABoxAxiom(new ClassAssertionAxiom(getAtomicConcept("Rank"+ar[5]), bkingind));
 			
 		
 			

Modified: trunk/src/dl-learner/org/dllearner/examples/KRKOntologyTBox.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/examples/KRKOntologyTBox.java	2008-04-16 06:07:17 UTC (rev 790)
+++ trunk/src/dl-learner/org/dllearner/examples/KRKOntologyTBox.java	2008-04-16 07:51:44 UTC (rev 791)
@@ -101,10 +101,10 @@
 		kb.addTBoxAxiom(new SubClassAxiom(WRook, Piece));
 		kb.addTBoxAxiom(new SubClassAxiom(BKing, Piece));
 		
-		String[] letters=new String[]{"A","B","C","D","E","F","G","H"};
+		String[] letters=new String[]{"FileA","FileB","FileC","FileD","FileE","FileF","FileG","FileH"};
 		String[] numbers=new String[8];
 		for (int i = 0; i < numbers.length; i++) {
-			numbers[i]="F"+(i+1);
+			numbers[i]="Rank"+(i+1);
 		}
 		//System.out.println(numbers);
 		


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