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


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

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

import org.semanticweb.HermiT.model.DLClause;
import uk.ac.ox.cs.pagoda.multistage.AnswerTupleID;

import java.util.Collection;

/**
 * It approximates rules according to a specific instantiation of the body.
 */
public interface TupleDependentApproximator {

    Collection<DLClause> convert(DLClause clause,
                                 DLClause originalClause,
                                 Collection<AnswerTupleID> violationTuples);
}