Package org.semanticweb.owlapi.util

Interface Summary
BidirectionalShortFormProvider Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 18-Apr-2007

A short form provider which is capable of translating back and forth between entities and their short forms.
ImportsStructureObjectSorter.ObjectSelector<O>  
InferredAxiomGenerator<A extends OWLAxiom> Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 27-Jul-2007

Given a reasoner, implementations of this interface generate axioms that represent inferred information.
IRIShortFormProvider Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 18-Dec-2007

A short form provider that produces short forms for URIs.
Monitorable Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 04-Jan-2007

Certain tasks or algorithms may take some time to accomplish.
OWLAxiomFilter Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 23-Apr-2007

OWLEntitySetProvider<E extends OWLEntity> Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 18-Apr-2007

Provides a set of entities to inputs that require this.

OWLEntityURIConverterStrategy Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 25-Nov-2007

An interface for customisation of entity URI conversions.
ProgressMonitor Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 04-Jan-2007

A general interface for things whose progress can be monitored.

RootClassChecker Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 22-Jan-2007

ShortFormProvider Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 18-Apr-2007

A short form provider produces renderings of entities.
SWRLVariableShortFormProvider Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 08-Jul-2009
 

Class Summary
AbstractOWLOntologyStorer Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 04-Dec-2007

AnnotationValueShortFormProvider Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 18-Apr-2007

A short form provider that generates short forms based on entity annotation values.

AutoIRIMapper Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 26-Apr-2007

A mapper which given a root folder attempts to automatically discover and map files to ontologies.

AxiomSubjectProvider Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 10-Feb-2008

Provides the object that is the subject of an axiom.

AxiomTypeProvider Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 27-Jan-2008

BidirectionalShortFormProviderAdapter Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 18-Apr-2007

A bidirectional short form provider which uses a specified short form provider to generate the bidirectional entity--shortform mappings.
CachingBidirectionalShortFormProvider Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 18-Apr-2007

A bidirectional short form provider that caches entity short forms.

CollectionFactory Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 10-Jan-2007

CommonBaseIRIMapper Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 07-Feb-2007

An ontology IRI mapper that can be used to map ontology IRIs to ontology document IRIs which share the same base.

DefaultPrefixManager Author: Matthew Horridge
The University Of Manchester
Information Management Group
Date: 10-Sep-2008

DelegatingObjectVisitorEx<O> Author: Matthew Horridge
The University Of Manchester
Information Management Group
Date: 29-Jul-2008

A delegating visitor.

DLExpressivityChecker Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 26-Feb-2007

FilteringOWLOntologyChangeListener Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 17-Dec-2006

Incorporates a listener into an OWLOntologyChangeFilter.
HashCode Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 03-Jan-2007

ImportsStructureEntitySorter Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 30-May-2008

ImportsStructureEntitySorter.ReferencedEntitySelector  
ImportsStructureObjectSorter<O> Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 30-May-2008

Sorts objects into sets based on where they appear in the imports closure of an ontology.
InferredClassAssertionAxiomGenerator Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 27-Jul-2007

Generates OWLClassAssertionsAxioms for inferred individual types.

InferredClassAxiomGenerator<A extends OWLClassAxiom> Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 27-Jul-2007

InferredDataPropertyAxiomGenerator<A extends OWLDataPropertyAxiom> Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 27-Jul-2007

InferredDataPropertyCharacteristicAxiomGenerator Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 27-Jul-2007

Generates inferred data property characteristics.

InferredDisjointClassesAxiomGenerator Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 27-Jul-2007

Generates inferred disjoint axioms - note that this currently uses a very simple inefficient algorithm.

InferredEntityAxiomGenerator<E extends OWLEntity,A extends OWLAxiom> Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 27-Jul-2007

Generates axioms which relate to inferred information for a specific entity.
InferredEquivalentClassAxiomGenerator Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 27-Jul-2007

Generates inferred equivalent classes axioms.

InferredEquivalentDataPropertiesAxiomGenerator Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 27-Jul-2007

InferredEquivalentObjectPropertyAxiomGenerator Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 27-Jul-2007

InferredIndividualAxiomGenerator<A extends OWLIndividualAxiom> Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 27-Jul-2007

InferredInverseObjectPropertiesAxiomGenerator Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 27-Jul-2007

InferredObjectPropertyAxiomGenerator<A extends OWLObjectPropertyAxiom> Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 27-Jul-2007

InferredObjectPropertyCharacteristicAxiomGenerator Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 27-Jul-2007

InferredOntologyGenerator Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 27-Jul-2007

Generates an ontology based on inferred axioms which are essentially supplied by a reasoner.

InferredPropertyAssertionGenerator Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 27-Jul-2007

InferredSubClassAxiomGenerator Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 27-Jul-2007

InferredSubDataPropertyAxiomGenerator Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 27-Jul-2007

InferredSubObjectPropertyAxiomGenerator Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 27-Jul-2007

MaximumModalDepthFinder Author: Matthew Horridge
The University of Manchester
Bio-Health Informatics Group
Date: 14-Jun-2010
NamedConjunctChecker Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 16-Feb-2007

A utility class which checks if a class expression has a named conjunct or a specific named conjunct.

NamespaceUtil Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 04-Apr-2007

A utility class which can generate namespaces, local names and namespace prefixes in accordance with the XML spec.

NNF Author: Matthew Horridge
The University Of Manchester
Information Management Group
Date: 06-Jun-2008

NonMappingOntologyIRIMapper Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 12-Dec-2006

An ontology URI mapper that simply returns the ontology URI without performing any mapping operation.
NullProgressMonitor Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 04-Jan-2007

ObjectPropertySimplifier Author: Matthew Horridge
The University Of Manchester
Information Management Group
Date: 06-Jun-2008

This utility class can be used to obtain an object property expression in its simplest form.
OntologyIRIShortFormProvider Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 23-Jan-2008

OWLAxiomTypeProcessor Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 27-Jul-2007

OWLAxiomVisitorAdapter Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 17-Nov-2006

OWLClassExpressionCollector Author: Matthew Horridge
The University of Manchester
Bio-Health Informatics Group
Date: 14-Jun-2010
Collects all of the nested class expression that are used in some OWLObject.
OWLClassExpressionVisitorAdapter Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 22-Nov-2006

OWLClassLiteralCollector Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 23-Jul-2009
OWLDataUtil Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 06-Jan-2007

A collection of utility methods for creating common data values and data ranges

OWLEntityCollectingOntologyChangeListener Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 26-Feb-2007

A convenience class which is an ontology change listener which collects the entities which are referenced in a set of ontology changes.

OWLEntityCollector Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 13-Nov-2006

A utiliity class that visits axioms, class expressions etc.

OWLEntityComparator Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 15-Jun-2007

A Comparator which compares entities.

OWLEntityRemover Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 11-Dec-2006

A convenience object that generates the changes which are necessary to remove an entity from a set of ontologies.

OWLEntityRenamer Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 11-Dec-2006

Renames entities that have a particular IRI.

OWLEntityTinyURIConversionStrategy Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 25-Nov-2007

Provides an entity URI conversion strategy which converts entity URIs to a common base and alpha-numeric fragment.

OWLEntityURIConverter Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 25-Nov-2007

Performs a bulk conversion/translation of entity URIs.

OWLEntityURIUnderscores2CamelBackConverterStrategy Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 25-Nov-2007

Converts the entity URI fragment or last path element if the fragment is not present to Camel Case.
OWLObjectComponentCollector Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 04-Feb-2008

OWLObjectDuplicator Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 11-Dec-2006

OWLObjectPropertyManager Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 25-Feb-2008

OWLObjectTypeIndexProvider Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 09-Feb-2008

OWLObjectVisitorAdapter Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 22-Nov-2006

OWLObjectVisitorExAdapter<O> Author: Matthew Horridge
The University Of Manchester
Information Management Group
Date: 29-Jul-2008

Provides a default implementation of OWLObjectVisitorEx.
OWLObjectWalker<O extends OWLObject> Author: Matthew Horridge
The University Of Manchester
Information Management Group
Date: 29-Jul-2008

OWLOntologyChangeFilter Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 17-Dec-2006

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.

OWLOntologyChangeVisitorAdapter Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 12-Dec-2006

OWLOntologyImportsClosureSetProvider Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 27-Apr-2007

An OWLOntologySetProvider which provides a set of ontologies which correspond to the imports closure of a given ontology.

OWLOntologyMerger Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 29-Apr-2007

A very very simple merger, which just creates an ontology which contains the union of axioms from a set of ontologies.

OWLOntologySingletonSetProvider Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 27-Apr-2007

An ontology set provider which provides a singleton set - i.e.

OWLOntologyURIChanger Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 25-May-2007

Changes the URI of an ontology and ensures that ontologies which import the ontology have their imports statements updated

OWLOntologyWalker Author: Matthew Horridge
The University Of Manchester
Information Management Group
Date: 29-Jul-2008

OWLOntologyWalkerVisitor<E> Author: Matthew Horridge
The University Of Manchester
Information Management Group
Date: 30-Jul-2008

PropertyAssertionValueShortFormProvider Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 17-Jun-2007

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 Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 18-Apr-2007

A short form provider which creates QNames for entities
ReferencedEntitySetProvider Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 28-Nov-2007

SimpleIRIMapper Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 12-Dec-2006

SimpleIRIShortFormProvider Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 18-Dec-2007

A URI short form provider that generates short forms from the URI fragment if there is one, followed by the URI last path component if there is one.
SimpleRenderer Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 26-Nov-2006

A simple renderer that can be used for debugging purposes and provide an implementation of the toString method for different implementations.
SimpleRootClassChecker Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 16-Dec-2006

A utility class that can be used to determine is a class is a syntactic direct subclass of owl:Thing.

SimpleShortFormProvider Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 18-Apr-2007

A very simple short form provider which is intended to provide human readable display names for entities.

StructuralTransformation Author: Matthew Horridge
The University Of Manchester
Information Management Group
Date: 01-Aug-2008

SWRLVariableExtractor Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 06-Jul-2007

Extracts the variables from rules
TestDir Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 07-Jul-2009
Version Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 09-Dec-2009
VersionInfo Author: Matthew Horridge
The University Of Manchester
Information Management Group
Date: 16-Jun-2008

A place holder for the current release number.
 

Enum Summary
DLExpressivityChecker.Construct