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 |
OWLObjectVisitorEx<O> |
Modifier and Type | Method and Description |
---|---|
default <O> O |
SWRLRule.accept(OWLAxiomVisitorEx<O> visitor) |
default <O> O |
OWLTransitiveObjectPropertyAxiom.accept(OWLAxiomVisitorEx<O> visitor) |
default <O> O |
OWLSymmetricObjectPropertyAxiom.accept(OWLAxiomVisitorEx<O> visitor) |
default <O> O |
OWLSubPropertyChainOfAxiom.accept(OWLAxiomVisitorEx<O> visitor) |
default <O> O |
OWLSubObjectPropertyOfAxiom.accept(OWLAxiomVisitorEx<O> visitor) |
default <O> O |
OWLSubDataPropertyOfAxiom.accept(OWLAxiomVisitorEx<O> visitor) |
default <O> O |
OWLSubClassOfAxiom.accept(OWLAxiomVisitorEx<O> visitor) |
default <O> O |
OWLSubAnnotationPropertyOfAxiom.accept(OWLAxiomVisitorEx<O> visitor) |
default <O> O |
OWLSameIndividualAxiom.accept(OWLAxiomVisitorEx<O> visitor) |
default <O> O |
OWLReflexiveObjectPropertyAxiom.accept(OWLAxiomVisitorEx<O> visitor) |
default <O> O |
OWLObjectPropertyRangeAxiom.accept(OWLAxiomVisitorEx<O> visitor) |
default <O> O |
OWLObjectPropertyDomainAxiom.accept(OWLAxiomVisitorEx<O> visitor) |
default <O> O |
OWLObjectPropertyAssertionAxiom.accept(OWLAxiomVisitorEx<O> visitor) |
default <O> O |
OWLNegativeObjectPropertyAssertionAxiom.accept(OWLAxiomVisitorEx<O> visitor) |
default <O> O |
OWLNegativeDataPropertyAssertionAxiom.accept(OWLAxiomVisitorEx<O> visitor) |
default <O> O |
OWLIrreflexiveObjectPropertyAxiom.accept(OWLAxiomVisitorEx<O> visitor) |
default <O> O |
OWLInverseObjectPropertiesAxiom.accept(OWLAxiomVisitorEx<O> visitor) |
default <O> O |
OWLInverseFunctionalObjectPropertyAxiom.accept(OWLAxiomVisitorEx<O> visitor) |
default <O> O |
OWLHasKeyAxiom.accept(OWLAxiomVisitorEx<O> visitor) |
default <O> O |
OWLFunctionalObjectPropertyAxiom.accept(OWLAxiomVisitorEx<O> visitor) |
default <O> O |
OWLFunctionalDataPropertyAxiom.accept(OWLAxiomVisitorEx<O> visitor) |
default <O> O |
OWLEquivalentObjectPropertiesAxiom.accept(OWLAxiomVisitorEx<O> visitor) |
default <O> O |
OWLEquivalentDataPropertiesAxiom.accept(OWLAxiomVisitorEx<O> visitor) |
default <O> O |
OWLEquivalentClassesAxiom.accept(OWLAxiomVisitorEx<O> visitor) |
default <O> O |
OWLDisjointUnionAxiom.accept(OWLAxiomVisitorEx<O> visitor) |
default <O> O |
OWLDisjointObjectPropertiesAxiom.accept(OWLAxiomVisitorEx<O> visitor) |
default <O> O |
OWLDisjointDataPropertiesAxiom.accept(OWLAxiomVisitorEx<O> visitor) |
default <O> O |
OWLDisjointClassesAxiom.accept(OWLAxiomVisitorEx<O> visitor) |
default <O> O |
OWLDifferentIndividualsAxiom.accept(OWLAxiomVisitorEx<O> visitor) |
default <O> O |
OWLDeclarationAxiom.accept(OWLAxiomVisitorEx<O> visitor) |
default <O> O |
OWLDatatypeDefinitionAxiom.accept(OWLAxiomVisitorEx<O> visitor) |
default <O> O |
OWLDataPropertyRangeAxiom.accept(OWLAxiomVisitorEx<O> visitor) |
default <O> O |
OWLDataPropertyDomainAxiom.accept(OWLAxiomVisitorEx<O> visitor) |
default <O> O |
OWLDataPropertyAssertionAxiom.accept(OWLAxiomVisitorEx<O> visitor) |
default <O> O |
OWLClassAssertionAxiom.accept(OWLAxiomVisitorEx<O> visitor) |
<O> O |
OWLAxiom.accept(OWLAxiomVisitorEx<O> visitor) |
default <O> O |
OWLAsymmetricObjectPropertyAxiom.accept(OWLAxiomVisitorEx<O> visitor) |
default <O> O |
OWLAnnotationPropertyRangeAxiom.accept(OWLAxiomVisitorEx<O> visitor) |
default <O> O |
OWLAnnotationPropertyDomainAxiom.accept(OWLAxiomVisitorEx<O> visitor) |
default <O> O |
OWLAnnotationAssertionAxiom.accept(OWLAxiomVisitorEx<O> visitor) |
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> |
Constructor and Description |
---|
ClassAxiomByClassPointer(AxiomType<?> t,
OWLAxiomVisitorEx<?> v,
boolean initialized,
Internals i) |
MapPointer(AxiomType<?> t,
OWLAxiomVisitorEx<?> v,
boolean initialized,
Internals i,
Class<V> valueWithness) |
Copyright © 2020 The University of Manchester. All rights reserved.