diff options
Diffstat (limited to 'test/uk/ac/ox/cs/pagoda/tester/ORETester.java')
| -rw-r--r-- | test/uk/ac/ox/cs/pagoda/tester/ORETester.java | 29 |
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 @@ | |||
| 1 | package uk.ac.ox.cs.pagoda.tester; | ||
| 2 | |||
| 3 | import org.semanticweb.owlapi.model.OWLOntology; | ||
| 4 | |||
| 5 | import uk.ac.ox.cs.pagoda.owl.OWLHelper; | ||
| 6 | import uk.ac.ox.cs.pagoda.reasoner.QueryReasoner; | ||
| 7 | |||
| 8 | public 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 | } | ||
