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

Packages that use OWLLogicalAxiomVisitorEx

Package	Description
org.semanticweb.owlapi.model	Main API classes.
org.semanticweb.owlapi.util	Utilities package

Uses of OWLLogicalAxiomVisitorEx in org.semanticweb.owlapi.model

Subinterfaces of OWLLogicalAxiomVisitorEx in org.semanticweb.owlapi.model

Modifier and Type	Interface and Description
interface	OWLAxiomVisitorEx<O> An interface for objects that can accept visits from axioms.
interface	OWLObjectVisitorEx<O>

Uses of OWLLogicalAxiomVisitorEx in org.semanticweb.owlapi.util

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

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>