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 |
OWLObjectVisitorEx<O> |
Modifier and Type | Method and Description |
---|---|
<O> O |
OWLDatatypeDefinitionAxiom.accept(OWLAxiomVisitorEx<O> visitor) |
<O> O |
OWLAxiom.accept(OWLAxiomVisitorEx<O> visitor) |
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> |
Modifier and Type | Method and Description |
---|---|
<O> O |
SWRLRuleImpl.accept(OWLAxiomVisitorEx<O> visitor) |
<O> O |
OWLTransitiveObjectPropertyAxiomImpl.accept(OWLAxiomVisitorEx<O> visitor) |
<O> O |
OWLSymmetricObjectPropertyAxiomImpl.accept(OWLAxiomVisitorEx<O> visitor) |
<O> O |
OWLSubPropertyChainAxiomImpl.accept(OWLAxiomVisitorEx<O> visitor) |
<O> O |
OWLSubObjectPropertyOfAxiomImpl.accept(OWLAxiomVisitorEx<O> visitor) |
<O> O |
OWLSubDataPropertyOfAxiomImpl.accept(OWLAxiomVisitorEx<O> visitor) |
<O> O |
OWLSubClassOfAxiomImpl.accept(OWLAxiomVisitorEx<O> visitor) |
<O> O |
OWLSubAnnotationPropertyOfAxiomImpl.accept(OWLAxiomVisitorEx<O> visitor) |
<O> O |
OWLSameIndividualAxiomImpl.accept(OWLAxiomVisitorEx<O> visitor) |
<O> O |
OWLReflexiveObjectPropertyAxiomImpl.accept(OWLAxiomVisitorEx<O> visitor) |
<O> O |
OWLObjectPropertyRangeAxiomImpl.accept(OWLAxiomVisitorEx<O> visitor) |
<O> O |
OWLObjectPropertyDomainAxiomImpl.accept(OWLAxiomVisitorEx<O> visitor) |
<O> O |
OWLObjectPropertyAssertionAxiomImpl.accept(OWLAxiomVisitorEx<O> visitor) |
<O> O |
OWLNegativeObjectPropertyAssertionAxiomImpl.accept(OWLAxiomVisitorEx<O> visitor) |
<O> O |
OWLNegativeDataPropertyAssertionAxiomImpl.accept(OWLAxiomVisitorEx<O> visitor) |
<O> O |
OWLIrreflexiveObjectPropertyAxiomImpl.accept(OWLAxiomVisitorEx<O> visitor) |
<O> O |
OWLInverseObjectPropertiesAxiomImpl.accept(OWLAxiomVisitorEx<O> visitor) |
<O> O |
OWLInverseFunctionalObjectPropertyAxiomImpl.accept(OWLAxiomVisitorEx<O> visitor) |
<O> O |
OWLHasKeyAxiomImpl.accept(OWLAxiomVisitorEx<O> visitor) |
<O> O |
OWLFunctionalObjectPropertyAxiomImpl.accept(OWLAxiomVisitorEx<O> visitor) |
<O> O |
OWLFunctionalDataPropertyAxiomImpl.accept(OWLAxiomVisitorEx<O> visitor) |
<O> O |
OWLEquivalentObjectPropertiesAxiomImpl.accept(OWLAxiomVisitorEx<O> visitor) |
<O> O |
OWLEquivalentDataPropertiesAxiomImpl.accept(OWLAxiomVisitorEx<O> visitor) |
<O> O |
OWLEquivalentClassesAxiomImpl.accept(OWLAxiomVisitorEx<O> visitor) |
<O> O |
OWLDisjointUnionAxiomImpl.accept(OWLAxiomVisitorEx<O> visitor) |
<O> O |
OWLDisjointObjectPropertiesAxiomImpl.accept(OWLAxiomVisitorEx<O> visitor) |
<O> O |
OWLDisjointDataPropertiesAxiomImpl.accept(OWLAxiomVisitorEx<O> visitor) |
<O> O |
OWLDisjointClassesAxiomImpl.accept(OWLAxiomVisitorEx<O> visitor) |
<O> O |
OWLDifferentIndividualsAxiomImpl.accept(OWLAxiomVisitorEx<O> visitor) |
<O> O |
OWLDeclarationAxiomImpl.accept(OWLAxiomVisitorEx<O> visitor) |
<O> O |
OWLDatatypeDefinitionAxiomImpl.accept(OWLAxiomVisitorEx<O> visitor) |
<O> O |
OWLDataPropertyRangeAxiomImpl.accept(OWLAxiomVisitorEx<O> visitor) |
<O> O |
OWLDataPropertyDomainAxiomImpl.accept(OWLAxiomVisitorEx<O> visitor) |
<O> O |
OWLDataPropertyAssertionAxiomImpl.accept(OWLAxiomVisitorEx<O> visitor) |
<O> O |
OWLClassAssertionAxiomImpl.accept(OWLAxiomVisitorEx<O> visitor) |
<O> O |
OWLAsymmetricObjectPropertyAxiomImpl.accept(OWLAxiomVisitorEx<O> visitor) |
<O> O |
OWLAnnotationPropertyRangeAxiomImpl.accept(OWLAxiomVisitorEx<O> visitor) |
<O> O |
OWLAnnotationPropertyDomainAxiomImpl.accept(OWLAxiomVisitorEx<O> visitor) |
<O> O |
OWLAnnotationAssertionAxiomImpl.accept(OWLAxiomVisitorEx<O> visitor) |
Constructor and Description |
---|
ClassAxiomByClassPointer(AxiomType<?> t,
OWLAxiomVisitorEx<?> v,
boolean initialized,
Internals i) |
MapPointer(AxiomType<?> t,
OWLAxiomVisitorEx<?> v,
boolean initialized,
Internals i) |
Copyright © 2020 The University of Manchester. All rights reserved.