com.clarkparsia.pellet.owlapiv3

Class PelletVisitor

java.lang.Object

com.clarkparsia.pellet.owlapiv3.PelletVisitor

All Implemented Interfaces:

org.semanticweb.owlapi.model.OWLAnnotationAxiomVisitor, org.semanticweb.owlapi.model.OWLAnnotationObjectVisitor, org.semanticweb.owlapi.model.OWLAnnotationValueVisitor, org.semanticweb.owlapi.model.OWLAxiomVisitor, org.semanticweb.owlapi.model.OWLClassExpressionVisitor, org.semanticweb.owlapi.model.OWLDataRangeVisitor, org.semanticweb.owlapi.model.OWLDataVisitor, org.semanticweb.owlapi.model.OWLEntityVisitor, org.semanticweb.owlapi.model.OWLIndividualVisitor, org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor, org.semanticweb.owlapi.model.OWLNamedObjectVisitor, org.semanticweb.owlapi.model.OWLObjectVisitor, org.semanticweb.owlapi.model.OWLPropertyExpressionVisitor, org.semanticweb.owlapi.model.SWRLObjectVisitor

public class PelletVisitor
extends Object
implements org.semanticweb.owlapi.model.OWLObjectVisitor

Title:

Description:

Copyright: Copyright (c) 2007

Company: Clark & Parsia, LLC.

Author:

Evren Sirin

Field Summary

Fields

Modifier and Type	Field and Description
static Logger	log

Constructor Summary

Constructors

Constructor and Description
PelletVisitor(KnowledgeBase kb)

Method Summary

Modifier and Type	Method and Description
void	clear() Clear the visitor cache about simple properties.
Set<org.semanticweb.owlapi.model.OWLAxiom>	getUnsupportedAxioms()
boolean	isReloadRequired()
void	reset() Reset the visitor state about created terms.
aterm.ATermAppl	result()
void	setAddAxiom(boolean addAxioms)
void	visit(org.semanticweb.owlapi.model.IRI annotationValue)
void	visit(org.semanticweb.owlapi.model.OWLAnnotation a)
void	visit(org.semanticweb.owlapi.model.OWLAnnotationAssertionAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLAnnotationProperty prop)
void	visit(org.semanticweb.owlapi.model.OWLAnnotationPropertyDomainAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLAnnotationPropertyRangeAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLAnonymousIndividual ind)
void	visit(org.semanticweb.owlapi.model.OWLAsymmetricObjectPropertyAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLClass c)
void	visit(org.semanticweb.owlapi.model.OWLClassAssertionAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLDataAllValuesFrom restriction)
void	visit(org.semanticweb.owlapi.model.OWLDataComplementOf node)
void	visit(org.semanticweb.owlapi.model.OWLDataExactCardinality restriction)
void	visit(org.semanticweb.owlapi.model.OWLDataHasValue restriction)
void	visit(org.semanticweb.owlapi.model.OWLDataIntersectionOf and)
void	visit(org.semanticweb.owlapi.model.OWLDataMaxCardinality restriction)
void	visit(org.semanticweb.owlapi.model.OWLDataMinCardinality restriction)
void	visit(org.semanticweb.owlapi.model.OWLDataOneOf enumeration)
void	visit(org.semanticweb.owlapi.model.OWLDataProperty prop)
void	visit(org.semanticweb.owlapi.model.OWLDataPropertyAssertionAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLDataPropertyDomainAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLDataPropertyRangeAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLDataSomeValuesFrom restriction)
void	visit(org.semanticweb.owlapi.model.OWLDatatype ocdt)
void	visit(org.semanticweb.owlapi.model.OWLDatatypeDefinitionAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLDatatypeRestriction node)
void	visit(org.semanticweb.owlapi.model.OWLDataUnionOf or)
void	visit(org.semanticweb.owlapi.model.OWLDeclarationAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLDifferentIndividualsAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLDisjointClassesAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLDisjointDataPropertiesAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLDisjointObjectPropertiesAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLDisjointUnionAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLEquivalentClassesAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLEquivalentDataPropertiesAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLEquivalentObjectPropertiesAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLFacetRestriction node)
void	visit(org.semanticweb.owlapi.model.OWLFunctionalDataPropertyAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLFunctionalObjectPropertyAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLHasKeyAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLInverseFunctionalObjectPropertyAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLInverseObjectPropertiesAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLIrreflexiveObjectPropertyAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLLiteral constant)
void	visit(org.semanticweb.owlapi.model.OWLNamedIndividual ind)
void	visit(org.semanticweb.owlapi.model.OWLNegativeDataPropertyAssertionAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLNegativeObjectPropertyAssertionAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLObjectAllValuesFrom restriction)
void	visit(org.semanticweb.owlapi.model.OWLObjectComplementOf not)
void	visit(org.semanticweb.owlapi.model.OWLObjectExactCardinality restriction)
void	visit(org.semanticweb.owlapi.model.OWLObjectHasSelf restriction)
void	visit(org.semanticweb.owlapi.model.OWLObjectHasValue restriction)
void	visit(org.semanticweb.owlapi.model.OWLObjectIntersectionOf and)
void	visit(org.semanticweb.owlapi.model.OWLObjectInverseOf propInv)
void	visit(org.semanticweb.owlapi.model.OWLObjectMaxCardinality restriction)
void	visit(org.semanticweb.owlapi.model.OWLObjectMinCardinality restriction)
void	visit(org.semanticweb.owlapi.model.OWLObjectOneOf enumeration)
void	visit(org.semanticweb.owlapi.model.OWLObjectProperty prop)
void	visit(org.semanticweb.owlapi.model.OWLObjectPropertyAssertionAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLObjectPropertyDomainAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLObjectPropertyRangeAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLObjectSomeValuesFrom restriction)
void	visit(org.semanticweb.owlapi.model.OWLObjectUnionOf or)
void	visit(org.semanticweb.owlapi.model.OWLOntology ont)
void	visit(org.semanticweb.owlapi.model.OWLReflexiveObjectPropertyAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLSameIndividualAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLSubAnnotationPropertyOfAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLSubClassOfAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLSubDataPropertyOfAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLSubObjectPropertyOfAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLSubPropertyChainOfAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLSymmetricObjectPropertyAxiom axiom)
void	visit(org.semanticweb.owlapi.model.OWLTransitiveObjectPropertyAxiom axiom)
void	visit(org.semanticweb.owlapi.model.SWRLBuiltInAtom atom)
void	visit(org.semanticweb.owlapi.model.SWRLClassAtom atom)
void	visit(org.semanticweb.owlapi.model.SWRLDataPropertyAtom atom)
void	visit(org.semanticweb.owlapi.model.SWRLDataRangeAtom atom)
void	visit(org.semanticweb.owlapi.model.SWRLDifferentIndividualsAtom atom)
void	visit(org.semanticweb.owlapi.model.SWRLIndividualArgument iobj)
void	visit(org.semanticweb.owlapi.model.SWRLLiteralArgument cons)
void	visit(org.semanticweb.owlapi.model.SWRLObjectPropertyAtom atom)
void	visit(org.semanticweb.owlapi.model.SWRLRule rule)
void	visit(org.semanticweb.owlapi.model.SWRLSameIndividualAtom atom)
void	visit(org.semanticweb.owlapi.model.SWRLVariable var)

Methods inherited from class java.lang.Object

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

Field Detail

log

public static Logger log

Constructor Detail

PelletVisitor

public PelletVisitor(KnowledgeBase kb)

Method Detail

clear

public void clear()

Clear the visitor cache about simple properties. Should be called before a reload.

getUnsupportedAxioms

public Set<org.semanticweb.owlapi.model.OWLAxiom> getUnsupportedAxioms()

setAddAxiom

public void setAddAxiom(boolean addAxioms)

isReloadRequired

public boolean isReloadRequired()

result

public aterm.ATermAppl result()

reset

public void reset()

Reset the visitor state about created terms. Should be called before every visit so terms created earlier will not affect the future results.

visit

public void visit(org.semanticweb.owlapi.model.OWLClass c)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLEntityVisitor

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLNamedObjectVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLAnnotationProperty prop)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLEntityVisitor

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLNamedObjectVisitor

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLPropertyExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLAnonymousIndividual ind)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAnnotationValueVisitor

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLIndividualVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLNamedIndividual ind)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLEntityVisitor

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLIndividualVisitor

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLNamedObjectVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectProperty prop)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLEntityVisitor

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLNamedObjectVisitor

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLPropertyExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectInverseOf propInv)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLPropertyExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLDataProperty prop)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLEntityVisitor

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLNamedObjectVisitor

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLPropertyExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLLiteral constant)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAnnotationValueVisitor

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLDataVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLDatatype ocdt)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLDataRangeVisitor

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLEntityVisitor

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLNamedObjectVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectIntersectionOf and)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectUnionOf or)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectComplementOf not)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectOneOf enumeration)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectSomeValuesFrom restriction)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectAllValuesFrom restriction)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectHasValue restriction)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectExactCardinality restriction)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectMaxCardinality restriction)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectMinCardinality restriction)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLDataExactCardinality restriction)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLDataMaxCardinality restriction)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLDataMinCardinality restriction)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

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

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

visit

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

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

visit

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

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

visit

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

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

visit

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

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

visit

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

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

visit

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

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

visit

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

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLDataOneOf enumeration)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLDataRangeVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLDataAllValuesFrom restriction)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLDataSomeValuesFrom restriction)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLDataHasValue restriction)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLOntology ont)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLNamedObjectVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectHasSelf restriction)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

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

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

visit

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

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

visit

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

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

visit

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

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLDataComplementOf node)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLDataRangeVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLDataIntersectionOf and)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLDataRangeVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLDatatypeRestriction node)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLDataRangeVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLDataUnionOf or)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLDataRangeVisitor

visit

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

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

visit

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

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

visit

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

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

visit

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

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

visit

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

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

visit

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

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

visit

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

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

visit

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

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

visit

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

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

visit

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

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

visit

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

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

visit

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

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAxiomVisitor

visit

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

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

visit

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

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

visit

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

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

visit

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

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

visit

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

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

visit

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

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

visit

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

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

visit

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

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

visit

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

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

visit

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

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLFacetRestriction node)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLDataVisitor

visit

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

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

Specified by:

visit in interface org.semanticweb.owlapi.model.SWRLObjectVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLAnnotation a)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAnnotationObjectVisitor

visit

public void visit(org.semanticweb.owlapi.model.IRI annotationValue)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAnnotationValueVisitor

visit

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

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAnnotationAxiomVisitor

visit

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

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAnnotationAxiomVisitor

visit

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

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAnnotationAxiomVisitor

visit

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

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLAnnotationAxiomVisitor

visit

public void visit(org.semanticweb.owlapi.model.SWRLClassAtom atom)

Specified by:

visit in interface org.semanticweb.owlapi.model.SWRLObjectVisitor

visit

public void visit(org.semanticweb.owlapi.model.SWRLDataRangeAtom atom)

Specified by:

visit in interface org.semanticweb.owlapi.model.SWRLObjectVisitor

visit

public void visit(org.semanticweb.owlapi.model.SWRLObjectPropertyAtom atom)

Specified by:

visit in interface org.semanticweb.owlapi.model.SWRLObjectVisitor

visit

public void visit(org.semanticweb.owlapi.model.SWRLDataPropertyAtom atom)

Specified by:

visit in interface org.semanticweb.owlapi.model.SWRLObjectVisitor

visit

public void visit(org.semanticweb.owlapi.model.SWRLSameIndividualAtom atom)

Specified by:

visit in interface org.semanticweb.owlapi.model.SWRLObjectVisitor

visit

public void visit(org.semanticweb.owlapi.model.SWRLDifferentIndividualsAtom atom)

Specified by:

visit in interface org.semanticweb.owlapi.model.SWRLObjectVisitor

visit

public void visit(org.semanticweb.owlapi.model.SWRLBuiltInAtom atom)

Specified by:

visit in interface org.semanticweb.owlapi.model.SWRLObjectVisitor

visit

public void visit(org.semanticweb.owlapi.model.SWRLVariable var)

Specified by:

visit in interface org.semanticweb.owlapi.model.SWRLObjectVisitor

visit

public void visit(org.semanticweb.owlapi.model.SWRLIndividualArgument iobj)

Specified by:

visit in interface org.semanticweb.owlapi.model.SWRLObjectVisitor

visit

public void visit(org.semanticweb.owlapi.model.SWRLLiteralArgument cons)

Specified by:

visit in interface org.semanticweb.owlapi.model.SWRLObjectVisitor