From 0d8f240c9c0a64f2285324e5a517161e45c698fc Mon Sep 17 00:00:00 2001
From: yzhou <yzhou@krr-linux.cs.ox.ac.uk>
Date: Thu, 30 Apr 2015 17:36:35 +0100
Subject: downgrade owl api and reorganised src files

---
 external/uk/ac/ox/cs/data/Comparator.java | 131 ++++++++++++++++++++++++++++++
 1 file changed, 131 insertions(+)
 create mode 100644 external/uk/ac/ox/cs/data/Comparator.java

(limited to 'external/uk/ac/ox/cs/data/Comparator.java')

diff --git a/external/uk/ac/ox/cs/data/Comparator.java b/external/uk/ac/ox/cs/data/Comparator.java
new file mode 100644
index 0000000..5b61a81
--- /dev/null
+++ b/external/uk/ac/ox/cs/data/Comparator.java
@@ -0,0 +1,131 @@
+package uk.ac.ox.cs.data;
+
+import java.io.BufferedWriter;
+import java.io.File;
+import java.io.FileOutputStream;
+import java.io.IOException;
+import java.io.OutputStreamWriter;
+import java.util.Collection;
+import java.util.HashSet;
+import java.util.Scanner;
+import java.util.Set;
+
+import org.semanticweb.owlapi.model.OWLAxiom;
+import org.semanticweb.owlapi.model.OWLClassExpression;
+import org.semanticweb.owlapi.model.OWLDataFactory;
+import org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom;
+import org.semanticweb.owlapi.model.OWLOntology;
+import uk.ac.ox.cs.pagoda.owl.OWLHelper;
+import uk.ac.ox.cs.pagoda.util.Utility;
+
+public class Comparator {
+
+	public static void main(String[] args) throws IOException {
+		compareFiles(args); 
+	}
+	
+	public static void compareFiles(String[] args) throws IOException {
+		String directory = "/users/yzhou/workspace/pagoda/"; 
+		String name1 = "abox1.txt", name2 = "abox2.txt";
+		
+		args = (directory + name1 + " " +
+				directory + name2 + " " +
+				directory + "diff.dlog").split("\\ "); 
+		
+		Scanner s1 = new Scanner(new File(args[0])), s2 = new Scanner(new File(args[1]));
+		HashSet<String> h1 = new HashSet<String>(), h2 = new HashSet<String>();
+		while (s1.hasNextLine()) h1.add(s1.nextLine());
+		s1.close();
+		while (s2.hasNextLine()) h2.add(s2.nextLine().replace("an-minus.owl", "an.owl"));
+		s2.close();
+		
+		BufferedWriter writer = new BufferedWriter(new OutputStreamWriter(new FileOutputStream(args[2]))); 
+
+		writer.write("Elements in " + name1 + ", but not in " + name2);
+		writer.newLine(); 
+		for (String line: h1)
+			if (!h2.contains(line)) {
+				writer.write(line);
+				writer.newLine();
+			}
+		
+		writer.write("--------------------------------------------------------");
+		writer.newLine();
+		
+		writer.write("Elements in " + name2 + ", but not in " + name1);
+		writer.newLine();
+		for (String line: h2) 
+			if (!h1.contains(line)) {
+				writer.write(line);
+				writer.newLine();
+			}
+		
+		writer.close();
+	}
+	
+	
+	public void compareOntologies(String[] args) throws IOException {
+		String directory = "/home/scratch/yzhou/ontologies/fly/auxiliary/datalog/";
+		String name1 = "eq/elho.owl", name2 = "noEQ/elho.owl"; 
+		
+		args = (directory + name1 + " " +
+				directory + name2 + " " +
+				directory + "diff.owl").split("\\ "); 
+		
+		OWLOntology o1 = OWLHelper.loadOntology(args[0]); 
+		OWLOntology o2 = OWLHelper.loadOntology(args[1]);
+		
+		BufferedWriter writer = new BufferedWriter(new OutputStreamWriter(new FileOutputStream(args[2]))); 
+		
+		writer.write("Elements in " + name1 + ", but not in " + name2);
+		writer.newLine(); 
+		writer.write(compareOntologies(o1, o2));
+		
+		writer.write("--------------------------------------------------------");
+		writer.newLine();
+		
+		writer.write("Elements in " + name2 + ", but not in " + name1);
+		writer.newLine(); 
+		writer.write(compareOntologies(o2, o1)); 
+		
+		writer.close();
+	}
+	
+	private static String compareOntologies(OWLOntology o1, OWLOntology o2) {
+		StringBuilder sb = new StringBuilder(); 
+		
+		Set<String> axioms = new HashSet<String>();
+		OWLDataFactory factory1 = o1.getOWLOntologyManager().getOWLDataFactory(); 
+		OWLDataFactory factory2 = o2.getOWLOntologyManager().getOWLDataFactory(); 
+		
+		for (OWLAxiom a: o2.getAxioms()) 
+			for (OWLAxiom axiom: process(a, factory2)){
+				axioms.add(axiom.toString());
+			}
+		
+		for (OWLAxiom a: o1.getAxioms()) {
+			for (OWLAxiom axiom: process(a, factory1))
+				if (!axioms.contains(axiom.toString())) 
+					sb.append(axiom.toString()).append(Utility.LINE_SEPARATOR);
+		}
+
+		return sb.toString(); 
+	}
+
+	private static Collection<OWLAxiom> process(OWLAxiom axiom, OWLDataFactory factory) {
+		Set<OWLAxiom> axioms = new HashSet<OWLAxiom>(); 
+		OWLEquivalentClassesAxiom equiv; 
+		if (axiom instanceof OWLEquivalentClassesAxiom) {
+			equiv = (OWLEquivalentClassesAxiom) axiom; 
+			for (OWLClassExpression exp1: equiv.getClassExpressions())
+				for (OWLClassExpression exp2: equiv.getClassExpressions())
+					if (!exp1.equals(exp2)) 
+						axioms.add(factory.getOWLSubClassOfAxiom(exp1, exp2)); 
+		}
+		else 
+			axioms.add(axiom); 
+
+		return axioms; 
+	}
+	
+}
-- 
cgit v1.2.3