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

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 class NullaryBottom implements BottomStrategy {
	
	@Override
	public Collection<DLClause> process(Collection<DLClause> clauses) {
		return clauses;
	}

	@Override
	public boolean isBottomRule(DLClause clause) {
		return clause.getHeadLength() == 0;
	}

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

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

}