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/hermit/HermitTester.java | 55 +++++++++++++++++++++++++++++++
 1 file changed, 55 insertions(+)
 create mode 100644 test/uk/ac/ox/cs/hermit/HermitTester.java

(limited to 'test/uk/ac/ox/cs/hermit/HermitTester.java')

diff --git a/test/uk/ac/ox/cs/hermit/HermitTester.java b/test/uk/ac/ox/cs/hermit/HermitTester.java
new file mode 100644
index 0000000..00df658
--- /dev/null
+++ b/test/uk/ac/ox/cs/hermit/HermitTester.java
@@ -0,0 +1,55 @@
+package uk.ac.ox.cs.hermit;
+
+import org.semanticweb.HermiT.Configuration;
+import org.semanticweb.HermiT.Reasoner;
+import org.semanticweb.HermiT.model.Atom;
+import org.semanticweb.HermiT.model.DLClause;
+import org.semanticweb.HermiT.model.DLOntology;
+import org.semanticweb.HermiT.structural.OWLClausification;
+import org.semanticweb.owlapi.model.IRI;
+import org.semanticweb.owlapi.model.OWLAxiom;
+import org.semanticweb.owlapi.model.OWLClass;
+import org.semanticweb.owlapi.model.OWLDataFactory;
+import org.semanticweb.owlapi.model.OWLNamedIndividual;
+import org.semanticweb.owlapi.model.OWLOntology;
+import org.semanticweb.owlapi.reasoner.Node;
+
+import uk.ac.ox.cs.pagoda.owl.OWLHelper;
+
+public class HermitTester {
+
+	public static void main(String[] args) {
+		OWLOntology onto = OWLHelper.loadOntology("imported.owl");
+		Reasoner hermit = new Reasoner(onto);
+		OWLDataFactory f = onto.getOWLOntologyManager().getOWLDataFactory();
+		OWLClass concept = f.getOWLClass(IRI.create("http://semantics.crl.ibm.com/univ-bench-dl.owl#Query12")); 
+		
+		for (OWLOntology o: onto.getImportsClosure()) {
+			System.out.println(o.containsEntityInSignature(concept));
+			for (OWLAxiom axiom: o.getAxioms())
+				if (axiom.containsEntityInSignature(concept))
+					System.out.println(axiom); 
+		}
+		
+		for (Node<OWLNamedIndividual> node : hermit.getInstances(concept, false))
+			for (OWLNamedIndividual i: node.getEntities()) {
+				System.out.println(i.toStringID()); 
+			}
+	
+//		clausifierTest(); 
+	}
+
+	@SuppressWarnings("unused")
+	private static void clausifierTest() {
+		OWLOntology onto = OWLHelper.loadOntology("/users/yzhou/ontologies/travel.owl");
+		OWLClausification clausifier = new OWLClausification(new Configuration());
+		DLOntology dlOntology = (DLOntology)clausifier.preprocessAndClausify(onto, null)[1];
+		
+		for (DLClause clause: dlOntology.getDLClauses())
+			System.out.println(clause); 
+		for (Atom atom : dlOntology.getPositiveFacts())
+			System.out.println(atom); 
+
+	}
+	
+}
-- 
cgit v1.2.3