Package | Description |
---|---|
org.obolibrary.macro |
OBO macro package.
|
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.
|
Modifier and Type | Class and Description |
---|---|
class |
AbstractMacroExpansionVisitor
Empty abstract visitor for macro expansion.
|
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 |
---|---|
class |
SatisfiabilityReducer |
Modifier and Type | Class and Description |
---|---|
class |
AbstractCollectorEx<E>
A utility class that visits all components of classes and axioms; this base
class allows subclasses to choose elements of interest and override handling
of such elements.
|
class |
AxiomSubjectProviderEx
Provides the object that is the subject of an axiom.
|
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 |
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 |
OWLObjectComponentCollector |
class |
OWLObjectDesharer
Class to remove structure sharing from OWL objects (Axioms or expressions)
|
class |
OWLObjectDuplicator |
class |
OWLOntologyWalkerVisitorEx<E> |
Modifier and Type | Class and Description |
---|---|
class |
AnonymousIndividualCollector
A utility class that visits axioms, class expressions etc.
|
static class |
InitVisitorFactory.InitCollectionVisitor<K> |
static class |
InitVisitorFactory.InitIndividualVisitor<K extends OWLObject> |
static class |
InitVisitorFactory.InitVisitor<K> |
Copyright © 2020 The University of Manchester. All rights reserved.