uk.ac.manchester.cs.jfact

Class DeclarationVisitorEx

java.lang.Object

uk.ac.manchester.cs.jfact.DeclarationVisitorEx

All Implemented Interfaces:

Serializable, org.semanticweb.owlapi.model.OWLClassVisitorExBase<org.semanticweb.owlapitools.decomposition.AxiomWrapper>, org.semanticweb.owlapi.model.OWLDataEntityVisitorExBase<org.semanticweb.owlapitools.decomposition.AxiomWrapper>, org.semanticweb.owlapi.model.OWLEntityVisitorEx<org.semanticweb.owlapitools.decomposition.AxiomWrapper>, org.semanticweb.owlapi.model.OWLIndividualEntityVisitorExBase<org.semanticweb.owlapitools.decomposition.AxiomWrapper>, org.semanticweb.owlapi.model.OWLPropertyEntityVisitorExBase<org.semanticweb.owlapitools.decomposition.AxiomWrapper>, org.semanticweb.owlapi.model.OWLVisitorExBase<org.semanticweb.owlapitools.decomposition.AxiomWrapper>

public class DeclarationVisitorEx
extends Object
implements org.semanticweb.owlapi.model.OWLEntityVisitorEx<org.semanticweb.owlapitools.decomposition.AxiomWrapper>, Serializable

declaration translator

See Also:

Serialized Form

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
org.semanticweb.owlapitools.decomposition.AxiomWrapper	visit(org.semanticweb.owlapi.model.OWLAnnotationProperty property)
org.semanticweb.owlapitools.decomposition.AxiomWrapper	visit(org.semanticweb.owlapi.model.OWLClass cls)
org.semanticweb.owlapitools.decomposition.AxiomWrapper	visit(org.semanticweb.owlapi.model.OWLDataProperty property)
org.semanticweb.owlapitools.decomposition.AxiomWrapper	visit(org.semanticweb.owlapi.model.OWLDatatype datatype)
org.semanticweb.owlapitools.decomposition.AxiomWrapper	visit(org.semanticweb.owlapi.model.OWLNamedIndividual individual)
org.semanticweb.owlapitools.decomposition.AxiomWrapper	visit(org.semanticweb.owlapi.model.OWLObjectProperty property)

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.semanticweb.owlapi.model.OWLVisitorExBase

doDefault

Constructor Detail

DeclarationVisitorEx

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

Parameters:

o - o

df - df

tr - tr

Method Detail

visit

public org.semanticweb.owlapitools.decomposition.AxiomWrapper visit(org.semanticweb.owlapi.model.OWLClass cls)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassVisitorExBase<org.semanticweb.owlapitools.decomposition.AxiomWrapper>

visit

public org.semanticweb.owlapitools.decomposition.AxiomWrapper visit(org.semanticweb.owlapi.model.OWLObjectProperty property)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLPropertyEntityVisitorExBase<org.semanticweb.owlapitools.decomposition.AxiomWrapper>

visit

public org.semanticweb.owlapitools.decomposition.AxiomWrapper visit(org.semanticweb.owlapi.model.OWLDataProperty property)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLPropertyEntityVisitorExBase<org.semanticweb.owlapitools.decomposition.AxiomWrapper>

visit

public org.semanticweb.owlapitools.decomposition.AxiomWrapper visit(org.semanticweb.owlapi.model.OWLNamedIndividual individual)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLIndividualEntityVisitorExBase<org.semanticweb.owlapitools.decomposition.AxiomWrapper>

visit

public org.semanticweb.owlapitools.decomposition.AxiomWrapper visit(org.semanticweb.owlapi.model.OWLDatatype datatype)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLDataEntityVisitorExBase<org.semanticweb.owlapitools.decomposition.AxiomWrapper>

visit

public org.semanticweb.owlapitools.decomposition.AxiomWrapper visit(org.semanticweb.owlapi.model.OWLAnnotationProperty property)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLPropertyEntityVisitorExBase<org.semanticweb.owlapitools.decomposition.AxiomWrapper>