From 2e069a4966e6305194c4168d6fc5c406123d7f64 Mon Sep 17 00:00:00 2001
From: RncLsn <rnc.lsn@gmail.com>
Date: Thu, 28 May 2015 10:29:11 +0100
Subject: NOT-WORKING: trying to add query-dependent Skolemisation.

---
 .../ox/cs/pagoda/reasoner/IterativeRefinement.java | 26 ++++++++++------------
 1 file changed, 12 insertions(+), 14 deletions(-)

(limited to 'src/uk/ac/ox/cs/pagoda/reasoner/IterativeRefinement.java')

diff --git a/src/uk/ac/ox/cs/pagoda/reasoner/IterativeRefinement.java b/src/uk/ac/ox/cs/pagoda/reasoner/IterativeRefinement.java
index 447a92d..7847e7c 100644
--- a/src/uk/ac/ox/cs/pagoda/reasoner/IterativeRefinement.java
+++ b/src/uk/ac/ox/cs/pagoda/reasoner/IterativeRefinement.java
@@ -1,9 +1,6 @@
 package uk.ac.ox.cs.pagoda.reasoner;
 
-import java.io.File;
-
 import org.semanticweb.owlapi.model.OWLOntology;
-
 import uk.ac.ox.cs.pagoda.constraints.BottomStrategy;
 import uk.ac.ox.cs.pagoda.constraints.UpperUnaryBottom;
 import uk.ac.ox.cs.pagoda.multistage.MultiStageQueryEngine;
@@ -14,6 +11,8 @@ import uk.ac.ox.cs.pagoda.rules.GeneralProgram;
 import uk.ac.ox.cs.pagoda.tracking.QueryTracker;
 import uk.ac.ox.cs.pagoda.util.Utility;
 
+import java.io.File;
+
 public class IterativeRefinement {
 	
 	private static final int depthLimit = 1; 
@@ -23,16 +22,15 @@ public class IterativeRefinement {
 	BasicQueryEngine m_trackingStore;
 	QueryRecord[] botQueryRecords;  
 	
-	int m_depth = 0; 
-
+	int m_depth = 0;
+	String tempDataFile = "temp.ttl";
+	
 	public IterativeRefinement(QueryRecord queryRecord, QueryTracker tracker, BasicQueryEngine trackingStore, QueryRecord[] botQueryRecords) {
-		m_record = queryRecord; 		
-		m_tracker = tracker; 
+		m_record = queryRecord;
+		m_tracker = tracker;
 		m_trackingStore = trackingStore;
-		this.botQueryRecords = botQueryRecords; 
+		this.botQueryRecords = botQueryRecords;
 	}
-	
-	String tempDataFile = "temp.ttl"; 
 
 	public OWLOntology extractWithFullABox(String dataset, BottomStrategy upperBottom) {
 		GeneralProgram program; 
@@ -58,8 +56,8 @@ public class IterativeRefinement {
 			} finally {
 				tEngine.dispose();
 			}
-			
-			if (m_record.processed())
+
+			if(m_record.isProcessed())
 				return null;
 			
 			if (!update) break; 
@@ -95,8 +93,8 @@ public class IterativeRefinement {
 			} finally {
 				tEngine.dispose();
 			}
-			
-			if (m_record.processed())
+
+			if(m_record.isProcessed())
 				return null;
 			
 			if (!update) break; 
-- 
cgit v1.2.3