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/Approximator.java | 62 --------------------------
 1 file changed, 62 deletions(-)
 delete mode 100644 src/uk/ac/ox/cs/pagoda/rules/Approximator.java

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

diff --git a/src/uk/ac/ox/cs/pagoda/rules/Approximator.java b/src/uk/ac/ox/cs/pagoda/rules/Approximator.java
deleted file mode 100644
index 66e676b..0000000
--- a/src/uk/ac/ox/cs/pagoda/rules/Approximator.java
+++ /dev/null
@@ -1,62 +0,0 @@
-package uk.ac.ox.cs.pagoda.rules;
-
-import org.semanticweb.HermiT.model.AtLeast;
-import org.semanticweb.HermiT.model.Atom;
-import org.semanticweb.HermiT.model.DLClause;
-import org.semanticweb.HermiT.model.DLPredicate;
-
-import java.util.Collection;
-import java.util.LinkedList;
-
-public interface Approximator {
-
-	Collection<DLClause> convert(DLClause clause, DLClause originalClause);
-	
-}
-
-class IgnoreExist implements Approximator {
-		
-	@Override
-	public Collection<DLClause> convert(DLClause clause, DLClause originalClause) {
-		Collection<DLClause> ret = new LinkedList<DLClause>(); 
-		DLPredicate p; 
-		for (Atom headAtom: clause.getHeadAtoms()) {
-			p = headAtom.getDLPredicate(); 
-			if (p instanceof AtLeast) return ret; 
-		}
-		
-		ret.add(clause);
-		return ret; 
-	}
-	
-}
-
-class IgnoreBoth implements Approximator {
-	
-	@Override
-	public Collection<DLClause> convert(DLClause clause, DLClause originalClause) {
-		Collection<DLClause> ret = new LinkedList<DLClause>();
-		
-		if (clause.getHeadLength() > 1) return ret;
-		
-		if (clause.getHeadLength() > 0) {
-			DLPredicate predicate = clause.getHeadAtom(0).getDLPredicate();
-			
-			if (predicate instanceof AtLeast) return ret; 
-		}
-		
-		ret.add(clause); 
-		return ret; 
-	}
-}
-
-class IgnoreDisj implements Approximator {
-	
-	@Override
-	public Collection<DLClause> convert(DLClause clause, DLClause originalClause) {
-		Collection<DLClause> ret = new LinkedList<DLClause>(); 
-		if (clause.getHeadLength() > 1) return ret;  
-		ret.add(clause); 
-		return ret; 
-	}
-}
-- 
cgit v1.2.3