blob: b2edd5640b620b8e3d5e834a6105c9c89862b63b (
plain) (
blame)
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 java.util.Collection;
import java.util.LinkedList;
import org.semanticweb.HermiT.model.AtLeast;
import org.semanticweb.HermiT.model.Atom;
import org.semanticweb.HermiT.model.DLClause;
import org.semanticweb.HermiT.model.DLPredicate;
public interface Approximator {
public 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;
}
}
|
