edu.stanford.smi.protegex.owl.swrl.bridge
Class DefaultOWLAxiomConvertor

java.lang.Object
  edu.stanford.smi.protegex.owl.swrl.bridge.DefaultConvertor
      edu.stanford.smi.protegex.owl.swrl.bridge.DefaultOWLAxiomConvertor

All Implemented Interfaces:

Convertor, OWLAxiomConvertor

public abstract class DefaultOWLAxiomConvertor
extends DefaultConvertor
implements OWLAxiomConvertor

Default implementation of an OWL axiom convertor that takes OWL axioms and converts them to a native rule engine implementation. This implementation defines some of the standard tasks that will likely be common to many rule engines. A target rule engine implementation should implement the abstract methods. As can be seen, the bridge currently only supports a small number of OWL axioms.

Constructor Summary

DefaultOWLAxiomConvertor(SWRLRuleEngineBridge bridge)

Method Summary

protected abstract void	defineOWLClassAssertionAxiom(String classURI, String individualURI)
protected abstract void	defineOWLClassDeclaration(String classURI)
protected abstract void	defineOWLClassPropertyAssertion(String propertyURI, String subjectIndividualURI, String objectValueClassURI)
protected abstract void	defineOWLDataPropertyAssertionAxiom(String propertyURI, String subjectIndividualURI, OWLLiteralReference objectLiteral)
protected abstract void	defineOWLDifferentIndividualsAxiom(String individual1URI, String individual2URI)
protected abstract void	defineOWLIndividualDeclaration(String individualURI)
protected abstract void	defineOWLObjectPropertyAssertionAxiom(String propertyURI, String subjectIndividualURI, String objectIndividualURI)
protected abstract void	defineOWLPropertyDeclaration(String propertyURI)
protected abstract void	defineOWLPropertyPropertyAssertion(String propertyURI, String subjectIndividualURI, String objectValuePropertyURI)
protected abstract void	defineOWLSameIndividualAxiom(String individual1URI, String individual2URI)
void	generateOWLAxiom(OWLAxiomReference axiom)
void	generateOWLClassAssertionAxiom(OWLClassAssertionAxiomReference axiom)
void	generateOWLClassDeclaration(OWLClassReference owlClass)
void	generateOWLClassPropertyAssertionAxiom(OWLClassPropertyAssertionAxiomReference axiom)
void	generateOWLDataPropertyAssertionAxiom(OWLDataPropertyAssertionAxiomReference axiom)
void	generateOWLDeclarationAxiom(OWLDeclarationAxiomReference axiom)
void	generateOWLDifferentIndividualsAxiom(OWLDifferentIndividualsAxiomReference axiom)
void	generateOWLIndividualDeclaration(OWLNamedIndividualReference individual)
void	generateOWLObjectPropertyAssertionAxiom(OWLObjectPropertyAssertionAxiomReference axiom)
void	generateOWLPropertyDeclaration(OWLPropertyReference owlProperty)
void	generateOWLPropertyPropertyAssertionAxiom(OWLPropertyPropertyAssertionAxiomReference axiom)
void	generateOWLSameIndividualAxiom(OWLSameIndividualAxiomReference axiom)
void	generateOWLSubclassAxiom(OWLSubClassAxiomReference axiom)

Methods inherited from class edu.stanford.smi.protegex.owl.swrl.bridge.DefaultConvertor

getBridge, getOWLDataFactory, getOWLDataValueFactory, name2URI, uri2PrefixedName

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DefaultOWLAxiomConvertor

public DefaultOWLAxiomConvertor(SWRLRuleEngineBridge bridge)

Method Detail

defineOWLClassDeclaration

protected abstract void defineOWLClassDeclaration(String classURI)
                                           throws TargetSWRLRuleEngineException

Throws:

TargetSWRLRuleEngineException

defineOWLIndividualDeclaration

protected abstract void defineOWLIndividualDeclaration(String individualURI)
                                                throws TargetSWRLRuleEngineException

Throws:

TargetSWRLRuleEngineException

defineOWLPropertyDeclaration

protected abstract void defineOWLPropertyDeclaration(String propertyURI)
                                              throws TargetSWRLRuleEngineException

Throws:

TargetSWRLRuleEngineException

defineOWLClassAssertionAxiom

protected abstract void defineOWLClassAssertionAxiom(String classURI,
                                                     String individualURI)
                                              throws TargetSWRLRuleEngineException

Throws:

TargetSWRLRuleEngineException

defineOWLObjectPropertyAssertionAxiom

protected abstract void defineOWLObjectPropertyAssertionAxiom(String propertyURI,
                                                              String subjectIndividualURI,
                                                              String objectIndividualURI)
                                                       throws TargetSWRLRuleEngineException

Throws:

TargetSWRLRuleEngineException

defineOWLDataPropertyAssertionAxiom

protected abstract void defineOWLDataPropertyAssertionAxiom(String propertyURI,
                                                            String subjectIndividualURI,
                                                            OWLLiteralReference objectLiteral)
                                                     throws TargetSWRLRuleEngineException

Throws:

TargetSWRLRuleEngineException

defineOWLSameIndividualAxiom

protected abstract void defineOWLSameIndividualAxiom(String individual1URI,
                                                     String individual2URI)
                                              throws TargetSWRLRuleEngineException

Throws:

TargetSWRLRuleEngineException

defineOWLDifferentIndividualsAxiom

protected abstract void defineOWLDifferentIndividualsAxiom(String individual1URI,
                                                           String individual2URI)
                                                    throws TargetSWRLRuleEngineException

Throws:

TargetSWRLRuleEngineException

defineOWLClassPropertyAssertion

protected abstract void defineOWLClassPropertyAssertion(String propertyURI,
                                                        String subjectIndividualURI,
                                                        String objectValueClassURI)
                                                 throws TargetSWRLRuleEngineException

Throws:

TargetSWRLRuleEngineException

defineOWLPropertyPropertyAssertion

protected abstract void defineOWLPropertyPropertyAssertion(String propertyURI,
                                                           String subjectIndividualURI,
                                                           String objectValuePropertyURI)
                                                    throws TargetSWRLRuleEngineException

Throws:

TargetSWRLRuleEngineException

generateOWLAxiom

public void generateOWLAxiom(OWLAxiomReference axiom)
                      throws TargetSWRLRuleEngineException

Specified by:

generateOWLAxiom in interface OWLAxiomConvertor

Throws:

TargetSWRLRuleEngineException

generateOWLClassDeclaration

public void generateOWLClassDeclaration(OWLClassReference owlClass)
                                 throws TargetSWRLRuleEngineException

Throws:

TargetSWRLRuleEngineException

generateOWLPropertyDeclaration

public void generateOWLPropertyDeclaration(OWLPropertyReference owlProperty)
                                    throws TargetSWRLRuleEngineException

Throws:

TargetSWRLRuleEngineException

generateOWLIndividualDeclaration

public void generateOWLIndividualDeclaration(OWLNamedIndividualReference individual)
                                      throws TargetSWRLRuleEngineException

Throws:

TargetSWRLRuleEngineException

generateOWLClassAssertionAxiom

public void generateOWLClassAssertionAxiom(OWLClassAssertionAxiomReference axiom)
                                    throws TargetSWRLRuleEngineException

Specified by:

generateOWLClassAssertionAxiom in interface OWLAxiomConvertor

Throws:

TargetSWRLRuleEngineException

generateOWLDataPropertyAssertionAxiom

public void generateOWLDataPropertyAssertionAxiom(OWLDataPropertyAssertionAxiomReference axiom)
                                           throws TargetSWRLRuleEngineException

Specified by:

generateOWLDataPropertyAssertionAxiom in interface OWLAxiomConvertor

Throws:

TargetSWRLRuleEngineException

generateOWLObjectPropertyAssertionAxiom

public void generateOWLObjectPropertyAssertionAxiom(OWLObjectPropertyAssertionAxiomReference axiom)
                                             throws TargetSWRLRuleEngineException

Specified by:

generateOWLObjectPropertyAssertionAxiom in interface OWLAxiomConvertor

Throws:

TargetSWRLRuleEngineException

generateOWLClassPropertyAssertionAxiom

public void generateOWLClassPropertyAssertionAxiom(OWLClassPropertyAssertionAxiomReference axiom)
                                            throws TargetSWRLRuleEngineException

Specified by:

generateOWLClassPropertyAssertionAxiom in interface OWLAxiomConvertor

Throws:

TargetSWRLRuleEngineException

generateOWLPropertyPropertyAssertionAxiom

public void generateOWLPropertyPropertyAssertionAxiom(OWLPropertyPropertyAssertionAxiomReference axiom)
                                               throws TargetSWRLRuleEngineException

Specified by:

generateOWLPropertyPropertyAssertionAxiom in interface OWLAxiomConvertor

Throws:

TargetSWRLRuleEngineException

generateOWLSameIndividualAxiom

public void generateOWLSameIndividualAxiom(OWLSameIndividualAxiomReference axiom)
                                    throws TargetSWRLRuleEngineException

Specified by:

generateOWLSameIndividualAxiom in interface OWLAxiomConvertor

Throws:

TargetSWRLRuleEngineException

generateOWLDifferentIndividualsAxiom

public void generateOWLDifferentIndividualsAxiom(OWLDifferentIndividualsAxiomReference axiom)
                                          throws TargetSWRLRuleEngineException

Specified by:

generateOWLDifferentIndividualsAxiom in interface OWLAxiomConvertor

Throws:

TargetSWRLRuleEngineException

generateOWLDeclarationAxiom

public void generateOWLDeclarationAxiom(OWLDeclarationAxiomReference axiom)
                                 throws TargetSWRLRuleEngineException

Specified by:

generateOWLDeclarationAxiom in interface OWLAxiomConvertor

Throws:

TargetSWRLRuleEngineException

generateOWLSubclassAxiom

public void generateOWLSubclassAxiom(OWLSubClassAxiomReference axiom)
                              throws TargetSWRLRuleEngineException

Specified by:

generateOWLSubclassAxiom in interface OWLAxiomConvertor

Throws:

TargetSWRLRuleEngineException