initial version

1 files changed, 38 insertions, 0 deletions

diff --git a/test/uk/ac/ox/cs/pagoda/approx/ClauseTester.java b/test/uk/ac/ox/cs/pagoda/approx/ClauseTester.java
new file mode 100644
index 0000000..cff1d1c
--- /dev/null
+++ b/test/uk/ac/ox/cs/pagoda/approx/ClauseTester.java
@@ -0,0 +1,38 @@
+package uk.ac.ox.cs.pagoda.approx;
+
+import org.semanticweb.HermiT.model.DLClause;
+import org.semanticweb.owlapi.model.OWLOntology;
+
+import uk.ac.ox.cs.pagoda.constraints.NullaryBottom;
+import uk.ac.ox.cs.pagoda.owl.OWLHelper;
+import uk.ac.ox.cs.pagoda.rules.GeneralProgram;
+
+public class ClauseTester {
+
+        public static void main(String... args) {
+                args = new String[] {
+//                              "/home/yzhou/krr-nas-share/Yujiao/ontologies/bio2rdf/chembl/cco-noDPR.ttl", 
+                                "/home/yzhou/krr-nas-share/Yujiao/ontologies/bio2rdf/reactome/biopax-level3-processed.owl", 
+//                              "/media/krr-nas-share/Yujiao/ontologies/bio2rdf/atlas/gxaterms.owl", 
+//                              "/media/krr-nas-share/Yujiao/ontologies/bio2rdf/uniprot/core-sat-processed.owl",
+//                              PagodaTester.npd_tbox,
+//                              "/users/yzhou/temp/ontologies/core.RLor.rdf",
+//                              "datatype.owl" 
+                }; 
+                
+                String ontoFile = args[0];   
+                OWLOntology ontology = OWLHelper.loadOntology(ontoFile);  
+                GeneralProgram program = new GeneralProgram();; 
+                program.load(ontology, new NullaryBottom());
+                program.transform();
+                program.save();
+                if (program instanceof GeneralProgram) {
+                        GeneralProgram gp = ((GeneralProgram) program); 
+                        for (DLClause clause: gp.getClauses()) {
+                                System.out.println(clause);
+                                System.out.println(OWLHelper.getOWLAxiom(ontology, clause)); 
+                        }
+                }
+        }
+        
+}