Package org.semanticweb.owlapi.util
@ParametersAreNonnullByDefault
package org.semanticweb.owlapi.util
Utilities package.
-
ClassDescriptionA utility class that visits all components of classes and axioms; this base class allows subclasses to choose elements of interest and override handling of such elements.A utility class that visits all components of classes and axioms; this base class allows subclasses to choose elements of interest and override handling of such elements.Base class for ontology storers.A short form provider that generates short forms based on entity annotation values.Control flag for whether to walk annotationsdefault implementation for an anonymous node checker.A mapper which given a root folder attempts to automatically discover and map files to ontologies.An interface for checking if an axiom appears as annotated source multiple times.Provides the object that is the subject of an axiom.A short form provider which is capable of translating back and forth between entities and their short forms.A bidirectional short form provider which uses a specified short form provider to generate the bidirectional entity--short form mappings.A bidirectional short form provider that caches entity short forms.a set implementation that uses a delegate collection for all read-only operations and makes a copy if changes are attempted.An ontology IRI mapper that can be used to map ontology IRIs to ontology document IRIs which share the same base.Construct enum.A delegating visitor.Incorporates a listener into an
OWLOntologyChangeFilter.Comparator for objects with HasPriority annotations.Returns true if the visited axioms are an ontology in Horn-SHIQ form.Sorts objects into sets based on where they appear in the imports closure of an ontology.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.GeneratesOWLClassAssertionsAxioms for inferred individual types.InferredClassAxiomGenerator<A extends OWLClassAxiom>Generates inferred data property characteristics.Generates inferred disjoint axioms - note that this currently uses a very simple inefficient algorithm.Generates axioms which relate to inferred information for a specific entity.Generates inferred equivalent classes axioms.Generates an ontology based on inferred axioms which are essentially supplied by a reasoner.A ShortFormProvider based comparator for IRIs.A short form provider that produces short forms for URIs.Enumeration of known DL languagesCertain tasks or algorithms may take some time to accomplish.A utility class which checks if a class expression has a named conjunct or a specific named conjunct.A utility class which can generate namespaces, local names and namespace prefixes in accordance with the XML specifications.A utility class that visits axioms, class expressions etc.A set of personalized preconditions.A few util methods for common stream operations.Class for pairwise partitionSearch filter for axioms of various types, matching a pass condition on a key.Collects all of the nested class expression that are used in some OWLObject.A generic factory class for OWLDocumentFormats.A convenience class which is an ontology change listener which collects the entities which are referenced in a set of ontology changes.A utility class that visits axioms, class expressions etc.AComparatorwhich compares entities.Convenience to create c1, c2, p1, p2...Comparator that uses IRI ordering to order entities.A convenience object that generates the changes which are necessary to remove an entity from a set of ontologies.Renames entities that have a particular IRI.OWLEntitySetProvider<E extends OWLEntity>Provides a set of entities to inputs that require this.Provides an entity URI conversion strategy which converts entity URIs to a common base and alpha-numeric fragment.Performs a bulk conversion/translation of entity URIs.An interface for customisation of entity URI conversions.Converts the entity URI fragment or last path element if the fragment is not present to Camel Case.Replaces a literal with another.A ShortFormProvider based comparator forOWLObjectinstances.Class to remove structure sharing from OWL objects (Axioms or expressions)Transform axioms by rewriting parts of them.OWLObjectWalker<O extends OWLObject>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 theOWLOntologyChangeFilterand override the appropriate visit methods corresponding to the types of axioms that are of interest.AnOWLOntologySetProviderwhich provides a set of ontologies which correspond to the imports closure of a given ontology.Changes the URI of an ontology and ensures that ontologies which import the ontology have their imports statements updated.A very very simple merger, which just creates an ontology which contains the union of axioms from a set of ontologies.An ontology set provider which provides a singleton set - i.e.A factory class for OWLOntologyStorers.An IRI mapper that uses a zip file and its owlzip.properties content to map logical IRIs tojar:IRIs.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.A general interface for things whose progress can be monitored.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.A short form provider which creates QNames for entities.A provider for anonymous individuals that remaps input ids consistently across all requests.A short form provider that generates short forms based onrdfs:labelannotation values taken from a list of axioms.A short form provider produces renderings of entities.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.A simple renderer that can be used for debugging purposes and provide an implementation of the toString method for different implementations.A simple renderer that can be used for debugging purposes and provide an implementation of the toString method for different implementations.A utility class that can be used to determine is a class is a syntactic direct subclass of owl:Thing.A very simple short form provider which is intended to provide human readable display names for entities.A small wrapper class that allows SLF4J error messages about not having a binding (or more than one) silenced.SmallSet<T>This class provides a compact implementation of a very small sets - less than or equal to three elementsAnnotation visitor that returns literal's lexical form, or empty string for IRI and blank nodes.String comparator interface (allows to store comparators without serialization complaints).String comparator that takes length into account before natural ordering.StructureWalker<O extends OWLObject>Structure walker for object walkers.Extracts the variables from rules.A simple utility class that describes the version of a piece of software e.g.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.A mapper which given a root folder attempts to automatically discover and map files to ontologies.