From 7e0ecc07285209e65f9d4d022065d06a4997fc86 Mon Sep 17 00:00:00 2001 From: RncLsn Date: Wed, 13 May 2015 11:57:06 +0100 Subject: Implementing Limited Skolemisation, in particular SkolemTermsDispenser. --- src/uk/ac/ox/cs/pagoda/rules/OverApproxBoth.java | 24 ------------------------ 1 file changed, 24 deletions(-) delete mode 100644 src/uk/ac/ox/cs/pagoda/rules/OverApproxBoth.java (limited to 'src/uk/ac/ox/cs/pagoda/rules/OverApproxBoth.java') 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 convert(DLClause clause, DLClause originalClause) { - Collection ret = new LinkedList(); - 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; - } - -} -- cgit v1.2.3