Protégé-OWL 3.4.8

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

java.lang.Object
  extended by edu.stanford.smi.protegex.owl.swrl.bridge.DefaultConvertor
      extended by 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

Protégé-OWL 3.4.8

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