diff options
Diffstat (limited to 'src/uk/ac/ox/cs/pagoda/rules/Approximator.java')
| -rw-r--r-- | src/uk/ac/ox/cs/pagoda/rules/Approximator.java | 8 |
1 files changed, 4 insertions, 4 deletions
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 @@ | |||
| 1 | package uk.ac.ox.cs.pagoda.rules; | 1 | package uk.ac.ox.cs.pagoda.rules; |
| 2 | 2 | ||
| 3 | import java.util.Collection; | ||
| 4 | import java.util.LinkedList; | ||
| 5 | |||
| 6 | import org.semanticweb.HermiT.model.AtLeast; | 3 | import org.semanticweb.HermiT.model.AtLeast; |
| 7 | import org.semanticweb.HermiT.model.Atom; | 4 | import org.semanticweb.HermiT.model.Atom; |
| 8 | import org.semanticweb.HermiT.model.DLClause; | 5 | import org.semanticweb.HermiT.model.DLClause; |
| 9 | import org.semanticweb.HermiT.model.DLPredicate; | 6 | import org.semanticweb.HermiT.model.DLPredicate; |
| 10 | 7 | ||
| 8 | import java.util.Collection; | ||
| 9 | import java.util.LinkedList; | ||
| 10 | |||
| 11 | public interface Approximator { | 11 | public interface Approximator { |
| 12 | 12 | ||
| 13 | public Collection<DLClause> convert(DLClause clause, DLClause originalClause); | 13 | Collection<DLClause> convert(DLClause clause, DLClause originalClause); |
| 14 | 14 | ||
| 15 | } | 15 | } |
| 16 | 16 | ||
