Protégé-OWL 3.4.1

edu.stanford.smi.protegex.owl.swrl
Interface SWRLRuleEngine

All Known Subinterfaces:
SWRLRuleEngineBridge
All Known Implementing Classes:
AbstractSWRLRuleEngineBridge

public interface SWRLRuleEngine

This interface defines the methods that must be provided by a SWRL rule engine.


Method Summary
 Set<OWLAxiom> getImportedAxioms()
           
 Set<OWLAxiom> getInferredAxioms()
           
 Set<OWLAxiom> getInjectedAxioms()
           
 int getNumberOfImportedAxioms()
           
 int getNumberOfInferredAxioms()
           
 int getNumberOfInjectedAxioms()
           
 SWRLRule getRule(String ruleName)
           
 void importSWRLRulesAndOWLKnowledge()
          Load rules and knowledge from OWL into bridge.
 void infer()
          Load rules and knowledge from OWL into bridge, send them to a rule engine, run the rule engine, and write any inferred knowledge back to OWL.
 void reset()
          Clear all inferred and injected knowledge from rule engine, deleted asserted knowledge from the bridge, and leave imported bridge knowledge intact.
 void run()
          Run the rule engine.
 void writeInferredKnowledge2OWL()
          Write knowledge inferred by rule engine back to OWL.
 

Method Detail

infer

void infer()
           throws SWRLRuleEngineException
Load rules and knowledge from OWL into bridge, send them to a rule engine, run the rule engine, and write any inferred knowledge back to OWL.

Throws:
SWRLRuleEngineException

importSWRLRulesAndOWLKnowledge

void importSWRLRulesAndOWLKnowledge()
                                    throws SWRLRuleEngineException
Load rules and knowledge from OWL into bridge. All existing bridge rules and knowledge will first be cleared and the associated rule engine will be reset.

Throws:
SWRLRuleEngineException

getNumberOfImportedAxioms

int getNumberOfImportedAxioms()

getImportedAxioms

Set<OWLAxiom> getImportedAxioms()

run

void run()
         throws SWRLRuleEngineException
Run the rule engine.

Throws:
SWRLRuleEngineException

getNumberOfInferredAxioms

int getNumberOfInferredAxioms()

getInferredAxioms

Set<OWLAxiom> getInferredAxioms()

getNumberOfInjectedAxioms

int getNumberOfInjectedAxioms()

getInjectedAxioms

Set<OWLAxiom> getInjectedAxioms()

writeInferredKnowledge2OWL

void writeInferredKnowledge2OWL()
                                throws SWRLRuleEngineException
Write knowledge inferred by rule engine back to OWL.

Throws:
SWRLRuleEngineException

reset

void reset()
           throws SWRLRuleEngineException
Clear all inferred and injected knowledge from rule engine, deleted asserted knowledge from the bridge, and leave imported bridge knowledge intact.

Throws:
SWRLRuleEngineException

getRule

SWRLRule getRule(String ruleName)
                 throws InvalidRuleNameException
Throws:
InvalidRuleNameException

Protégé-OWL 3.4.1

Submit a bug report or feature request
Copyright (c) 1998-2009 Stanford University.