uk.ac.manchester.cs.jfact

Class AxiomTranslator

java.lang.Object

uk.ac.manchester.cs.jfact.AxiomTranslator

All Implemented Interfaces:

Serializable, org.semanticweb.owlapi.model.OWLAnnotationAxiomVisitorEx<AxiomInterface>, org.semanticweb.owlapi.model.OWLAxiomVisitorEx<AxiomInterface>, org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<AxiomInterface>

public class AxiomTranslator
extends Object
implements org.semanticweb.owlapi.model.OWLAxiomVisitorEx<AxiomInterface>, Serializable

axiom translator

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
AxiomTranslator(Ontology o, org.semanticweb.owlapi.model.OWLDataFactory df, TranslationMachinery tr)

Method Summary

Methods

Modifier and Type	Method and Description
AxiomInterface	visit(org.semanticweb.owlapi.model.OWLAnnotationAssertionAxiom axiom)
AxiomInterface	visit(org.semanticweb.owlapi.model.OWLAnnotationPropertyDomainAxiom axiom)
AxiomInterface	visit(org.semanticweb.owlapi.model.OWLAnnotationPropertyRangeAxiom axiom)
AxiomInterface	visit(org.semanticweb.owlapi.model.OWLAsymmetricObjectPropertyAxiom axiom)
AxiomInterface	visit(org.semanticweb.owlapi.model.OWLClassAssertionAxiom axiom)
AxiomInterface	visit(org.semanticweb.owlapi.model.OWLDataPropertyAssertionAxiom axiom)
AxiomInterface	visit(org.semanticweb.owlapi.model.OWLDataPropertyDomainAxiom axiom)
AxiomInterface	visit(org.semanticweb.owlapi.model.OWLDataPropertyRangeAxiom axiom)
AxiomInterface	visit(org.semanticweb.owlapi.model.OWLDatatypeDefinitionAxiom axiom)
AxiomInterface	visit(org.semanticweb.owlapi.model.OWLDeclarationAxiom axiom)
AxiomInterface	visit(org.semanticweb.owlapi.model.OWLDifferentIndividualsAxiom axiom)
AxiomInterface	visit(org.semanticweb.owlapi.model.OWLDisjointClassesAxiom axiom)
AxiomInterface	visit(org.semanticweb.owlapi.model.OWLDisjointDataPropertiesAxiom axiom)
AxiomInterface	visit(org.semanticweb.owlapi.model.OWLDisjointObjectPropertiesAxiom axiom)
AxiomInterface	visit(org.semanticweb.owlapi.model.OWLDisjointUnionAxiom axiom)
AxiomInterface	visit(org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom axiom)
AxiomInterface	visit(org.semanticweb.owlapi.model.OWLEquivalentDataPropertiesAxiom axiom)
AxiomInterface	visit(org.semanticweb.owlapi.model.OWLEquivalentObjectPropertiesAxiom axiom)
AxiomInterface	visit(org.semanticweb.owlapi.model.OWLFunctionalDataPropertyAxiom axiom)
AxiomInterface	visit(org.semanticweb.owlapi.model.OWLFunctionalObjectPropertyAxiom axiom)
AxiomInterface	visit(org.semanticweb.owlapi.model.OWLHasKeyAxiom axiom)
AxiomInterface	visit(org.semanticweb.owlapi.model.OWLInverseFunctionalObjectPropertyAxiom axiom)
AxiomInterface	visit(org.semanticweb.owlapi.model.OWLInverseObjectPropertiesAxiom axiom)
AxiomInterface	visit(org.semanticweb.owlapi.model.OWLIrreflexiveObjectPropertyAxiom axiom)
AxiomInterface	visit(org.semanticweb.owlapi.model.OWLNegativeDataPropertyAssertionAxiom axiom)
AxiomInterface	visit(org.semanticweb.owlapi.model.OWLNegativeObjectPropertyAssertionAxiom axiom)
AxiomInterface	visit(org.semanticweb.owlapi.model.OWLObjectPropertyAssertionAxiom axiom)
AxiomInterface	visit(org.semanticweb.owlapi.model.OWLObjectPropertyDomainAxiom axiom)
AxiomInterface	visit(org.semanticweb.owlapi.model.OWLObjectPropertyRangeAxiom axiom)
AxiomInterface	visit(org.semanticweb.owlapi.model.OWLReflexiveObjectPropertyAxiom axiom)
AxiomInterface	visit(org.semanticweb.owlapi.model.OWLSameIndividualAxiom axiom)
AxiomInterface	visit(org.semanticweb.owlapi.model.OWLSubAnnotationPropertyOfAxiom axiom)
AxiomInterface	visit(org.semanticweb.owlapi.model.OWLSubClassOfAxiom axiom)
AxiomInterface	visit(org.semanticweb.owlapi.model.OWLSubDataPropertyOfAxiom axiom)
AxiomInterface	visit(org.semanticweb.owlapi.model.OWLSubObjectPropertyOfAxiom axiom)
AxiomInterface	visit(org.semanticweb.owlapi.model.OWLSubPropertyChainOfAxiom axiom)
AxiomInterface	visit(org.semanticweb.owlapi.model.OWLSymmetricObjectPropertyAxiom axiom)
AxiomInterface	visit(org.semanticweb.owlapi.model.OWLTransitiveObjectPropertyAxiom axiom)
AxiomInterface	visit(org.semanticweb.owlapi.model.SWRLRule rule)

Methods inherited from class java.lang.Object

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

Constructor Detail

AxiomTranslator

public AxiomTranslator(Ontology o,
               org.semanticweb.owlapi.model.OWLDataFactory df,
               TranslationMachinery tr)

Parameters:

o - o

df - df

tr - tr

Method Detail

visit

public AxiomInterface visit(org.semanticweb.owlapi.model.OWLSubClassOfAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<AxiomInterface>

visit

public AxiomInterface visit(org.semanticweb.owlapi.model.OWLNegativeObjectPropertyAssertionAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<AxiomInterface>

visit

public AxiomInterface visit(org.semanticweb.owlapi.model.OWLAsymmetricObjectPropertyAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<AxiomInterface>

visit

public AxiomInterface visit(org.semanticweb.owlapi.model.OWLReflexiveObjectPropertyAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<AxiomInterface>

visit

public AxiomInterface visit(org.semanticweb.owlapi.model.OWLDisjointClassesAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<AxiomInterface>

visit

public AxiomInterface visit(org.semanticweb.owlapi.model.OWLDataPropertyDomainAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<AxiomInterface>

visit

public AxiomInterface visit(org.semanticweb.owlapi.model.OWLObjectPropertyDomainAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<AxiomInterface>

visit

public AxiomInterface visit(org.semanticweb.owlapi.model.OWLEquivalentObjectPropertiesAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<AxiomInterface>

visit

public AxiomInterface visit(org.semanticweb.owlapi.model.OWLNegativeDataPropertyAssertionAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<AxiomInterface>

visit

public AxiomInterface visit(org.semanticweb.owlapi.model.OWLDifferentIndividualsAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<AxiomInterface>

visit

public AxiomInterface visit(org.semanticweb.owlapi.model.OWLDisjointDataPropertiesAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<AxiomInterface>

visit

public AxiomInterface visit(org.semanticweb.owlapi.model.OWLDisjointObjectPropertiesAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<AxiomInterface>

visit

public AxiomInterface visit(org.semanticweb.owlapi.model.OWLObjectPropertyRangeAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<AxiomInterface>

visit

public AxiomInterface visit(org.semanticweb.owlapi.model.OWLObjectPropertyAssertionAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<AxiomInterface>

visit

public AxiomInterface visit(org.semanticweb.owlapi.model.OWLFunctionalObjectPropertyAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<AxiomInterface>

visit

public AxiomInterface visit(org.semanticweb.owlapi.model.OWLSubObjectPropertyOfAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<AxiomInterface>

visit

public AxiomInterface visit(org.semanticweb.owlapi.model.OWLDisjointUnionAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<AxiomInterface>

visit

public AxiomInterface visit(org.semanticweb.owlapi.model.OWLDeclarationAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<AxiomInterface>

visit

public AxiomInterface visit(org.semanticweb.owlapi.model.OWLAnnotationAssertionAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAnnotationAxiomVisitorEx<AxiomInterface>

visit

public AxiomInterface visit(org.semanticweb.owlapi.model.OWLSymmetricObjectPropertyAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<AxiomInterface>

visit

public AxiomInterface visit(org.semanticweb.owlapi.model.OWLDataPropertyRangeAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<AxiomInterface>

visit

public AxiomInterface visit(org.semanticweb.owlapi.model.OWLFunctionalDataPropertyAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<AxiomInterface>

visit

public AxiomInterface visit(org.semanticweb.owlapi.model.OWLEquivalentDataPropertiesAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<AxiomInterface>

visit

public AxiomInterface visit(org.semanticweb.owlapi.model.OWLClassAssertionAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<AxiomInterface>

visit

public AxiomInterface visit(org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<AxiomInterface>

visit

public AxiomInterface visit(org.semanticweb.owlapi.model.OWLDataPropertyAssertionAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<AxiomInterface>

visit

public AxiomInterface visit(org.semanticweb.owlapi.model.OWLTransitiveObjectPropertyAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<AxiomInterface>

visit

public AxiomInterface visit(org.semanticweb.owlapi.model.OWLIrreflexiveObjectPropertyAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<AxiomInterface>

visit

public AxiomInterface visit(org.semanticweb.owlapi.model.OWLSubDataPropertyOfAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<AxiomInterface>

visit

public AxiomInterface visit(org.semanticweb.owlapi.model.OWLInverseFunctionalObjectPropertyAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<AxiomInterface>

visit

public AxiomInterface visit(org.semanticweb.owlapi.model.OWLSameIndividualAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<AxiomInterface>

visit

public AxiomInterface visit(org.semanticweb.owlapi.model.OWLSubPropertyChainOfAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<AxiomInterface>

visit

public AxiomInterface visit(org.semanticweb.owlapi.model.OWLInverseObjectPropertiesAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<AxiomInterface>

visit

public AxiomInterface visit(org.semanticweb.owlapi.model.OWLHasKeyAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<AxiomInterface>

visit

public AxiomInterface visit(org.semanticweb.owlapi.model.OWLDatatypeDefinitionAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitorEx<AxiomInterface>

visit

public AxiomInterface visit(org.semanticweb.owlapi.model.SWRLRule rule)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitorEx<AxiomInterface>

visit

public AxiomInterface visit(org.semanticweb.owlapi.model.OWLSubAnnotationPropertyOfAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAnnotationAxiomVisitorEx<AxiomInterface>

visit

public AxiomInterface visit(org.semanticweb.owlapi.model.OWLAnnotationPropertyDomainAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAnnotationAxiomVisitorEx<AxiomInterface>

visit

public AxiomInterface visit(org.semanticweb.owlapi.model.OWLAnnotationPropertyRangeAxiom axiom)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAnnotationAxiomVisitorEx<AxiomInterface>