uk.ac.manchester.cs.jfact

Class DeclarationVisitorEx

java.lang.Object

uk.ac.manchester.cs.jfact.DeclarationVisitorEx

All Implemented Interfaces:

Serializable, org.semanticweb.owlapi.model.OWLEntityVisitorEx<AxiomInterface>

public class DeclarationVisitorEx
extends Object
implements org.semanticweb.owlapi.model.OWLEntityVisitorEx<AxiomInterface>, 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

Methods

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

Methods inherited from class java.lang.Object

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

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 AxiomInterface visit(org.semanticweb.owlapi.model.OWLClass cls)

Specified by:

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

visit

public AxiomInterface visit(org.semanticweb.owlapi.model.OWLObjectProperty property)

Specified by:

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

visit

public AxiomInterface visit(org.semanticweb.owlapi.model.OWLDataProperty property)

Specified by:

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

visit

public AxiomInterface visit(org.semanticweb.owlapi.model.OWLNamedIndividual individual)

Specified by:

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

visit

public AxiomInterface visit(org.semanticweb.owlapi.model.OWLDatatype datatype)

Specified by:

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

visit

public AxiomInterface visit(org.semanticweb.owlapi.model.OWLAnnotationProperty property)

Specified by:

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