Interface | Description |
---|---|
AnonymousNodeChecker | |
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 |
An interface for checking if an anonymous individual is references multiple
times as object of a statement.
|
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 |
Search filter for axioms of various types, matching a pass condition on a key
|
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.
|
StringComparator |
String comparator interface (allows to store comparators without
serialization complaints).
|
SWRLVariableShortFormProvider |
Class | Description |
---|---|
AbstractOWLStorer |
Base class for ontology storers.
|
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.
|
AnonymousNodeCheckerImpl |
default implementation for an anonymous node checker.
|
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.
|
BidirectionalShortFormProviderAdapter |
A bidirectional short form provider which uses a specified short form provider to generate the
bidirectional entity--short form 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.
|
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.
|
DeprecatedOWLEntityCollector | Deprecated
the old OWLEntityCollector is still used in non trivial ways in
third party software.
|
DLExpressivityChecker | |
EscapeUtils | |
FilteringOWLOntologyChangeListener |
Incorporates a listener into an
OWLOntologyChangeFilter . |
HashCode | |
HasPriorityComparator<T> |
Comparator for objects with HasPriority annotations.
|
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 | |
IRIComparator |
A ShortFormProvider based comparator for IRIs.
|
MaximumModalDepthFinder | |
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 specifications.
|
NNF | |
NonMappingOntologyIRIMapper | Deprecated
not useful.
|
NullProgressMonitor | |
ObjectPropertySimplifier | Deprecated
Legal Object property expressions should always be irreducible -
the standard specifies that inv : P -> PE , not PE -> PE,
so inv (inv P) is an error .
|
OntologyAxiomPair | |
OntologyIRIShortFormProvider | |
OWLAnnotationPropertyTransformer | |
OWLAnonymousIndividualsWithMultipleOccurrences |
A utility class that visits axioms, class expressions etc.
|
OWLAPIPreconditions |
a set of personalized preconditions
|
OWLAxiomsWithNestedAnnotations |
For axioms with nested annotations, an id needs to be output.
|
OWLAxiomVisitorAdapter | |
OWLAxiomVisitorExAdapter<O> |
adapter for axiom visitors
|
OWLBaseVisitorExAdapter<O,I> |
Provides a base for visitorEx adapters.
|
OWLClassExpressionCollector |
Collects all of the nested class expression that are used in some OWLObject.
|
OWLClassExpressionVisitorAdapter | |
OWLClassExpressionVisitorExAdapter<O> | |
OWLClassLiteralCollector | |
OWLDataVisitorExAdapter<O> |
Provides a default implementation of
OWLObjectVisitorEx . |
OWLDocumentFormatFactoryImpl |
A generic factory class for OWLOntologyFormats.
|
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 . |
OWLLiteralReplacer |
Replaces a literal with another.
|
OWLObjectComparator |
A ShortFormProvider based comparator for
OWLObject instances. |
OWLObjectComponentCollector | |
OWLObjectDesharer |
Class to remove structure sharing from OWL objects (Axioms or expressions)
|
OWLObjectDuplicator | |
OWLObjectPropertyManager | |
OWLObjectTransformer<T> |
Transform axioms by rewriting parts of them.
|
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 | |
OWLOntologyChangeVisitorExAdapter<O> | |
OWLOntologyImportsClosureSetProvider |
An
OWLOntologySetProvider which provides a set of ontologies which
correspond to the imports closure of a given ontology. |
OWLOntologyIRIChanger |
Changes the URI of an ontology and ensures that ontologies which import the ontology have their
imports statements updated
|
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.
|
OWLOntologyWalker | |
OWLOntologyWalkerVisitor | |
OWLOntologyWalkerVisitorEx<E> | |
OWLStorerFactoryImpl |
A factory class for OWLOntologyStorers.
|
OWLZipClosureIRIMapper |
An IRI mapper that uses a zip file and its owlzip.properties content to map logical IRIs to
jar: IRIs. |
OWLZipSaver |
Class for saving ontologies to zip files with an optional index.
|
PriorityCollection<T extends Serializable> |
A collection that is sorted by HasPriority annotation on its members
|
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.
|
SAXParsers | |
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.
|
SimpleRendererDebug |
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.
|
SLF4JSilencer |
A small wrapper class that allows SLF4J error messages about not having a
binding (or more than one) silenced.
|
StringAnnotationVisitor |
Annotation visitor that returns literal's lexical form, or empty string for
IRI and blank nodes.
|
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.
|
ZipIRIMapper |
A mapper which given a root folder attempts to automatically discover and map files to
ontologies.
|
Enum | Description |
---|---|
Construct |
Construct enum.
|
Languages |
Enumeration of known DL languages
|
StructureWalker.AnnotationWalkingControl |
Control flag for whether to walk annotations
|
Copyright © 2020 The University of Manchester. All rights reserved.