Interface RuleReasoner

All Superinterfaces:
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 Details

    • 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.