aboutsummaryrefslogtreecommitdiff
path: root/test/uk/ac/ox/cs/pagoda/tester/ORETester.java
diff options
context:
space:
mode:
Diffstat (limited to 'test/uk/ac/ox/cs/pagoda/tester/ORETester.java')
-rw-r--r--test/uk/ac/ox/cs/pagoda/tester/ORETester.java29
1 files changed, 29 insertions, 0 deletions
diff --git a/test/uk/ac/ox/cs/pagoda/tester/ORETester.java b/test/uk/ac/ox/cs/pagoda/tester/ORETester.java
new file mode 100644
index 0000000..1092d6f
--- /dev/null
+++ b/test/uk/ac/ox/cs/pagoda/tester/ORETester.java
@@ -0,0 +1,29 @@
1package uk.ac.ox.cs.pagoda.tester;
2
3import org.semanticweb.owlapi.model.OWLOntology;
4
5import uk.ac.ox.cs.pagoda.owl.OWLHelper;
6import uk.ac.ox.cs.pagoda.reasoner.QueryReasoner;
7
8public class ORETester {
9
10 public static void main(String... args) {
11// args = new String[] { "/home/yzhou/krr-nas-share/Yujiao/ontologies/ORE2014/DL/00a1118a-5420-46f0-b4b2-a2585165b28a_ePizza.owl" };
12// args = new String[] { "/home/yzhou/krr-nas-share/Yujiao/ontologies/ORE2014/DL/77de15c6-cc39-4960-a38a-e35e487d52b0_owl%2Fcoma" };
13// args = new String[] { "/home/yzhou/krr-nas-share/Yujiao/ontologies/ORE2014/DL/wine_nodatatype.owl" };
14
15// args = new String[] { "/home/yzhou/krr-nas-share/Yujiao/ontologies/ORE2014/EL/b7700fe1-103b-4b32-a21c-f6604a763ba5_t-cell.owl" };
16 args = new String[] { "/home/yzhou/krr-nas-share/Yujiao/ontologies/ORE2014/EL/baa29363-f93c-4285-827e-0e2380c82efc_cations.n3" };
17
18
19 OWLOntology ontology = OWLHelper.loadOntology(args[0]);
20 QueryReasoner pagoda = QueryReasoner.getInstance(ontology);
21 System.out.println(pagoda);
22 pagoda.loadOntology(ontology);
23 if (pagoda.preprocess())
24 System.out.println("The ontology is consistent!");
25 else
26 System.out.println("The ontology is inconsistent!");
27 }
28
29}