Protégé-OWL 3.4.1

edu.stanford.smi.protegex.owl.swrl.bridge
Interface SWRLRuleEngineBridge

All Superinterfaces:
SQWRLQueryEngine, SWRLRuleEngine
All Known Implementing Classes:
AbstractSWRLRuleEngineBridge

public interface SWRLRuleEngineBridge
extends SWRLRuleEngine, SQWRLQueryEngine

The SWRL Rule Engine Bridge provides a mechanism to incorporate rule engines into Protege-OWL to execute SWRL rules.

Detailed documentation for this mechanism can be found here.


Method Summary
 OWLClass createOWLAnonymousClass()
           
 void createOWLAxiom(OWLAxiom axiom)
           
 void createOWLClass(String className)
           
 void createOWLClass(String className, String superclassName)
           
 OWLClassAssertionAxiom createOWLClassAssertionAxiom(OWLIndividual individual, OWLClass description)
           
 void createOWLClassPropertyAssertionAxiom(OWLIndividual subject, OWLProperty property, OWLClass object)
           
 OWLDatatypePropertyAssertionAxiom createOWLDatatypePropertyAssertionAxiom(OWLDatatypePropertyAssertionAxiom axiom)
           
 OWLDatatypePropertyAssertionAxiom createOWLDatatypePropertyAssertionAxiom(OWLIndividual subject, OWLProperty property, OWLDatatypeValue object)
           
 void createOWLDatatypePropertyAssertionAxioms(Set<OWLDatatypePropertyAssertionAxiom> axioms)
           
 OWLIndividual createOWLIndividual()
           
 OWLIndividual createOWLIndividual(OWLClass owlClass)
           
 void createOWLIndividual(OWLIndividual owlIndividual)
           
 void createOWLIndividuals(Set<OWLIndividual> individuals)
           
 OWLObjectPropertyAssertionAxiom createOWLObjectPropertyAssertionAxiom(OWLIndividual subject, OWLProperty property, OWLIndividual object)
           
 OWLObjectPropertyAssertionAxiom createOWLObjectPropertyAssertionAxiom(OWLObjectPropertyAssertionAxiom axiom)
           
 void createOWLObjectPropertyAssertionAxioms(Set<OWLObjectPropertyAssertionAxiom> axioms)
           
 void createOWLSubClassAxiom(OWLClass subClass, OWLClass superClass)
           
 void defineAxiom(OWLAxiom axiom)
           
 void defineClass(OWLClass owlClass)
           
 void defineIndividual(OWLIndividual owlIndividual)
           
 void defineRestriction(OWLRestriction restriction)
           
 void defineRule(SWRLRule rule)
           
 void generateBuiltInBinding(String ruleName, String builtInName, int builtInIndex, List<BuiltInArgument> arguments)
           
 Set<OWLAxiom> getImportedAxioms()
           
 Set<OWLClass> getImportedClasses()
           
 Set<OWLIndividual> getImportedIndividuals()
           
 Set<SWRLRule> getImportedSWRLRules()
           
 Set<OWLAxiom> getInferredAxioms()
           
 Set<OWLIndividual> getInferredIndividuals()
           
 Set<OWLAxiom> getInjectedAxioms()
           
 Set<OWLClass> getInjectedClasses()
           
 Set<OWLIndividual> getInjectedIndividuals()
           
 Mapper getMapper()
           
 int getNumberOfImportedAxioms()
           
 int getNumberOfImportedClasses()
           
 int getNumberOfImportedIndividuals()
           
 int getNumberOfImportedSWRLRules()
           
 int getNumberOfInferredAxioms()
           
 int getNumberOfInferredIndividuals()
           
 int getNumberOfInjectedAxioms()
           
 int getNumberOfInjectedClasses()
           
 int getNumberOfInjectedIndividuals()
           
 OWLModel getOWLModel()
           
 boolean hasMapper()
           
 void inferIndividual(OWLIndividual owlIndividual)
           
 void inferPropertyAssertionAxiom(OWLPropertyAssertionAxiom owlPropertyAssertionAxiom)
           
 boolean invokeSWRLBuiltIn(String ruleName, String builtInName, int builtInIndex, boolean isInConsequent, List<BuiltInArgument> arguments)
           
 boolean isClass(String className)
           
 boolean isInjectedAnonymousClass(String className)
           
 boolean isInjectedAxiom(OWLAxiom axiom)
           
 boolean isInjectedClass(String className)
           
 boolean isInjectedIndividual(String individualName)
           
 void resetRuleEngine()
           
 void runRuleEngine()
           
 void setMapper(Mapper mapper)
           
 
Methods inherited from interface edu.stanford.smi.protegex.owl.swrl.SWRLRuleEngine
getRule, importSWRLRulesAndOWLKnowledge, infer, reset, run, writeInferredKnowledge2OWL
 
Methods inherited from interface edu.stanford.smi.protegex.owl.swrl.sqwrl.SQWRLQueryEngine
getSQWRLResult, runSQWRLQueries
 

Method Detail

resetRuleEngine

void resetRuleEngine()
                     throws SWRLRuleEngineBridgeException
Throws:
SWRLRuleEngineBridgeException

runRuleEngine

void runRuleEngine()
                   throws SWRLRuleEngineBridgeException
Throws:
SWRLRuleEngineBridgeException

defineRule

void defineRule(SWRLRule rule)
                throws SWRLRuleEngineBridgeException
Throws:
SWRLRuleEngineBridgeException

defineClass

void defineClass(OWLClass owlClass)
                 throws SWRLRuleEngineBridgeException
Throws:
SWRLRuleEngineBridgeException

defineIndividual

void defineIndividual(OWLIndividual owlIndividual)
                      throws SWRLRuleEngineBridgeException
Throws:
SWRLRuleEngineBridgeException

defineAxiom

void defineAxiom(OWLAxiom axiom)
                 throws SWRLRuleEngineBridgeException
Throws:
SWRLRuleEngineBridgeException

defineRestriction

void defineRestriction(OWLRestriction restriction)
                       throws SWRLRuleEngineBridgeException
Throws:
SWRLRuleEngineBridgeException

inferPropertyAssertionAxiom

void inferPropertyAssertionAxiom(OWLPropertyAssertionAxiom owlPropertyAssertionAxiom)
                                 throws SWRLRuleEngineBridgeException
Throws:
SWRLRuleEngineBridgeException

inferIndividual

void inferIndividual(OWLIndividual owlIndividual)
                     throws SWRLRuleEngineBridgeException
Throws:
SWRLRuleEngineBridgeException

createOWLAnonymousClass

OWLClass createOWLAnonymousClass()
                                 throws SWRLRuleEngineBridgeException
Throws:
SWRLRuleEngineBridgeException

createOWLClass

void createOWLClass(String className)
                    throws SWRLRuleEngineBridgeException
Throws:
SWRLRuleEngineBridgeException

createOWLClass

void createOWLClass(String className,
                    String superclassName)
                    throws SWRLRuleEngineBridgeException
Throws:
SWRLRuleEngineBridgeException

createOWLIndividual

OWLIndividual createOWLIndividual()
                                  throws SWRLRuleEngineBridgeException
Throws:
SWRLRuleEngineBridgeException

createOWLIndividual

void createOWLIndividual(OWLIndividual owlIndividual)
                         throws SWRLRuleEngineBridgeException
Throws:
SWRLRuleEngineBridgeException

createOWLIndividual

OWLIndividual createOWLIndividual(OWLClass owlClass)
                                  throws SWRLRuleEngineBridgeException
Throws:
SWRLRuleEngineBridgeException

createOWLIndividuals

void createOWLIndividuals(Set<OWLIndividual> individuals)
                          throws SWRLRuleEngineBridgeException
Throws:
SWRLRuleEngineBridgeException

createOWLAxiom

void createOWLAxiom(OWLAxiom axiom)
                    throws SWRLRuleEngineBridgeException
Throws:
SWRLRuleEngineBridgeException

createOWLDatatypePropertyAssertionAxiom

OWLDatatypePropertyAssertionAxiom createOWLDatatypePropertyAssertionAxiom(OWLIndividual subject,
                                                                          OWLProperty property,
                                                                          OWLDatatypeValue object)
                                                                          throws SWRLRuleEngineBridgeException
Throws:
SWRLRuleEngineBridgeException

createOWLDatatypePropertyAssertionAxiom

OWLDatatypePropertyAssertionAxiom createOWLDatatypePropertyAssertionAxiom(OWLDatatypePropertyAssertionAxiom axiom)
                                                                          throws SWRLRuleEngineBridgeException
Throws:
SWRLRuleEngineBridgeException

createOWLDatatypePropertyAssertionAxioms

void createOWLDatatypePropertyAssertionAxioms(Set<OWLDatatypePropertyAssertionAxiom> axioms)
                                              throws SWRLRuleEngineBridgeException
Throws:
SWRLRuleEngineBridgeException

createOWLObjectPropertyAssertionAxiom

OWLObjectPropertyAssertionAxiom createOWLObjectPropertyAssertionAxiom(OWLIndividual subject,
                                                                      OWLProperty property,
                                                                      OWLIndividual object)
                                                                      throws SWRLRuleEngineBridgeException
Throws:
SWRLRuleEngineBridgeException

createOWLObjectPropertyAssertionAxiom

OWLObjectPropertyAssertionAxiom createOWLObjectPropertyAssertionAxiom(OWLObjectPropertyAssertionAxiom axiom)
                                                                      throws SWRLRuleEngineBridgeException
Throws:
SWRLRuleEngineBridgeException

createOWLClassAssertionAxiom

OWLClassAssertionAxiom createOWLClassAssertionAxiom(OWLIndividual individual,
                                                    OWLClass description)
                                                    throws SWRLRuleEngineBridgeException
Throws:
SWRLRuleEngineBridgeException

createOWLObjectPropertyAssertionAxioms

void createOWLObjectPropertyAssertionAxioms(Set<OWLObjectPropertyAssertionAxiom> axioms)
                                            throws SWRLRuleEngineBridgeException
Throws:
SWRLRuleEngineBridgeException

createOWLSubClassAxiom

void createOWLSubClassAxiom(OWLClass subClass,
                            OWLClass superClass)
                            throws SWRLRuleEngineBridgeException
Throws:
SWRLRuleEngineBridgeException

createOWLClassPropertyAssertionAxiom

void createOWLClassPropertyAssertionAxiom(OWLIndividual subject,
                                          OWLProperty property,
                                          OWLClass object)
                                          throws SWRLRuleEngineBridgeException
Throws:
SWRLRuleEngineBridgeException

isClass

boolean isClass(String className)

isInjectedAnonymousClass

boolean isInjectedAnonymousClass(String className)

isInjectedClass

boolean isInjectedClass(String className)

isInjectedIndividual

boolean isInjectedIndividual(String individualName)

isInjectedAxiom

boolean isInjectedAxiom(OWLAxiom axiom)

invokeSWRLBuiltIn

boolean invokeSWRLBuiltIn(String ruleName,
                          String builtInName,
                          int builtInIndex,
                          boolean isInConsequent,
                          List<BuiltInArgument> arguments)
                          throws BuiltInException
Throws:
BuiltInException

generateBuiltInBinding

void generateBuiltInBinding(String ruleName,
                            String builtInName,
                            int builtInIndex,
                            List<BuiltInArgument> arguments)
                            throws BuiltInException
Throws:
BuiltInException

setMapper

void setMapper(Mapper mapper)

hasMapper

boolean hasMapper()

getMapper

Mapper getMapper()

getOWLModel

OWLModel getOWLModel()

getNumberOfImportedSWRLRules

int getNumberOfImportedSWRLRules()

getNumberOfImportedClasses

int getNumberOfImportedClasses()

getNumberOfImportedIndividuals

int getNumberOfImportedIndividuals()

getNumberOfImportedAxioms

int getNumberOfImportedAxioms()
Specified by:
getNumberOfImportedAxioms in interface SWRLRuleEngine

getNumberOfInferredIndividuals

int getNumberOfInferredIndividuals()

getNumberOfInferredAxioms

int getNumberOfInferredAxioms()
Specified by:
getNumberOfInferredAxioms in interface SWRLRuleEngine

getNumberOfInjectedClasses

int getNumberOfInjectedClasses()

getNumberOfInjectedIndividuals

int getNumberOfInjectedIndividuals()

getNumberOfInjectedAxioms

int getNumberOfInjectedAxioms()
Specified by:
getNumberOfInjectedAxioms in interface SWRLRuleEngine

getImportedSWRLRules

Set<SWRLRule> getImportedSWRLRules()

getImportedClasses

Set<OWLClass> getImportedClasses()

getImportedIndividuals

Set<OWLIndividual> getImportedIndividuals()

getImportedAxioms

Set<OWLAxiom> getImportedAxioms()
Specified by:
getImportedAxioms in interface SWRLRuleEngine

getInferredIndividuals

Set<OWLIndividual> getInferredIndividuals()

getInferredAxioms

Set<OWLAxiom> getInferredAxioms()
Specified by:
getInferredAxioms in interface SWRLRuleEngine

getInjectedClasses

Set<OWLClass> getInjectedClasses()

getInjectedIndividuals

Set<OWLIndividual> getInjectedIndividuals()

getInjectedAxioms

Set<OWLAxiom> getInjectedAxioms()
Specified by:
getInjectedAxioms in interface SWRLRuleEngine

Protégé-OWL 3.4.1

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