From 7e0ecc07285209e65f9d4d022065d06a4997fc86 Mon Sep 17 00:00:00 2001
From: RncLsn <rnc.lsn@gmail.com>
Date: Wed, 13 May 2015 11:57:06 +0100
Subject: Implementing Limited Skolemisation, in particular
 SkolemTermsDispenser.

---
 src/uk/ac/ox/cs/pagoda/rules/ApproxProgram.java | 31 +++++++++++--------------
 1 file changed, 13 insertions(+), 18 deletions(-)

(limited to 'src/uk/ac/ox/cs/pagoda/rules/ApproxProgram.java')

diff --git a/src/uk/ac/ox/cs/pagoda/rules/ApproxProgram.java b/src/uk/ac/ox/cs/pagoda/rules/ApproxProgram.java
index 3b9d6fc..acbf354 100644
--- a/src/uk/ac/ox/cs/pagoda/rules/ApproxProgram.java
+++ b/src/uk/ac/ox/cs/pagoda/rules/ApproxProgram.java
@@ -1,27 +1,22 @@
 package uk.ac.ox.cs.pagoda.rules;
 
-import java.util.Collection;
-import java.util.HashMap;
-import java.util.HashSet;
-import java.util.Iterator;
-import java.util.Map;
-
 import org.semanticweb.HermiT.model.DLClause;
 import org.semanticweb.owlapi.model.OWLAxiom;
 import org.semanticweb.owlapi.model.OWLSubPropertyChainOfAxiom;
 import org.semanticweb.owlapi.model.OWLTransitiveObjectPropertyAxiom;
-
 import uk.ac.ox.cs.pagoda.owl.OWLHelper;
+import uk.ac.ox.cs.pagoda.rules.approximators.Approximator;
+
+import java.util.*;
 
 public abstract class ApproxProgram extends Program {
-	
+
+	protected Approximator m_approx = null;
 	/**
 	 * mapping from over-approximated DLClauses to DLClauses from the original ontology
 	 */
 	Map<DLClause, Object> correspondence = new HashMap<DLClause, Object>();
 	
-	protected Approximator m_approx = null; 
-	
 	protected ApproxProgram() { initApproximator(); }
 	
 	protected abstract void initApproximator(); 
@@ -76,7 +71,7 @@ public abstract class ApproxProgram extends Program {
 
 	public OWLAxiom getEquivalentAxiom(DLClause clause) {
 		Object obj  = correspondence.get(clause);
-		while (obj != null && obj instanceof DLClause && !obj.equals(clause) && correspondence.containsKey((DLClause) obj))
+		while (obj != null && obj instanceof DLClause && !obj.equals(clause) && correspondence.containsKey(obj))
 			obj = correspondence.get(clause);
 		if (obj instanceof OWLAxiom) 
 			return (OWLAxiom) obj; 
@@ -98,14 +93,14 @@ public abstract class ApproxProgram extends Program {
 
 class ClauseSet extends HashSet<DLClause> {
 
-	public ClauseSet(DLClause first, DLClause second) {
-		add(first);  
-		add(second); 
-	}
-
 	/**
-	 * 
+	 *
 	 */
 	private static final long serialVersionUID = 1L;
-	
+
+	public ClauseSet(DLClause first, DLClause second) {
+		add(first);
+		add(second);
+	}
+
 }
\ No newline at end of file
-- 
cgit v1.2.3