src/uk/ac/ox/cs/pagoda/constraints/ToBeRemovedBottom.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

package uk.ac.ox.cs.pagoda.constraints;

import java.util.Collection;
import java.util.LinkedList;

import org.semanticweb.HermiT.model.Atom;
import org.semanticweb.HermiT.model.DLClause;
import org.semanticweb.HermiT.model.Term;

public class ToBeRemovedBottom implements BottomStrategy {

	@Override
	public Collection<DLClause> process(Collection<DLClause> clauses) {
		Collection<DLClause> ret = new LinkedList<DLClause>(); 
		for (DLClause clause: clauses)
			if (clause.getHeadLength() != 0)
				ret.add(clause); 
		return ret;
	}

	@Override
	public boolean isBottomRule(DLClause clause) {
		return false;
	}

	@Override
	public Atom[] getEmptyHead(Term t) {
		return null;
	}

	@Override
	public int getBottomNumber() {
		return 0;
	}

}