Package com.semedy.reasoner.induction

Class RuleInduction

java.lang.Object

com.semedy.reasoner.induction.RuleInduction

public class RuleInduction
extends Object

Rule induction for OO-Logic

Author:

angele

Constructor Summary

Constructors

Constructor	Description
RuleInduction(Relation positiveExamples, Relation negativeExamples, String headPredicate, List<String> bodyPredicates, Core core)

Method Summary

Modifier and Type	Method	Description
void	foil()
List<Rule>	getRules()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

RuleInduction

public RuleInduction(Relation positiveExamples,
 Relation negativeExamples,
 String headPredicate,
 List<String> bodyPredicates,
 Core core)
              throws IOException,
EDBException

Throws:

IOException

EDBException

Method Details

foil

public void foil()
          throws IOException,
ReasoningException,
InterruptedException,
SemReasonerException

Throws:

IOException

ReasoningException

InterruptedException

SemReasonerException

getRules

public List<Rule> getRules()