src/uk/ac/ox/cs/pagoda/constraints/BottomStrategy.java


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

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

import java.util.Collection;

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

public interface BottomStrategy {

	public Collection<DLClause> process(Collection<DLClause> clauses);
	
	public boolean isBottomRule(DLClause clause);
	
	public Atom[] getEmptyHead(Term t);

	public int getBottomNumber(); 

}