initial version

1 files changed, 19 insertions, 0 deletions

diff --git a/src/uk/ac/ox/cs/pagoda/constraints/BottomStrategy.java b/src/uk/ac/ox/cs/pagoda/constraints/BottomStrategy.java
new file mode 100644
index 0000000..4d25593
--- /dev/null
+++ b/src/uk/ac/ox/cs/pagoda/constraints/BottomStrategy.java
@@ -0,0 +1,19 @@
+package uk.ac.ox.cs.pagoda.constraints;
+
+import java.util.Collection;
+
+import org.semanticweb.HermiT.model.Atom;
+import org.semanticweb.HermiT.model.DLClause;
+import org.semanticweb.HermiT.model.Term;
+
+public interface BottomStrategy {
+
+        public Collection<DLClause> process(Collection<DLClause> clauses);
+        
+        public boolean isBottomRule(DLClause clause);
+        
+        public Atom[] getEmptyHead(Term t);
+
+        public int getBottomNumber(); 
+
+}