initial version

1 files changed, 49 insertions, 0 deletions

diff --git a/src/uk/ac/ox/cs/pagoda/rules/GeneralProgram.java b/src/uk/ac/ox/cs/pagoda/rules/GeneralProgram.java
new file mode 100644
index 0000000..38fa494
--- /dev/null
+++ b/src/uk/ac/ox/cs/pagoda/rules/GeneralProgram.java
@@ -0,0 +1,49 @@
+package uk.ac.ox.cs.pagoda.rules;
+
+import java.util.Collection;
+import java.util.Collections;
+import java.util.Set;
+
+import org.semanticweb.HermiT.model.DLClause;
+import org.semanticweb.owlapi.model.OWLOntology;
+import uk.ac.ox.cs.pagoda.constraints.UnaryBottom;
+
+public class GeneralProgram extends Program {
+        
+        public GeneralProgram(Set<DLClause> relevantClauses, OWLOntology relevantOntology) {
+                ontology = relevantOntology;
+                
+                ontologyDirectory = null; 
+                dlOntology = null; 
+                botStrategy = new UnaryBottom(); 
+                
+                clauses = botStrategy.process(relevantClauses); 
+        }
+
+        public GeneralProgram() {}
+
+        public Collection<DLClause> convert2Clauses(DLClause clause) {
+                return botStrategy.process(Collections.singleton(clause));
+        }
+
+        @Override
+        public String getOutputPath() {
+                return getDirectory() + "rules.dlog";
+        }
+
+//      @Override
+//      public String getDirectory() {
+//              File dir = new File(ontologyDirectory + Utility.FILE_SEPARATOR + "general");
+//              if (!dir.exists())
+//                      dir.mkdirs();
+//              return dir.getPath();
+//      }
+
+        public boolean isHorn() {
+                for (DLClause clause: clauses)
+                        if (clause.getHeadLength() > 1)
+                                return false;
+                return true; 
+        }
+
+}