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)
|
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
Submit a bug report or feature request
Copyright (c) 1998-2009 Stanford University.