From 6fd8b21066852cbc21e247e7cf0a2f423ebc1658 Mon Sep 17 00:00:00 2001
From: RncLsn <rnc.lsn@gmail.com>
Date: Wed, 13 May 2015 19:22:07 +0100
Subject: Fast implementation of all the other things to get something working,
 but it doesn't.

---
 .../ox/cs/pagoda/reasoner/ConsistencyManager.java  | 31 +++++++++++++++++-----
 1 file changed, 24 insertions(+), 7 deletions(-)

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

diff --git a/src/uk/ac/ox/cs/pagoda/reasoner/ConsistencyManager.java b/src/uk/ac/ox/cs/pagoda/reasoner/ConsistencyManager.java
index 9b862ce..d179d14 100644
--- a/src/uk/ac/ox/cs/pagoda/reasoner/ConsistencyManager.java
+++ b/src/uk/ac/ox/cs/pagoda/reasoner/ConsistencyManager.java
@@ -1,7 +1,5 @@
 package uk.ac.ox.cs.pagoda.reasoner;
 
-import java.util.LinkedList;
-
 import org.semanticweb.HermiT.model.Atom;
 import org.semanticweb.HermiT.model.AtomicConcept;
 import org.semanticweb.HermiT.model.DLClause;
@@ -9,7 +7,9 @@ import org.semanticweb.HermiT.model.Variable;
 import org.semanticweb.owlapi.model.OWLOntology;
 import org.semanticweb.owlapi.model.OWLOntologyCreationException;
 import org.semanticweb.owlapi.model.OWLOntologyManager;
-
+import uk.ac.ox.cs.JRDFox.JRDFStoreException;
+import uk.ac.ox.cs.JRDFox.store.DataStore;
+import uk.ac.ox.cs.JRDFox.store.DataStore.UpdateType;
 import uk.ac.ox.cs.pagoda.hermit.DLClauseHelper;
 import uk.ac.ox.cs.pagoda.query.AnswerTuples;
 import uk.ac.ox.cs.pagoda.query.QueryManager;
@@ -21,9 +21,8 @@ import uk.ac.ox.cs.pagoda.tracking.QueryTracker;
 import uk.ac.ox.cs.pagoda.tracking.TrackingRuleEncoder;
 import uk.ac.ox.cs.pagoda.util.Timer;
 import uk.ac.ox.cs.pagoda.util.Utility;
-import uk.ac.ox.cs.JRDFox.JRDFStoreException;
-import uk.ac.ox.cs.JRDFox.store.DataStore;
-import uk.ac.ox.cs.JRDFox.store.DataStore.UpdateType;
+
+import java.util.LinkedList;
 
 public class ConsistencyManager {
 
@@ -85,6 +84,23 @@ public class ConsistencyManager {
 		}
 		return false; 
 	}
+
+	boolean checkSkolemUpper() {
+		if (m_reasoner.limitedSkolemUpperStore != null) {
+			AnswerTuples tuples = null;
+			try {
+				tuples = m_reasoner.limitedSkolemUpperStore.evaluate(fullQueryRecord.getQueryText(), fullQueryRecord.getAnswerVariables());
+				if (!tuples.isValid()) {
+					Utility.logInfo("There are no contradictions derived in the limited-skolem upper bound materialisation.");
+					return satisfiability(t.duration());
+				}
+			}
+			finally {
+				if (tuples != null) tuples.dispose();
+			}
+		}
+		return false;
+	}
 	
 	boolean check() {
 //		if (!checkRLLowerBound()) return false; 
@@ -288,5 +304,6 @@ public class ConsistencyManager {
 	public QueryRecord[] getQueryRecords() {
 		return botQueryRecords; 
 	}
-	
+
+
 }
-- 
cgit v1.2.3