From 9ce65c5a963b03ee97fe9cb6c5aa65a3c04a80a8 Mon Sep 17 00:00:00 2001
From: yzhou <yujiao.zhou@gmail.com>
Date: Tue, 21 Apr 2015 10:34:27 +0100
Subject: initial version

---
 test/uk/ac/ox/cs/pagoda/approx/ClauseTester.java | 38 ++++++++++++++++++++++++
 1 file changed, 38 insertions(+)
 create mode 100644 test/uk/ac/ox/cs/pagoda/approx/ClauseTester.java

(limited to 'test/uk/ac/ox/cs/pagoda/approx/ClauseTester.java')

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)); 
+			}
+		}
+	}
+	
+}
-- 
cgit v1.2.3