initial version

1 files changed, 24 insertions, 0 deletions

diff --git a/src/uk/ac/ox/cs/pagoda/rules/OverApproxBoth.java b/src/uk/ac/ox/cs/pagoda/rules/OverApproxBoth.java
new file mode 100644
index 0000000..3cc2aba
--- /dev/null
+++ b/src/uk/ac/ox/cs/pagoda/rules/OverApproxBoth.java
@@ -0,0 +1,24 @@
+package uk.ac.ox.cs.pagoda.rules;
+
+import java.util.Collection;
+import java.util.LinkedList;
+
+import org.semanticweb.HermiT.model.AtLeastDataRange;
+import org.semanticweb.HermiT.model.DLClause;
+
+public class OverApproxBoth implements Approximator {
+        
+        Approximator approxDist = new OverApproxDisj(), approxExist = new OverApproxExist();
+                
+        @Override
+        public Collection<DLClause> convert(DLClause clause, DLClause originalClause) {
+                Collection<DLClause> ret = new LinkedList<DLClause>(); 
+                for (DLClause tClause: approxDist.convert(clause, originalClause)) {
+                        if (tClause.getHeadLength() > 0 && tClause.getHeadAtom(0).getDLPredicate() instanceof AtLeastDataRange) 
+                                continue; 
+                        ret.addAll(approxExist.convert(tClause, originalClause)); 
+                }
+                return ret; 
+        }
+                
+}