Interface | Description |
---|---|
AxiomAppearance |
An interface for checking if an axiom appears as annotated source multiple
times.
|
BidirectionalShortFormProvider |
A short form provider which is capable of translating back and forth between
entities and their short forms.
|
ImportsStructureObjectSorter.ObjectSelector<O> | |
IndividualAppearance | |
InferredAxiomGenerator<A extends OWLAxiom> |
Given a reasoner, implementations of this interface generate axioms that
represent inferred information.
|
IRIShortFormProvider |
A short form provider that produces short forms for URIs.
|
Monitorable |
Certain tasks or algorithms may take some time to accomplish.
|
OWLAxiomFilter | |
OWLAxiomSearchFilter<O extends OWLAxiom,K> | |
OWLEntitySetProvider<E extends OWLEntity> |
Provides a set of entities to inputs that require this.
|
OWLEntityURIConverterStrategy |
An interface for customisation of entity URI conversions.
|
ProgressMonitor |
A general interface for things whose progress can be monitored.
|
RootClassChecker | |
ShortFormProvider |
A short form provider produces renderings of entities.
|
SWRLVariableShortFormProvider |
Class | Description |
---|---|
AbstractOWLOntologyStorer | |
AlwaysOutputId |
Implementation of IndividualAppearance and AxiomAppearance that always
returns true - used to force output of ids in all cases.
|
AnnotationValueShortFormProvider |
A short form provider that generates short forms based on entity annotation
values.
|
AutoIRIMapper |
A mapper which given a root folder attempts to automatically discover and map
files to ontologies.
|
AxiomSubjectProvider |
Provides the object that is the subject of an axiom.
|
AxiomTypeProvider | Deprecated
use OWLAxiom::getAxiomType()
|
BidirectionalShortFormProviderAdapter |
A bidirectional short form provider which uses a specified short form
provider to generate the bidirectional entity--shortform mappings.
|
CachingBidirectionalShortFormProvider |
A bidirectional short form provider that caches entity short forms.
|
CollectionFactory | |
CollectionFactory.ConditionalCopySet<T> |
a set implementation that uses a delegate collection for all read-only
operations and makes a copy if changes are attempted.
|
CollectionFactory.ThreadSafeConditionalCopySet<T> |
this class behaves like ConditionalCopySet except it is designed to be
threadsafe; multiple thread access is regulated by a readwritelock;
modifications will create a copy based on SyncSet.
|
CommonBaseIRIMapper |
An ontology IRI mapper that can be used to map ontology IRIs to ontology
document IRIs which share the same base.
|
DefaultPrefixManager | |
DelegatingObjectVisitorEx<O> |
A delegating visitor.
|
DLExpressivityChecker | |
EscapeUtils | |
FilteringOWLOntologyChangeListener |
Incorporates a listener into an
OWLOntologyChangeFilter . |
HashCode | |
HornAxiomVisitorEx |
Returns true if the visited axioms are an ontology in Horn-SHIQ form.
|
ImportsStructureEntitySorter | |
ImportsStructureEntitySorter.ReferencedEntitySelector |
Selector of referenced entities.
|
ImportsStructureObjectSorter<O> |
Sorts objects into sets based on where they appear in the imports closure of
an ontology.
|
InferredClassAssertionAxiomGenerator |
Generates
OWLClassAssertionsAxiom s for inferred individual types. |
InferredClassAxiomGenerator<A extends OWLClassAxiom> | |
InferredDataPropertyAxiomGenerator<A extends OWLDataPropertyAxiom> | |
InferredDataPropertyCharacteristicAxiomGenerator |
Generates inferred data property characteristics.
|
InferredDisjointClassesAxiomGenerator |
Generates inferred disjoint axioms - note that this currently uses a very
simple inefficient algorithm.
|
InferredEntityAxiomGenerator<E extends OWLEntity,A extends OWLAxiom> |
Generates axioms which relate to inferred information for a specific entity.
|
InferredEquivalentClassAxiomGenerator |
Generates inferred equivalent classes axioms.
|
InferredEquivalentDataPropertiesAxiomGenerator | |
InferredEquivalentObjectPropertyAxiomGenerator | |
InferredIndividualAxiomGenerator<A extends OWLIndividualAxiom> | |
InferredInverseObjectPropertiesAxiomGenerator | |
InferredObjectPropertyAxiomGenerator<A extends OWLObjectPropertyAxiom> | |
InferredObjectPropertyCharacteristicAxiomGenerator | |
InferredOntologyGenerator |
Generates an ontology based on inferred axioms which are essentially supplied
by a reasoner.
|
InferredPropertyAssertionGenerator | |
InferredSubClassAxiomGenerator | |
InferredSubDataPropertyAxiomGenerator | |
InferredSubObjectPropertyAxiomGenerator | |
MaximumModalDepthFinder | |
MultiMap<Key,Value> | |
NamedConjunctChecker |
A utility class which checks if a class expression has a named conjunct or a
specific named conjunct.
|
NamespaceUtil |
A utility class which can generate namespaces, local names and namespace
prefixes in accordance with the XML spec.
|
NNF | |
NonMappingOntologyIRIMapper |
An ontology URI mapper that simply returns the ontology URI without
performing any mapping operation.
|
NullProgressMonitor | |
ObjectPropertySimplifier |
This utility class can be used to obtain an object property expression in its
simplest form.
|
OntologyIRIShortFormProvider | |
OWLAnonymousIndividualsWithMultipleOccurrences |
A utility class that visits axioms, class expressions etc.
|
OWLAxiomsWithNestedAnnotations |
For axioms with nested annotations, an id needs to be outputted.
|
OWLAxiomTypeProcessor | |
OWLAxiomVisitorAdapter | |
OWLAxiomVisitorExAdapter<O> |
adapter for axiom visitors
|
OWLClassExpressionCollector |
Collects all of the nested class expression that are used in some OWLObject.
|
OWLClassExpressionVisitorAdapter | |
OWLClassExpressionVisitorExAdapter<O> | |
OWLClassLiteralCollector | |
OWLDataUtil |
A collection of utility methods for creating common data values and data
ranges.
|
OWLEntityCollectingOntologyChangeListener |
A convenience class which is an ontology change listener which collects the
entities which are referenced in a set of ontology changes.
|
OWLEntityCollector |
A utility class that visits axioms, class expressions etc.
|
OWLEntityComparator |
A
Comparator which compares entities. |
OWLEntityIRIComparator |
Comparator that uses IRI ordering to order entities.
|
OWLEntityRemover |
A convenience object that generates the changes which are necessary to remove
an entity from a set of ontologies.
|
OWLEntityRenamer |
Renames entities that have a particular IRI.
|
OWLEntityTinyURIConversionStrategy |
Provides an entity URI conversion strategy which converts entity URIs to a
common base and alpha-numeric fragment.
|
OWLEntityURIConverter |
Performs a bulk conversion/translation of entity URIs.
|
OWLEntityURIUnderscores2CamelBackConverterStrategy |
Converts the entity URI fragment or last path element if the fragment is not
present to Camel Case.
|
OWLEntityVisitorAdapter | |
OWLEntityVisitorExAdapter<O> |
Provides a default implementation of
OWLObjectVisitorEx . |
OWLObjectComponentCollector | |
OWLObjectDuplicator | |
OWLObjectPropertyManager | |
OWLObjectTypeIndexProvider | |
OWLObjectVisitorAdapter | |
OWLObjectVisitorExAdapter<O> |
Provides a default implementation of
OWLObjectVisitorEx . |
OWLObjectWalker<O extends OWLObject> | |
OWLOntologyChangeFilter |
Provides a convenient method to filter add/remove axiom changes based on the
type of axiom that is being added or removed from an ontology.
The general pattern of use is to simply create an instance of the OWLOntologyChangeFilter and override the appropriate visit methods
corresponding to the types of axioms that are of interest. |
OWLOntologyChangeVisitorAdapter | |
OWLOntologyChangeVisitorAdapterEx<O> | |
OWLOntologyImportsClosureSetProvider |
An
OWLOntologySetProvider which provides a set of ontologies which
correspond to the imports closure of a given ontology. |
OWLOntologyMerger |
A very very simple merger, which just creates an ontology which contains the
union of axioms from a set of ontologies.
|
OWLOntologySingletonSetProvider |
An ontology set provider which provides a singleton set - i.e.
|
OWLOntologyURIChanger |
Changes the URI of an ontology and ensures that ontologies which import the
ontology have their imports statements updated.
|
OWLOntologyWalker | |
OWLOntologyWalkerVisitor<O> | |
PropertyAssertionValueShortFormProvider |
A short form provider that generates short forms from the values of object
property assertions or data property assertions if the entity is an
individual.
|
QNameShortFormProvider |
A short form provider which creates QNames for entities.
|
ReferencedEntitySetProvider | |
RemappingIndividualProvider |
A provider for anonymous individuals that remaps input ids consistently
across all requests.
|
SimpleIRIMapper | |
SimpleIRIShortFormProvider |
A IRI short form provider that generates short forms from the IRI fragment if
there is one, or the IRI last path component if there is one.
|
SimpleRenderer |
A simple renderer that can be used for debugging purposes and provide an
implementation of the toString method for different implementations.
|
SimpleRootClassChecker |
A utility class that can be used to determine is a class is a syntactic
direct subclass of owl:Thing.
|
SimpleShortFormProvider |
A very simple short form provider which is intended to provide human readable
display names for entities.
|
StringLengthComparator |
String comparator that takes length into account before natural ordering.
|
StructuralTransformation | |
StructureWalker<O extends OWLObject> |
Structure walker for object walkers.
|
SWRLVariableExtractor |
Extracts the variables from rules.
|
Version |
A simple utility class that describes the version of a piece of software e.g.
|
VersionInfo |
A place holder for the current release number.
|
WeakCache<K> |
A weakly linked cache - elements in the cache can be garbage collected.
|
WeakIndexCache<K,V> |
A weakly linked cache - elements in the cache can be garbage collected.
|
Enum | Description |
---|---|
DLExpressivityChecker.Construct |
Copyright © 2017 The University of Manchester. All Rights Reserved.