Uses of Interface
org.semanticweb.owlapi.model.OWLAxiomVisitorEx

Packages that use OWLAxiomVisitorEx

Package	Description
org.obolibrary.macro
org.semanticweb.owlapi.model	Main API classes.
org.semanticweb.owlapi.reasoner.impl	OWLReasoner implementation package
org.semanticweb.owlapi.util	Utilities package
uk.ac.manchester.cs.owl.owlapi	OWL API reference implementation package

Uses of OWLAxiomVisitorEx in org.obolibrary.macro

Classes in org.obolibrary.macro that implement OWLAxiomVisitorEx

Modifier and Type	Class and Description
class	AbstractMacroExpansionVisitor Empty abstract visitor for macro expansion.

Uses of OWLAxiomVisitorEx in org.semanticweb.owlapi.model

Subinterfaces of OWLAxiomVisitorEx in org.semanticweb.owlapi.model

Modifier and Type	Interface and Description
interface	OWLObjectVisitorEx<O>

Methods in org.semanticweb.owlapi.model with parameters of type OWLAxiomVisitorEx

Modifier and Type	Method and Description
<O> O	OWLDatatypeDefinitionAxiom.accept(OWLAxiomVisitorEx<O> visitor)
<O> O	OWLAxiom.accept(OWLAxiomVisitorEx<O> visitor)

Uses of OWLAxiomVisitorEx in org.semanticweb.owlapi.reasoner.impl

Classes in org.semanticweb.owlapi.reasoner.impl that implement OWLAxiomVisitorEx

Modifier and Type	Class and Description
class	SatisfiabilityReducer

Uses of OWLAxiomVisitorEx in org.semanticweb.owlapi.util

Classes in org.semanticweb.owlapi.util that implement OWLAxiomVisitorEx

Modifier and Type	Class and Description
class	DelegatingObjectVisitorEx<O> A delegating visitor.
class	HornAxiomVisitorEx Returns true if the visited axioms are an ontology in Horn-SHIQ form.
class	MaximumModalDepthFinder
class	NNF
class	OWLAxiomVisitorExAdapter<O> adapter for axiom visitors
class	OWLClassExpressionCollector Collects all of the nested class expression that are used in some OWLObject.
class	OWLEntityCollector A utility class that visits axioms, class expressions etc.
class	OWLObjectVisitorExAdapter<O> Provides a default implementation of OWLObjectVisitorEx.
class	OWLOntologyWalkerVisitorEx<E>

Uses of OWLAxiomVisitorEx in uk.ac.manchester.cs.owl.owlapi

Classes in uk.ac.manchester.cs.owl.owlapi that implement OWLAxiomVisitorEx

Modifier and Type	Class and Description
static class	InitVisitorFactory.InitCollectionVisitor<K>
static class	InitVisitorFactory.InitIndividualVisitor<K extends OWLObject>
static class	InitVisitorFactory.InitVisitor<K>

Methods in uk.ac.manchester.cs.owl.owlapi with parameters of type OWLAxiomVisitorEx

Modifier and Type	Method and Description
<O> O	SWRLRuleImpl.accept(OWLAxiomVisitorEx<O> visitor)
<O> O	OWLTransitiveObjectPropertyAxiomImpl.accept(OWLAxiomVisitorEx<O> visitor)
<O> O	OWLSymmetricObjectPropertyAxiomImpl.accept(OWLAxiomVisitorEx<O> visitor)
<O> O	OWLSubPropertyChainAxiomImpl.accept(OWLAxiomVisitorEx<O> visitor)
<O> O	OWLSubObjectPropertyOfAxiomImpl.accept(OWLAxiomVisitorEx<O> visitor)
<O> O	OWLSubDataPropertyOfAxiomImpl.accept(OWLAxiomVisitorEx<O> visitor)
<O> O	OWLSubClassOfAxiomImpl.accept(OWLAxiomVisitorEx<O> visitor)
<O> O	OWLSubAnnotationPropertyOfAxiomImpl.accept(OWLAxiomVisitorEx<O> visitor)
<O> O	OWLSameIndividualAxiomImpl.accept(OWLAxiomVisitorEx<O> visitor)
<O> O	OWLReflexiveObjectPropertyAxiomImpl.accept(OWLAxiomVisitorEx<O> visitor)
<O> O	OWLObjectPropertyRangeAxiomImpl.accept(OWLAxiomVisitorEx<O> visitor)
<O> O	OWLObjectPropertyDomainAxiomImpl.accept(OWLAxiomVisitorEx<O> visitor)
<O> O	OWLObjectPropertyAssertionAxiomImpl.accept(OWLAxiomVisitorEx<O> visitor)
<O> O	OWLNegativeObjectPropertyAssertionAxiomImpl.accept(OWLAxiomVisitorEx<O> visitor)
<O> O	OWLNegativeDataPropertyAssertionAxiomImpl.accept(OWLAxiomVisitorEx<O> visitor)
<O> O	OWLIrreflexiveObjectPropertyAxiomImpl.accept(OWLAxiomVisitorEx<O> visitor)
<O> O	OWLInverseObjectPropertiesAxiomImpl.accept(OWLAxiomVisitorEx<O> visitor)
<O> O	OWLInverseFunctionalObjectPropertyAxiomImpl.accept(OWLAxiomVisitorEx<O> visitor)
<O> O	OWLHasKeyAxiomImpl.accept(OWLAxiomVisitorEx<O> visitor)
<O> O	OWLFunctionalObjectPropertyAxiomImpl.accept(OWLAxiomVisitorEx<O> visitor)
<O> O	OWLFunctionalDataPropertyAxiomImpl.accept(OWLAxiomVisitorEx<O> visitor)
<O> O	OWLEquivalentObjectPropertiesAxiomImpl.accept(OWLAxiomVisitorEx<O> visitor)
<O> O	OWLEquivalentDataPropertiesAxiomImpl.accept(OWLAxiomVisitorEx<O> visitor)
<O> O	OWLEquivalentClassesAxiomImpl.accept(OWLAxiomVisitorEx<O> visitor)
<O> O	OWLDisjointUnionAxiomImpl.accept(OWLAxiomVisitorEx<O> visitor)
<O> O	OWLDisjointObjectPropertiesAxiomImpl.accept(OWLAxiomVisitorEx<O> visitor)
<O> O	OWLDisjointDataPropertiesAxiomImpl.accept(OWLAxiomVisitorEx<O> visitor)
<O> O	OWLDisjointClassesAxiomImpl.accept(OWLAxiomVisitorEx<O> visitor)
<O> O	OWLDifferentIndividualsAxiomImpl.accept(OWLAxiomVisitorEx<O> visitor)
<O> O	OWLDeclarationAxiomImpl.accept(OWLAxiomVisitorEx<O> visitor)
<O> O	OWLDatatypeDefinitionAxiomImpl.accept(OWLAxiomVisitorEx<O> visitor)
<O> O	OWLDataPropertyRangeAxiomImpl.accept(OWLAxiomVisitorEx<O> visitor)
<O> O	OWLDataPropertyDomainAxiomImpl.accept(OWLAxiomVisitorEx<O> visitor)
<O> O	OWLDataPropertyAssertionAxiomImpl.accept(OWLAxiomVisitorEx<O> visitor)
<O> O	OWLClassAssertionAxiomImpl.accept(OWLAxiomVisitorEx<O> visitor)
<O> O	OWLAsymmetricObjectPropertyAxiomImpl.accept(OWLAxiomVisitorEx<O> visitor)
<O> O	OWLAnnotationPropertyRangeAxiomImpl.accept(OWLAxiomVisitorEx<O> visitor)
<O> O	OWLAnnotationPropertyDomainAxiomImpl.accept(OWLAxiomVisitorEx<O> visitor)
<O> O	OWLAnnotationAssertionAxiomImpl.accept(OWLAxiomVisitorEx<O> visitor)

Constructors in uk.ac.manchester.cs.owl.owlapi with parameters of type OWLAxiomVisitorEx

Constructor and Description
ClassAxiomByClassPointer(AxiomType<?> t, OWLAxiomVisitorEx<?> v, boolean initialized, Internals i)
MapPointer(AxiomType<?> t, OWLAxiomVisitorEx<?> v, boolean initialized, Internals i)