From 4fe4ca32d8f45807ab881b6fb8e814842dad0ec6 Mon Sep 17 00:00:00 2001 From: RncLsn Date: Mon, 11 May 2015 18:00:57 +0100 Subject: Adding (not completed) a new upper bound technique, namely Limited Skolemisation. --- src/uk/ac/ox/cs/pagoda/rules/Approximator.java | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'src/uk/ac/ox/cs/pagoda/rules/Approximator.java') diff --git a/src/uk/ac/ox/cs/pagoda/rules/Approximator.java b/src/uk/ac/ox/cs/pagoda/rules/Approximator.java index b2edd56..66e676b 100644 --- a/src/uk/ac/ox/cs/pagoda/rules/Approximator.java +++ b/src/uk/ac/ox/cs/pagoda/rules/Approximator.java @@ -1,16 +1,16 @@ package uk.ac.ox.cs.pagoda.rules; -import java.util.Collection; -import java.util.LinkedList; - import org.semanticweb.HermiT.model.AtLeast; import org.semanticweb.HermiT.model.Atom; import org.semanticweb.HermiT.model.DLClause; import org.semanticweb.HermiT.model.DLPredicate; +import java.util.Collection; +import java.util.LinkedList; + public interface Approximator { - public Collection convert(DLClause clause, DLClause originalClause); + Collection convert(DLClause clause, DLClause originalClause); } -- cgit v1.2.3