com.hp.hpl.jena.reasoner.rulesys

Interface RuleReasoner

All Superinterfaces:

Reasoner

All Known Implementing Classes:

FBRuleReasoner, GenericRuleReasoner, OWLFBRuleReasoner, OWLMicroReasoner, OWLMiniReasoner, RDFSFBRuleReasoner, RDFSForwardRuleReasoner, RDFSRuleReasoner

public interface RuleReasoner
extends Reasoner

RuleReasoner - an interface to capture the idea of a Reasoner that relies on Rules; motivated primarily by the testing for ModelSpecs which specify Rules for Reasoners.

Method Summary

Methods

Modifier and Type	Method and Description
List<Rule>	getRules() Answer the rules used by this Reasoner.
void	setRules(List<Rule> rules) Set the rules used by this reasoner.

Methods inherited from interface com.hp.hpl.jena.reasoner.Reasoner

addDescription, bind, bindSchema, bindSchema, getGraphCapabilities, getReasonerCapabilities, setDerivationLogging, setParameter, supportsProperty

Method Detail

setRules

void setRules(List<Rule> rules)

Set the rules used by this reasoner. rules must be a list of Rule objects.

getRules

List<Rule> getRules()

Answer the rules used by this Reasoner.