src/uk/ac/ox/cs/pagoda/rules/Approximator.java


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62

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; 
	}
}