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
|
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 |
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 |
OWLObjectDesharer
Class to remove structure sharing from OWL objects (Axioms or expressions)
|
class |
OWLObjectVisitorExAdapter<O>
Provides a default implementation of
OWLObjectVisitorEx . |
class |
OWLOntologyWalkerVisitorEx<E> |
Modifier and Type | Class and Description |
---|---|
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.