From 9ce65c5a963b03ee97fe9cb6c5aa65a3c04a80a8 Mon Sep 17 00:00:00 2001 From: yzhou Date: Tue, 21 Apr 2015 10:34:27 +0100 Subject: initial version --- test/uk/ac/ox/cs/pagoda/tester/ORETester.java | 29 +++++++++++++++++++++++++++ 1 file changed, 29 insertions(+) create mode 100644 test/uk/ac/ox/cs/pagoda/tester/ORETester.java (limited to 'test/uk/ac/ox/cs/pagoda/tester/ORETester.java') 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 @@ +package uk.ac.ox.cs.pagoda.tester; + +import org.semanticweb.owlapi.model.OWLOntology; + +import uk.ac.ox.cs.pagoda.owl.OWLHelper; +import uk.ac.ox.cs.pagoda.reasoner.QueryReasoner; + +public class ORETester { + + public static void main(String... args) { +// args = new String[] { "/home/yzhou/krr-nas-share/Yujiao/ontologies/ORE2014/DL/00a1118a-5420-46f0-b4b2-a2585165b28a_ePizza.owl" }; +// args = new String[] { "/home/yzhou/krr-nas-share/Yujiao/ontologies/ORE2014/DL/77de15c6-cc39-4960-a38a-e35e487d52b0_owl%2Fcoma" }; +// args = new String[] { "/home/yzhou/krr-nas-share/Yujiao/ontologies/ORE2014/DL/wine_nodatatype.owl" }; + +// args = new String[] { "/home/yzhou/krr-nas-share/Yujiao/ontologies/ORE2014/EL/b7700fe1-103b-4b32-a21c-f6604a763ba5_t-cell.owl" }; + args = new String[] { "/home/yzhou/krr-nas-share/Yujiao/ontologies/ORE2014/EL/baa29363-f93c-4285-827e-0e2380c82efc_cations.n3" }; + + + OWLOntology ontology = OWLHelper.loadOntology(args[0]); + QueryReasoner pagoda = QueryReasoner.getInstance(ontology); + System.out.println(pagoda); + pagoda.loadOntology(ontology); + if (pagoda.preprocess()) + System.out.println("The ontology is consistent!"); + else + System.out.println("The ontology is inconsistent!"); + } + +} -- cgit v1.2.3