| Modifier and Type | Interface and Description |
|---|---|
interface |
OWLAnnotationObjectVisitorEx<O> |
interface |
OWLAxiomVisitorEx<O>
An interface for objects that can accept visits from axioms.
|
interface |
OWLObjectVisitorEx<O> |
| Modifier and Type | Class and Description |
|---|---|
protected class |
OWL2ELProfile.OWL2ELProfileObjectVisitor |
| Modifier and Type | Class and Description |
|---|---|
class |
SatisfiabilityReducer |
| 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 |
OWLObjectVisitorExAdapter<O>
Provides a default implementation of
OWLObjectVisitorEx. |
class |
OWLOntologyWalkerVisitor<O> |
| Modifier and Type | Class and Description |
|---|---|
static class |
InitVisitorFactory.InitCollectionVisitor<K> |
static class |
InitVisitorFactory.InitIndividualVisitor<K extends OWLObject> |
static class |
InitVisitorFactory.InitVisitor<K> |
Copyright © 2014 The University of Manchester. All Rights Reserved.