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/UpperDatalogProgram.java | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) (limited to 'src/uk/ac/ox/cs/pagoda/rules/UpperDatalogProgram.java') diff --git a/src/uk/ac/ox/cs/pagoda/rules/UpperDatalogProgram.java b/src/uk/ac/ox/cs/pagoda/rules/UpperDatalogProgram.java index a4cd790..611e183 100644 --- a/src/uk/ac/ox/cs/pagoda/rules/UpperDatalogProgram.java +++ b/src/uk/ac/ox/cs/pagoda/rules/UpperDatalogProgram.java @@ -1,12 +1,13 @@ package uk.ac.ox.cs.pagoda.rules; +import org.semanticweb.HermiT.model.DLClause; +import org.semanticweb.HermiT.model.DLPredicate; +import uk.ac.ox.cs.pagoda.rules.approximators.OverApproxBoth; + 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 { @@ -22,7 +23,7 @@ public class UpperDatalogProgram extends UpperProgram { @Override protected void initApproximator() { - m_approx = new OverApproxBoth(); + m_approx = new OverApproxBoth(); } public int getBottomNumber() { -- cgit v1.2.3