Implementing Limited Skolemisation, in particular SkolemTermsDispenser.

1 files changed, 0 insertions, 24 deletions

diff --git a/src/uk/ac/ox/cs/pagoda/rules/OverApproxBoth.java b/src/uk/ac/ox/cs/pagoda/rules/OverApproxBoth.java
deleted file mode 100644
index 3cc2aba..0000000
--- a/src/uk/ac/ox/cs/pagoda/rules/OverApproxBoth.java
+++ /dev/null
@@ -1,24 +0,0 @@
-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; 
-        }
-                
-}