Added classes for implementing new upper store (Limited Skolemisation).

Started implementation of the new classes.

1 files changed, 16 insertions, 0 deletions

diff --git a/src/uk/ac/ox/cs/pagoda/rules/TupleDependentApproximator.java b/src/uk/ac/ox/cs/pagoda/rules/TupleDependentApproximator.java
new file mode 100644
index 0000000..63057c4
--- /dev/null
+++ b/src/uk/ac/ox/cs/pagoda/rules/TupleDependentApproximator.java
@@ -0,0 +1,16 @@
+package uk.ac.ox.cs.pagoda.rules;
+
+import org.semanticweb.HermiT.model.DLClause;
+import uk.ac.ox.cs.pagoda.multistage.AnswerTupleID;
+
+import java.util.Collection;
+
+/**
+ * It approximates rules according to a specific instantiation of the body.
+ */
+public interface TupleDependentApproximator {
+
+    Collection<DLClause> convert(DLClause clause,
+                                 DLClause originalClause,
+                                 Collection<AnswerTupleID> violationTuples);
+}