Package | Description |
---|---|
org.obolibrary.macro | |
org.semanticweb.owlapi.profiles | |
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 | Description |
---|---|---|
class |
AbstractMacroExpansionVisitor |
Empty abstract visitor for macro expansion.
|
Modifier and Type | Class | Description |
---|---|---|
class |
OWLProfileViolationVisitorExAdapter<O> |
adapter class
|
Modifier and Type | Class | Description |
---|---|---|
class |
SatisfiabilityReducer |
Modifier and Type | Class | Description |
---|---|---|
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 |
OWLClassExpressionVisitorExAdapter<O> |
|
class |
OWLDataVisitorExAdapter<O> |
Provides a default implementation of
OWLObjectVisitorEx . |
class |
OWLEntityVisitorExAdapter<O> |
Provides a default implementation of
OWLObjectVisitorEx . |
class |
OWLObjectVisitorExAdapter<O> |
Provides a default implementation of
OWLObjectVisitorEx . |
class |
OWLOntologyChangeVisitorExAdapter<O> |
|
class |
OWLOntologyWalkerVisitorEx<E> |
Modifier and Type | Class | Description |
---|---|---|
static class |
InitVisitorFactory.InitCollectionVisitor<K> |
|
static class |
InitVisitorFactory.InitIndividualVisitor<K extends OWLObject> |
|
static class |
InitVisitorFactory.InitVisitor<K> |
Copyright © 2018 The University of Manchester. All rights reserved.