Package openllet.owlapi

Class PelletVisitor

  • All Implemented Interfaces:
    org.semanticweb.owlapi.model.OWLAnnotationAxiomVisitor, org.semanticweb.owlapi.model.OWLAnnotationObjectVisitor, org.semanticweb.owlapi.model.OWLAnnotationValueVisitor, org.semanticweb.owlapi.model.OWLAnonymousIndividualVisitorBase, org.semanticweb.owlapi.model.OWLAxiomVisitor, org.semanticweb.owlapi.model.OWLClassExpressionVisitor, org.semanticweb.owlapi.model.OWLClassVisitorBase, org.semanticweb.owlapi.model.OWLDataEntityVisitorBase, org.semanticweb.owlapi.model.OWLDataRangeVisitor, org.semanticweb.owlapi.model.OWLDataVisitor, org.semanticweb.owlapi.model.OWLEntityVisitor, org.semanticweb.owlapi.model.OWLIndividualEntityVisitorBase, org.semanticweb.owlapi.model.OWLIndividualVisitor, org.semanticweb.owlapi.model.OWLLiteralVisitorBase, org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor, org.semanticweb.owlapi.model.OWLNamedObjectVisitor, org.semanticweb.owlapi.model.OWLObjectVisitor, org.semanticweb.owlapi.model.OWLPropertyEntityVisitorBase, org.semanticweb.owlapi.model.OWLPropertyExpressionVisitor, org.semanticweb.owlapi.model.OWLVisitorBase, org.semanticweb.owlapi.model.SWRLObjectVisitor, org.semanticweb.owlapi.model.SWRLRuleVisitorBase
    public class PelletVisitor
extends java.lang.Object
implements org.semanticweb.owlapi.model.OWLObjectVisitor

    Copyright: Copyright (c) 2007

    Company: Clark & Parsia, LLC.

    Author:
    Evren Sirin

    • Field Summary

      Fields 
      Modifier and Type Field Description
      static java.util.logging.Logger _logger  

    • Constructor Summary

      Constructors 
      Constructor Description
      PelletVisitor​(openllet.core.KnowledgeBase kb)  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void clear()
      Clear the visitor _cache about simple properties.
      void dispose()  
      java.util.Set<org.semanticweb.owlapi.model.OWLAxiom> getUnsupportedAxioms()  
      boolean isReloadRequired()  
      void reset()
      Reset the visitor state about created terms.
      openllet.aterm.ATermAppl result()  
      void setAddAxiom​(boolean addAxioms)  
      void verify()  
      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

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

      • Methods inherited from interface org.semanticweb.owlapi.model.OWLVisitorBase

        doDefault, getDefaultReturnValue, handleDefault

    • Field Detail

      • _logger

        public static java.util.logging.Logger _logger

    • Constructor Detail

      • PelletVisitor

        public PelletVisitor​(openllet.core.KnowledgeBase kb)

    • Method Detail

      • dispose

        public void dispose()

      • clear

        public void clear()
        Clear the visitor _cache about simple properties. Should be called before a reload.

      • getUnsupportedAxioms

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

      • verify

        public void verify()

      • setAddAxiom

        public void setAddAxiom​(boolean addAxioms)

      • isReloadRequired

        public boolean isReloadRequired()

      • result

        public openllet.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.OWLClassVisitorBase

      • visit

        public void visit​(org.semanticweb.owlapi.model.OWLAnnotationProperty prop)
        Specified by:
        visit in interface org.semanticweb.owlapi.model.OWLPropertyEntityVisitorBase

      • visit

        public void visit​(org.semanticweb.owlapi.model.OWLAnonymousIndividual ind)
        Specified by:
        visit in interface org.semanticweb.owlapi.model.OWLAnonymousIndividualVisitorBase

      • visit

        public void visit​(org.semanticweb.owlapi.model.OWLNamedIndividual ind)
        Specified by:
        visit in interface org.semanticweb.owlapi.model.OWLIndividualEntityVisitorBase

      • visit

        public void visit​(org.semanticweb.owlapi.model.OWLObjectProperty prop)
        Specified by:
        visit in interface org.semanticweb.owlapi.model.OWLPropertyEntityVisitorBase

      • 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.OWLPropertyEntityVisitorBase

      • visit

        public void visit​(org.semanticweb.owlapi.model.OWLLiteral constant)
        Specified by:
        visit in interface org.semanticweb.owlapi.model.OWLLiteralVisitorBase

      • visit

        public void visit​(org.semanticweb.owlapi.model.OWLDatatype ocdt)
        Specified by:
        visit in interface org.semanticweb.owlapi.model.OWLDataEntityVisitorBase

      • 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.SWRLRuleVisitorBase

      • 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