initial version

1 files changed, 18 insertions, 0 deletions

diff --git a/src/uk/ac/ox/cs/pagoda/rules/ExistentialProgram.java b/src/uk/ac/ox/cs/pagoda/rules/ExistentialProgram.java
new file mode 100644
index 0000000..64d018f
--- /dev/null
+++ b/src/uk/ac/ox/cs/pagoda/rules/ExistentialProgram.java
@@ -0,0 +1,18 @@
+package uk.ac.ox.cs.pagoda.rules;
+
+public class ExistentialProgram extends UpperProgram {
+
+//      @Override
+//      public String getDirectory() {
+//              File dir = new File(ontologyDirectory + Utility.FILE_SEPARATOR + "existential");
+//              if (!dir.exists())
+//                      dir.mkdirs();
+//              return dir.getPath(); 
+//      }
+
+        @Override
+        protected void initApproximator() {
+                m_approx = new OverApproxDisj();                
+        }
+
+}