Package org.semanticweb.owl.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.
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.
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.
URIShortFormProvider 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.
 

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.

AutoURIMapper 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

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

An ontology URI mapper that can be used to map ontology URIs to physical URIs which share the same base.

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

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

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.

NonMappingOntologyURIMapper 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

OntologyURIShortFormProvider 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

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

It's sometimes useful (for pretty printing etc.) to be able to order class descriptions.
OWLDescriptionComparator.CoarseGrainedDescriptionComparator Compares two descriptions using the coarse grained categories of OWLClass, OWLObjectRestriction, OWLDataRestriction, OWLBooleanDescription, OWLObjectOneOf
OWLDescriptionComparator.OWLPropertyExpressionComparator Compares two property expressions.
OWLDescriptionVisitorAdapter Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 22-Nov-2006

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, descriptions 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 URI.

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

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

OWLObjectPropertyUtil.OWLObjectPropertyExpressionPair  
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

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

Acts as mediator with an OWLReasoner.

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

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

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.

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

SimpleURIShortFormProvider 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.
SWRLVariableExtractor Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 06-Jul-2007

Extracts the variables from rules
ToldClassHierarchyReasoner Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 22-Nov-2006

A very simple syntactic (and therefore incomplete) reasoner, which provides information about the told named class hierarchy for an ontology and its imports closure.

 

Enum Summary
DLExpressivityChecker.Construct  
 

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

Represents an error where an inferred axiom generator could not generate inferred axioms because the reasoner doesn't support the queries that are required to generate the axioms.