initial version

1 files changed, 46 insertions, 0 deletions

diff --git a/src/uk/ac/ox/cs/pagoda/rules/UpperDatalogProgram.java b/src/uk/ac/ox/cs/pagoda/rules/UpperDatalogProgram.java
new file mode 100644
index 0000000..a4cd790
--- /dev/null
+++ b/src/uk/ac/ox/cs/pagoda/rules/UpperDatalogProgram.java
@@ -0,0 +1,46 @@
+package uk.ac.ox.cs.pagoda.rules;
+
+import java.util.Collection;
+import java.util.HashMap;
+import java.util.Map;
+
+import org.semanticweb.HermiT.model.DLClause;
+import org.semanticweb.HermiT.model.DLPredicate;
+
+
+public class UpperDatalogProgram extends UpperProgram {
+        
+        public UpperDatalogProgram() {}
+
+//      @Override
+//      public String getDirectory() {
+//              File dir = new File(ontologyDirectory + Utility.FILE_SEPARATOR + "datalog");
+//              if (!dir.exists())
+//                      dir.mkdirs();
+//              return dir.getPath();
+//      }
+
+        @Override
+        protected void initApproximator() {
+                m_approx = new OverApproxBoth();                
+        }
+
+        public int getBottomNumber() {
+                return botStrategy.getBottomNumber();
+        }
+
+        public void updateDependencyGraph(Collection<DLClause> delta) {
+                Map<DLPredicate, DLClause> map = new HashMap<DLPredicate, DLClause>(); 
+                for (DLClause clause: clauses) 
+                        if (botStrategy.isBottomRule(clause))
+                                map.put(clause.getHeadAtom(0).getDLPredicate(), getCorrespondingClause(clause)); 
+                
+                for (DLClause clause: delta) {
+                        clauses.add(clause); 
+                        correspondence.put(clause, map.get(clause.getBodyAtom(0).getDLPredicate())); 
+                }
+                        
+                dependencyGraph.update(delta); 
+        }
+
+}