All Classes and Interfaces
Class
Description
Helper class for absolute and relative IRIs on rendering.
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.
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.
Data visitor.
Empty abstract visitor for macro expansion.
Abstract class for convenience implementation of
ModuleExtractors able of precomputing
global axioms and tautologies.An abstract debugger which provides common infrastructure for finding
multiple justification.
A convenience base class for parsers, which provides a mechanism to manage
the setting and getting of the
OWLOntologyManager that should be
associated with the parser.Base class for ontology storers.
An abstract base class for RDF Document Formats that are not prefix aware.
An Abstract Document Format for Prefix aware RDF formats.
An abstract translator that can produce an RDF graph from an OWLOntology.
Utility to build accept headers.
Represents an ontology change where axioms should be added to an ontology.
Represents the specific non-ontology data required by an
AddAxiom
change.This composite change adds a 'closure' axiom to an ontology for a given class
and object property.
Represents an ontology change where an import statement is added to an
ontology.
Represents the specific non-ontology data required by an
AddImport
change.Represents an ontology change where an annotation is added to an ontology.
Represents the specific non-ontology data required by an
AddOntologyAnnotation change.Orders an explanation in a flat list, sorting axioms alphabetically.
Given a set of ontologies S, for each ontology, O, in S, this change combines
multiple subclass axioms with a common left hand side into one subclass
axiom.
Annotation assertion provider.
Annotation provider interface.
A short form provider that generates short forms based on entity annotation values.
Control flag for whether to walk annotations
An interface to an object that can provide instances of
OWLAnonymousIndividual.A utility class that visits axioms, class expressions etc.
An interface to an object that can provide instances if
OWLAnonymousIndividual.default implementation for an anonymous node checker.
a multimap for int to collection of int values.
Convert to OWLAnnotationProperty interface.
Convert to OWLClass interface.
Convert to OWLDataProperty interface.
Convert to OWLDatatype interface.
Convert to OWLNamedIndividual interface.
Convert to OWLObjectProperty interface.
An atom in the atomic decomposition
Class to represent the atomic decomposition of a set of axioms.
The atomic decomposition graph
Atomic decomposition implementation.
Atomic ontology structure.
A mapper which given a root folder attempts to automatically discover and map files to
ontologies.
Search options.
An interface for checking if an axiom appears as annotated source multiple
times.
Represent the common non-ontology data required by instances of
OWLAxiomChange.A filter for axioms
Provides the object that is the subject of an axiom.
Represents the type of axioms which can belong to ontologies.
Wrapper around an OWLAxiom to hold attributes such as used, included in a module, included in
search space and atom which contains it.
Builder class for OWLDataAllValuesFrom.
Base builder class, providing annotations storage.
Builder class for OWLDataAllValuesFrom.
Builder class for OWLDataAllValuesFrom.
Builder class for OWLDataPropertyDomainAxiom.
Abstract builder for entities.
Builder class for OWLDataAllValuesFrom.
Builder class for OWLDataAllValuesFrom.
Abstract builder for entities.
Builder class for OWLSubAnnotationPropertyOfAxiom.
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 black box explanation.
This is an implementation of a black box debugger.
check whether class expressions are equivalent to bottom wrt given locality class
Used to indicate the buffering mode of a reasoner.
A builder interface for building owl objects.
Builder class for OWLAnnotation.
Builder class for OWLAnnotationAssertionAxiom.
Builder class for OWLAnnotationProperty.
Builder class for OWLAnnotationPropertyDomainAxiom.
Builder class for OWLAnnotationPropertyRangeAxiom.
Builder class for OWLAnonymousIndividual.
Builder class for OWLAsymmetricObjectPropertyAxiom.
Builder class for OWLClass.
Builder class for OWLClassAssertionAxiom.
Builder class for OWLObjectComplementOf.
Builder class for OWLDataAllValuesFrom.
Builder class for OWLDataComplementOf.
Builder class for OWLDataExactCardinality.
Builder class for OWLDataHasValue.
Builder class for OWLDataIntersectionOf.
Builder class for OWLDataMaxCardinality.
Builder class for OWLDataMinCardinality.
Builder class for OWLDataOneOf.
Builder class for OWLDataProperty.
Builder class for OWLDataPropertyAssertionAxiom.
Builder class for OWLDataPropertyDomainAxiom.
Builder class for OWLDataPropertyRangeAxiom.
Builder class for OWLDataSomeValuesFrom.
Builder class for OWLDatatype.
Builder class for OWLDatatypeDefinitionAxiom.
Builder class for OWLDatatypeRestriction.
Builder class for OWLDataUnionOf.
Builder class for OWLDeclarationAxiom.
Builder class for OWLDifferentIndividualsAxiom.
Builder class for OWLDisjointClassesAxiom.
Builder class for OWLDisjointDataPropertiesAxiom.
Builder class for OWLDisjointObjectPropertiesAxiom.
Builder class for OWLDisjointUnionAxiom.
Builder class for OWLEntity.
Builder class for OWLEquivalentClassesAxiom.
Builder class for OWLEquivalentDataPropertiesAxiom.
Builder class for OWLEquivalentObjectPropertiesAxiom.
Builder class for OWLFacetRestriction.
Builder class for OWLFunctionalDataPropertyAxiom.
Builder class for OWLFunctionalObjectPropertyAxiom.
Builder class for OWLHasKeyAxiom.
Builder class for OWLImportsDeclaration.
Builder class for OWLInverseFunctionalObjectPropertyAxiom.
Builder class for OWLInverseObjectPropertiesAxiom.
Builder class for OWLIrreflexiveObjectPropertyAxiom.
Builder class for OWLLiteral.
Builder class for OWLNamedIndividual.
Builder class for OWLNegativeDataPropertyAssertionAxiom.
Builder class for OWLNegativeObjectPropertyAssertionAxiom.
Builder class for OWLObjectAllValuesFrom.
Builder class for OWLObjectExactCardinality.
Builder class for OWLObjectHasSelf.
Builder class for OWLObjectHasValue.
Builder class for OWLObjectIntersectionOf.
Builder class for OWLObjectInverseOf.
Builder class for OWLObjectMaxCardinality.
Builder class for OWLObjectMinCardinality.
Builder class for OWLObjectProperty.
Builder class for OWLObjectPropertyAssertionAxiom.
Builder class for OWLObjectPropertyDomainAxiom.
Builder class for OWLObjectPropertyRangeAxiom.
Builder class for OWLObjectSomeValuesFrom.
Builder class for OWLObjectOneOf.
Builder class for OWLSubPropertyChainOfAxiom.
Builder class for OWLReflexiveObjectPropertyAxiom.
Builder class for OWLSameIndividualAxiom.
Builder class for OWLSubAnnotationPropertyOfAxiom.
Builder class for OWLSubClassOfAxiom.
Builder class for OWLSubDataPropertyOfAxiom.
Builder class for OWLSubObjectPropertyOfAxiom.
Builder class for SWRLBuiltInAtom.
Builder class for SWRLClassAtom.
Builder class for SWRLDataPropertyAtom.
Builder class for SWRLDataRangeAtom.
Builder class for SWRLDifferentIndividualsAtom.
Builder class for SWRLIndividualArgument.
BuilderSWRLIndividualsAtom<X extends SWRLBinaryAtom<SWRLIArgument,SWRLIArgument>,B extends Builder<X>>
Builder class for SWRL Individuals Atom.
Builder class for SWRLLiteralArgument.
Builder class for SWRLObjectPropertyAtom.
Builder class for SWRLRule.
Builder class for SWRLSameIndividualAtom.
Builder class for SWRLVariable.
Builder class for OWLSymmetricObjectPropertyAxiom.
Builder class for OWLTransitiveObjectPropertyAxiom.
Builder class for OWLObjectUnionOf.
An interface for things that have an exact mapping by name.
A bidirectional short form provider that caches entity short forms.
Cardinality restriction provider interface.
An enum for change application success.
A class to hold detailed results on a set of changes.
Class assertion provider.
Represents the different types of OWL 2 class expressions.
Clause.
Coerces constants to have the same type as the range of a property in axioms where the two are
used.
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.
Complement provider interface.
Matthew Horridge
Stanford Center for Biomedical Informatics Research
10/04/15
Explanation renderer in concise form.
Matthew Horridge Stanford Center for Biomedical Informatics Research 13/04/15
Matthew Horridge Stanford Center for Biomedical Informatics Research 10/04/15
Matthew Horridge Stanford Center for Biomedical Informatics Research 03/04/15
Matthew Horridge Stanford Center for Biomedical Informatics Research 09/04/15
A priority collection that supports concurrent reading and writing through a
ReadWriteLockThis enum handles default values and config file or system property overrides.
Construct enum.
This composite change will convert a defined class to a primitive class by replacing equivalent
classes axioms where the class in question is a class in the equivalent classes axioms to a set
of subclass axioms whose superclasses are the set of classes which were originally equivalent to
the class in question.
More formally, for a given class A, a set of ontologies S, and a target ontology T, this composite change will remove all equivalent axioms from each ontology O in S where the equivalent class axiom contains A as a 'top level' class (e.g.
More formally, for a given class A, a set of ontologies S, and a target ontology T, this composite change will remove all equivalent axioms from each ontology O in S where the equivalent class axiom contains A as a 'top level' class (e.g.
Given a set of ontologies, this composite change will convert all property
assertion axioms whose subject is a 'punned' individual (i.e.
This composite change will convert a primitive class to a defined class by replacing subclass
axioms where the class in question is on the left hand side of the subclass axiom to an
equivalent classes axiom which makes the class equivalent to the intersection of its
superclasses.
This composite change will create a value partitiion - see "pattern 2" in "Representing Specified
Values in OWL: "value partitions" and "value sets""
(http://www.w3.org/TR/swbp-specified-values.)
A value partition is an ontology design pattern which is used to represent a set of closed values for a particular property.
A value partition is an ontology design pattern which is used to represent a set of closed values for a particular property.
Data property assertion provider.
Represents the different types of OWL 2 data ranges.
Datatype expression and facet expression provider.
Specifies that an IRI that is used for a datatype is also used for a class
IRI.
Declaration provider interface.
Atomic decomposer for an ontology.
A change broadcast strategy that simple broadcasts all changes made to all
ontologies.
Tracker for definitions.
A delegating visitor.
Diff.
Disjoint classes and properties provider.
Disjoint union provider.
Renders objects in unicode DL syntax.
Static methods from AbstractOWLParser.
The Class DocumentStructureException.
Annotation, datatype and object property domain provider.
A change broadcast strategy which broadcasts all ontology changes in the
Swing Even Dispatch Thread (EDT).
Convenience methods moved from OWLEntity and its subinterfaces.
Represents the different types of OWL 2 Entities.
Value visitor for EntityType
Equivalent classes and properties provider.
Existential provider interface.
a generator for explanations.
Provides ordering and indenting of explanations based on various ordering heuristics.
Provides ordering and indenting of explanations based on various ordering heuristics.
A progress monitor for an explanation generator.
Renderer for explanations.
A mapping between some known ontology formats and the common file extensions used for them.
sorted set of ints.
factory for int sets
A convenience class which will prepare an input source from a file.
An
OWLOntologyDocumentTarget that supports writing out to a
File.Incorporates a listener into an
OWLOntologyChangeFilter.Collection of filters for use in searching through ontology axioms.
The Class Frame.
The Enum FrameType.
The Class FrameMergeException.
The Class FrameStructureException.
Indicates that a query whose signature contained fresh entities was posed to
the reasoner.
A fresh entity is an entity that is not a built in entity (see
OWLEntity.isBuiltIn() and is not contained within the
signature of the root ontology imports closure.A parser to extract only axioms from an ontology (for use by OBO for functional representation of
untranslatable axioms).
The Class OWLObjectRenderer.
An ontology document source which can read from a GZIP File.
An ontology document target which can write to a GZIP File.
An ontology document source which can read from a GZIP stream.
An ontology document target which can write to a GZIP stream.
An interface to an object that has annotation.
Convenience interface for classes that have an annotation value referred - i.e., annotation
assertion axioms, annotations and annotation values.
An interface to an object that contains axioms.
An interface to an object that contains axioms and can provide subsets of these axioms by the
type of axiom.
An interface to objects that have a cardinality.
An interface to an object that has a signature and can provide the classes that are contained in
its signature.
An interface for objects that have a set of components - this is useful for
all those situations where a generic action has to be performed on all
components of an object, such as hashcode and equals computations, or
rendering in a syntax.
An interface to an object that contains axioms.
An interface to an object that has a signature.
Interface for an object that accepts axiom additions (typically, an OWLOntology).
Interface for an object that accepts axiom additions (typically, an OWLOntology).
An interface to objects that have a direct set of imports.
An interface to objects that have a domain.
An interface to objects that have a filler.
Interface for types with a hash index; this is used to seed the hashcode
computation for instances, so that the hashcodes of objects with different
types are /more/ different than the hashcodes of objects with the same type.
An interface to objects that provide an imports closure of themselves.
Created by ses on 10/7/14.
Interface for types with an index; this is used to group objects by type when
sorting.
HasKey provider interface.
An interface to an object that contains a set of logical axioms.
An interface to objects that have objects (e.g.
An interface to an object that has a signature and can provide the object properties that are
contained in its signature.
An interface for objects that allow a loader configuration provider to be
set.
An interface to objects that have an
OWLOntologyID.An interface for objects that allow a loader configuration to be set.
An interface for objects that allow a writer configuration to be set.
An interface to objects that have a collection of operands.
Annotation for objects that have a priority that can be used for sorting
purposes.
Comparator for objects with HasPriority annotations.
An interface to objects which have a property.
An interface to objects that have a range.
Object has self restriction provider.
An interface to an object that has a short form (human readable short name
e.g.
An interface to an object which has a signature
Created by ses on 10/10/14.
Object and datatype hasvalue provider.
Counts the number of "hidden" GCIs in an ontology imports closure.
Returns true if the visited axioms are an ontology in Horn-SHIQ form.
HST explanation generator.
This class will eventually replace the id to IRI translation in Owl2Obo and OboO2Owl
It is currently in-progress.
It is currently in-progress.
An exception which indicates that a caller tried to write an XML Element with a name that is not
a QName.
Punning between properties is not allowed.
An exception to describe a situation where there was an attempt to apply a
change to an immutable ontology.
Instances of this class represent
OWLOntologyChangeData for changes
that that are specific to the addition or removal of import statements
to/from an ontology.An enumeration for human readable values to include/exclude imports from
searches.
This exception indicates that the reasoner cannot handle the set of axioms that are in the
imports closure of the root ontology because the axioms fall outside of the "largest" OWL profile
(i.e.
Sorts objects into sets based on where they appear in the imports closure of
an ontology.
This type of exception is thrown by an
OWLReasoner to indicate that the
imports closure of the root ontology (returned by
OWLReasoner.getRootOntology()) is
inconsistent.An interface for checking if an anonymous individual is references multiple
times as object of a statement.
Individual (sameAs and differentFrom) assertion provider.
The policy of how a reasoner will return
NodeSets of individuals for queries that return
node sets of named individuals such as
OWLReasoner.getTypes(org.semanticweb.owlapi.model.OWLNamedIndividual, boolean)
or
OWLReasoner.getInstances(org.semanticweb.owlapi.model.OWLClassExpression, boolean)
.An enumeration that denotes depth of inference: direct or indirect relations,
e.g., all subclasses or only direct subclasses.
An enumeration that denotes various types of inference task.
Given a reasoner, implementations of this interface generate axioms that
represent inferred information.
Generates
OWLClassAssertionsAxioms for inferred individual types.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.
Basic dependency injection utility, to replace the use of Guice and wrap calls to ServiceLoader.
Key class for caches
An
OWLMetric that returns an integer value.Entities that are commonly used in implementations.
Object and datatype intersection provider.
The Class InvalidXrefMapException.
Inverse axiom provider interface.
Inverse object provider.
Represents International Resource Identifiers.
A ShortFormProvider based comparator for IRIs.
A short form provider that produces short forms for URIs.
Anonymous or named object interface.
KRSS2ObjectRenderer is an extension of KRSSObjectRenderer
which uses the extended vocabulary.The KRSS2OWLParser differs from the
KRSSOWLParser that it supports an extended KRSS vocabulary available in many reasoning systems.See
KRSS2ObjectRenderer for definition/explanation of the syntax.Vocabulary of KRSS2 syntax.
A
KRSSObjectRenderer renders an OWLOntology in the original KRSS syntax.See
KRSSObjectRenderer for definition/explanation of the syntax.Format for serializing an OWL ontology in a functional syntax format and
labels instead of identifiers.
Implement the writer for
LabelFunctionalDocumentFormat.Enumeration of known DL languages
NOTE: this class was not designed as a general purpose renderer, i.e., some ontologies might be
misrepresented in the output.
The Class LatexRendererException.
The Class LatexWriter.
Provider for OWLLiteral construction.
Types of locality classes that can be used.
Types of locality classes that can be used.
A locality evaluator.
Interface for classes that test whether an axiom is local with respect to a signature.
Abstract class for convenience implementation of locality-based
ModuleExtractors.Macro expansion GCI visitor.
Given a set of class expressions, this composite change will make them
mutually disjoint.
For a given class, this composite change makes its told primitive subclasses
mutually disjoint.
The vocabulary that the Manchester OWL Syntax uses.
An expression parser that parses class expressions written in the Manchester
OWL Syntax.
An expression parser that parses a Manchester OWL Syntax Class Frame to
produce a set of axioms that represent the class frame.
The Class ManchesterOWLSyntaxFrameRenderer.
An implementation of the OWLObjectRenderer interface.
Interface for a parser able to parse Manchester OWL Syntax.
A parser for the Manchester OWL Syntax.
A special short form provider that delegates to a prefix manager to obtain
short forms.
Token.
wrapper for parsing Manchester Syntax.
* Objects that identify contained maps - so that getting the keys of a specific map does not
require a specific method for each map nor does it require the map to be copied and returned.
Interface for MIME type aware objects.
An event that gets posted to objects that listen for missing imports when silent missing import
handling is set to
true in an ontology manager.Specifies how missing imports should be treated during loading.
An interface for objects that listen to missing imports events.
what action to take if the ontology header is missing.
class to create modules of an ontology wrt module type
class to create modules of an ontology wrt module type
Interface for classes that extract modules based on fixed axiom bases.
Module types - for use with Chiara and Dmitry's implementation of
modularisation and atomic decomposition, as implemented in
FaCT++/OWLAPITOOLS.
Enumeration for module types.
Certain tasks or algorithms may take some time to accomplish.
multiple explanation generator.
A utility class which checks if a class expression has a named conjunct or a specific named
conjunct.
resolver strategies.
Indicates that a prefix is builtin - i.e.
Indicates whether a prefix is a legacy prefix or not.
A utility class which can generate namespaces, local names and namespace prefixes in accordance
with the XML specifications.
Parameters for navigating class or property hierarchies.
Represents a node (set) of entities.
Represents the Node ID for anonymous individuals.
A set of
Nodes.Nominal provider interface.
Matthew Horridge
Stanford Center for Biomedical Informatics Research
10/04/15
Matthew Horridge Stanford Center for Biomedical Informatics Research 10/04/15
Matthew Horridge Stanford Center for Biomedical Informatics Research 13/04/15
An implementation of an explanation order, which doesn't really do any
ordering!.
An implementation of a progress monitor that does nothing when it receives
notification of progress events.
The Class NullTripleHandler.
Object property assertion provider.
OBO to OWL vocabulary.
An OBODoc is a container for a header frame and zero or more entity frames.
Diffs two OBO Documents.
OBOformat constants.
OBOformat tags.
The Class OBOFormatDanglingReferenceException.
The Class OBOFormatException.
OBOformat parser.
Implements the OBO Format 1.4 specification.
The Class OBOFormatParserException.
Renderer for obo.
The Class OBOFormatWriter.
Provide names for given OBO identifiers.
Default implementation of a
OBOFormatWriter.NameProvider using an underlying.Alternative implementation to lookup labels in an
OWLOntology.Tools for checking and fixing cardinality constrains for OBO ontologies in OWL.
Functor for resolving conflicts for an annotation property and its cardinality constraint.
Exception indication a non-resolvable conflict for an annotation property and its cardinality
constraint.
Functor for reporting conflicts for an annotation property and its cardinality constraint.
Represents the specific non-ontology data required by an
AddOntologyAnnotation change.An ontology atom including module and dependencies information.
Ontology based modularizer.
A configuration builder that specifies all available options in the OWL API.
Parameters for ontology copying across managers.
An interface for any class implementing ontology segmentation or modularisation.
Some ontology utils methods.
An enumeration of the datatypes in the OWL 2 specification.
Category enum.
Normalization enum.
An optimised implementation of OWLDatatype for OWL2Datatypes.
Checks to see if an ontology and its imports closure fall into the OWL 2 FULL profile.
Annotations are used in the various types of annotation axioms, which bind annotations to their
subjects (i.e.
Represents
AnnotationAssertion axioms in the OWL 2 specification.
A super interface for annotation axioms.
A visitor which visits the different kinds of annotation axioms.
A marker interface for the values (objects) of annotations.
Represents an
AnnotationProperty in the OWL 2 specification.
Represents an
AnnotationPropertyDomain axiom in the OWL 2 specification.
Represents an
AnnotationPropertyRange axiom in the OWL 2 specification.
A marker interface for annotation subjects, which can either be IRIs or
anonymous individuals, with visitor methods.
A marker interface for annotation values, which can either be an IRI (URI), Literal or Anonymous
Individual, with visitor methods.
A visitor that visits values of
OWLAnnotations and
OWLAnnotationAssertionAxioms.The super interface for all class expressions which are not named class expressions (i.e.
Represents Anonymous
Individuals in the OWL 2 Specification.
A utility class that visits axioms, class expressions etc.
The Class OWLAPIObo2Owl.
The Class OWLAPIOwl2Obo.
The Class UntranslatableAxiomException.
A set of personalized preconditions.
A few util methods for common stream operations.
Class for pairwise partition
Represents
AsymmetricObjectProperty axioms in the OWL 2 specification.
Represents Axioms in the OWL 2
Specification.
An OWL ontology contains a set of axioms.
An OWL ontology contains a set of axioms.
Ontology methods related to it being a collection of axioms.
Ontology methods related to it being a collection of axioms.
Axiom accessor methods - all OWLOntology methods that return sets (or streams) of axioms of a
certain type or with a certain entity referred.
Search filter for axioms of various types, matching a pass condition on a
key.
An interface for objects that can accept visits from axioms.
An interface for objects that can accept visits from axioms.
Represents a Class in
the OWL 2 specification.
Represents ClassAssertion
axioms in the OWL 2 Specification.
Represents Class Expressions in
the OWL 2 specification.
Collects all of the nested class expression that are used in some OWLObject.
An expression parser that parses expressions that correspond to class
expressions.
An interface to objects that can visit
OWLClassExpressions.An interface to objects that can visit
OWLClassExpressions.A node set of OWL classes.
An interface to objects that can visit
OWLClassExpressions.An interface to objects that can visit
OWLClassExpressions.A composite ontology change encapsulates a list of ontology changes, which
should be applied as a logical unit.
Represents
DataAllValuesFrom class expressions in the OWL 2 Specification.
Represents Data Property Cardinality Restrictions in the OWL 2 specification.
Represents
DataComplementOf in the OWL 2 Specification.
Represents
DataExactCardinality restrictions in the OWL 2 Specification.
An interface for creating entities, class expressions and axioms.
No cache used.
Represents
DataHasValue restrictions in the OWL 2 Specification.
Represents
DataIntersectionOf in the OWL 2 Specification.
Represents
DataMaxCardinality restrictions in the OWL 2 Specification.
Represents
DataMinCardinality restrictions in the OWL 2 Specification.
Represents DataOneOf in
the OWL 2 Specification.
Represents a Data
Property in the OWL 2 Specification.
Represents a DataPropertyAssertion in the OWL 2 Specification.
A high level interface which marks data property axioms (e.g.
Represents a
DataPropertyDomain axiom in the OWL 2 Specification.
A high level interface to describe different types of data properties.
Represents a
DataPropertyRange axiom in the OWL 2 Specification.
Represents a
DataRange in the
OWL 2 Specification.
A high level interface which represents a data range.
A high level interface which represents a data range.
An interface to an object that can accept visits from
OWLDataRanges.Represents a restriction (Object Property Restriction or Data Property Restriction) in the OWL 2 specification.
Represents a
DataSomeValuesFrom restriction in the OWL 2 Specification.
Represents a
Datatype (named
data range) in the OWL 2 Specification.
Represents a
DatatypeDefinition axiom in the OWL 2 Specification.
Represents a
DatatypeRestriction data range in the OWL 2 Specification.
Represents a
DataUnionOf
data range in the OWL 2 Specification.
A visitor which can visit various data ranges and constants.
Represents a
Declaration in the OWL 2 Specification.
Represents a
DifferentIndividuals axiom in the OWL 2 Specification.
Represents a DisjointClasses
axiom in the OWL 2 Specification.
Represents a
DisjointDataProperties axiom in the OWL 2 Specification.
Represents
DisjointObjectProperties axioms in the OWL 2 specification.
Represents a
DisjointUnion axiom in the OWL 2 Specification.
Represents the concrete representation format of an ontology.
Factory for ontology formats.
A generic factory class for OWLDocumentFormats.
Represents the concrete representation format of an ontology.
Represents
Entities in the OWL 2 Specification.
Maps strings to OWL objects.
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.
A
Comparator which 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.
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.
An interface to an object that can accept visits from
OWLEntitys.Represents an
EquivalentClasses axiom in the OWL 2 Specification.
Represents an
EquivalentDataProperties axiom in the OWL 2 Specification.
Represents
EquivalentObjectProperties axioms in the OWL 2 specification.
The root of checked exceptions in the OWL API.
A general purpose interface which provides the ability to parse some
expression into some kind of object.
Represents the facets that can be used for restricting a datatype.
A facet restriction is used to restrict a particular datatype.
Represents a
FunctionalDataProperty axiom in the OWL 2 Specification.
Represents
FunctionalObjectProperty axioms in the OWL 2 specification.
A utility class whose methods may be statically imported so that OWL API objects can be
constructed by writing code that looks like the OWL 2 Functional Syntax.
Represents a HasKey axiom in the OWL 2
Specification.
Represents an import statement in an ontology.
Represents a named or anonymous individual.
OWLIndividualRelationshipAxiomImpl<P extends OWLPropertyExpression,O extends OWLPropertyAssertionObject>
Represents
InverseFunctionalObjectProperty axioms in the OWL 2 specification.
Represents an
InverseObjectProperties axiom in the OWL 2 Specification.
Represents
IrreflexiveObjectProperty axioms in the OWL 2 Specification.
Extension of OWLReasoner to allow access to reasoner completion graph.
Interface for a tableaux node.
Represents a Literal
in the OWL 2 Specification.
Implementation of
OWLLiteral that uses compression of strings.An OWLLiteral whose datatype is RDF_LANG_STRING or XSD_STRING
An OWLLiteral with xsd:string datatype and no language tag.
Replaces a literal with another.
A base interface of all axioms that affect the logical meaning of an
ontology.
Deprecated.
this interface is redundant
Provides a point of convenience for creating an
OWLOntologyManager with commonly required
features (such as an RDF parser for example).Represents a metric about some aspect of an ontology and possibly its imports closure.
Marker interface for ontologies where mutating actions must have an effect.
Represents a
Named
Individual in the OWL 2 Specification.
Represents a named object for example, class, property, ontology etc.
Represents an axiom that contains two or more operands that could also be represented with
multiple pairwise axioms.
Represents a NegativeDataPropertyAssertion axiom in the OWL 2 Specification.
Represents a
NegativeObjectPropertyAssertion axiom in the OWL 2 Specification.
Represents an
ObjectAllValuesFrom restriction in the OWL 2 Specification.
A ShortFormProvider based comparator for
OWLObject instances.Represents an
ObjectComplementOf class expression in the OWL 2 Specification.
Extracts the parts of a class expression which are negated.
Class to remove structure sharing from OWL objects (Axioms or expressions)
Represents an
ObjectExactCardinality restriction in the OWL 2 Specification.
Represents an ObjectHasSelf
class expression in the OWL 2 Specification.
Represents an
ObjectHasValue class expression in the OWL 2 Specification.
Represents an
ObjectIntersectionOf class expression in the OWL 2 Specification.
Represents a
ObjectInverseOf Represents the inverse of a property expression.
Represents an
ObjectMaxCardinality restriction in the OWL 2 Specification.
Represents a
ObjectMinCardinality restriction in the OWL 2 Specification.
Represents an
ObjectOneOf class expression in the OWL 2 Specification.
Represents an
Object
Property in the OWL 2 Specification.
Represents an
ObjectPropertyAssertion axiom in the OWL 2 Specification.
Represents
ObjectPropertyDomain axioms in the OWL 2 specification.
Represents
ObjectPropertyRange axioms in the OWL 2 specification.
A general purpose interface, implementations of which can be used to renderer OWL objects (e.g.
Represents a restriction (Object Property Restriction or Data Property Restriction) in the OWL 2 specification.
Represents an
ObjectSomeValuesFrom class expression in the OWL 2 Specification.
Transform axioms by rewriting parts of them.
Represents an
ObjectUnionOf class expression in the OWL 2 Specification.
Represents an OWL 2 Ontology in the
OWL 2 specification.
Indicates that an ontology with the given ontology IRI (and possible version
IRI) exists.
An ontology builder is responsible for choosing an OWLOntology implementation.
Represents an abstraction of the essential non-ontology data required by a
particular kind of
OWLOntologyChange.A high level exception interface that describes errors that occurred when applying changes to
ontologies.
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
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.Objects that want to listen to the progress of applying changes to an
ontology should implement this interface and add themselves as listener to a
manager.
Associates an
An
OWLOntologyID with ontology-less change data.An
OWLOntologyChangeRecord captures information about an OWLOntologyChange in a
way that does not require a reference to an OWLOntology object.Describes a situation where a change was vetoed for some reason.
An exception which describes an error during the creation of an ontology.
Indicates an
IOException happened during ontology creation.An exception that describes the situation where there was an attempt to create or load an
ontology where the corresponding ontology document IRI already was already mapped to an ontology.
A document source provides a point for loading an ontology.
Base class for OWLOntologyDocumentSource.
Specifies an interface that provides a pointer to an ontology document where
an ontology can be stored.
An ontology factory is responsible from creating new ontologies and creating ontologies from
ontology document IRIs.
An
OWLOntologyCreationHandler gets notified when the factory has created an empty
ontology (during the loading process).Matthew Horridge Stanford Center for Biomedical Informatics Research 10/04/15
An object that identifies an ontology.
An
OWLOntologySetProvider which 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.
The interface to an object that is capable of mapping ontology IRIs to
document IRIs.
Manual IRI mapper.
An exception which describes the situation where no ontology document IRI
mapping could be found.
A configuration object that specifies options and hints to objects that load
OWLOntology
instances.Receives notification of ontology loading starting and finishing from a
manager.
Loading event.
Describes the situation when the loading process for an ontology has
finished.
Loading start event.
An
OWLOntologyManager manages a set of ontologies.An ontology manager factory is responsible from creating new ontology
managers.
A very very simple merger, which just creates an ontology which contains the union of axioms from
a set of ontologies.
A specialized walker that skips visiting annotation assertion literals.
An exception that describes the situation where an ontology could not be
renamed (have its ID set) because its manager already contained an ontology
with the same name.
An exception to describe a problem in accessing an ontology.
Inputs to algorithms etc.
An ontology set provider which provides a singleton set - i.e.
An
OWLOntologyStorageException that was caused by an IOException.A configuration object that specifies options for output.
The OWLOntologyNamespaceManager wraps a NamespaceManager (OWLDocumentFormat).
Functional interface for a visitor that applies a function to two arguments,
and returns a value.
Functional interface for a visitor that applies a function to two arguments,
and returns a value.
Functional interface for a visitor that applies a function to two arguments,
and returns a value.
An
OWLParser parses an ontology document and adds the axioms of the parsed ontology to
the OWLOntology object passed to the parse methods.Indicates that a parse error happened when trying to parse an ontology.
An object that can create an
OWLParser.Generic parser factory.
A common interface for:
OWLClass,
OWLObjectProperty,
OWLDataProperty,
OWLAnnotationProperty,
OWLDatatype,
OWLAnonymousIndividual,
OWLLiteral,
IRI.Describes a violation of an OWLProfile by an axiom.
A marker interface for properties that aren't expression i.e.
Represents an Assertion in the OWL 2
specification.
A marker interface for the types of property assertion objects (individuals
and literals) that are the objects of property assertions.
The base interface for property axioms.
A marker interface, for objects that can be the ranges of properties.
Represents
ObjectPropertyDomain axioms in the OWL 2 specification.
Represents a property or possibly the inverse of a property.
An interface to object that can visit the different types of property
expressions.
A marker interface, for objects that can be the ranges of properties.
Represents
ObjectPropertyRange axioms in the OWL 2 specification.
A quantified data restriction.
Quantified data restriction.
A quantified object restriction.
Quantified object restriction.
A parser/interpreter for an RDF graph which represents an OWL ontology.
The Class OWLRDFConsumerAdapter.
The Class OWLRDFXMLParserException.
The Class OWLRDFXMLParserMalformedNodeException.
An OWLReasoner reasons over a set of axioms (the set of reasoner axioms) that is based on the
imports closure of a particular ontology - the "root" ontology.
An OWLReasonerConfiguration can be used to customise the setup of a reasoner
at reasoner creation time via an
OWLReasonerFactory.An OWLReasonerFactory is a point for creating instances of
OWLReasoner objects.Represents
ReflexiveObjectProperty axioms in the OWL 2 specification.
Represents a restriction (Object
Property Restriction or Data
Property Restriction) in the OWL 2 specification.
The root of runtime exceptions in the OWL API.
Represents an SameIndividual
axiom in the OWL 2 Specification.
Ontology methods related to its signature.
Ontology methods related to its signature.
An ontology storer stores an ontology in a particular format at a location
specified by a particular URI.
Factory for ontology storers.
A factory class for OWLOntologyStorers.
Tools to read and write a set of owl axioms to/from a string.
Exception indicating an un-recoverable error during the handling of axiom strings.
Represents an
SubAnnotationPropertyOf axiom in the OWL 2 Specification.
Represents an SubClassOf axiom in
the OWL 2 Specification.
A marker interface for an axiom that can be represented by a set of
SubClassOf axioms that is equivalent to this axiom.
A marker interface for axioms that are essentially syntactic shortcuts for
SubClassOf axioms.
Represents an
SubDataPropertyOf axiom in the OWL 2 Specification.
Represents
SubObjectPropertyOf axioms in the OWL 2 specification.
Represents a
SubObjectPropertyOf axiom in the OWL 2 Specification where the subproperty is a chain of
properties.
Represents
SymmetricObjectProperty axioms in the OWL 2 specification.
Represents a
TransitiveObjectProperty axiom in the OWL 2 Specification.
Base interface for visitors.
Base interface for visitors that return a value.
Utility shortcuts for OWL basic entities.
The Class OWLXMLOntologyStorageException.
Writes OWL/XML.
An IRI mapper that uses a zip file and its owlzip.properties content to map logical IRIs to
jar: IRIs.Class for saving ontologies to zip files with an optional index.
The Class ParserException.
A PrefixOWLDocumentFormat delegates all PrefixManager operations to a
PrefixManager implementation.
A PrefixOWLDocumentFormat delegates all PrefixManager operations to a
PrefixManager implementation.
A prefix manager than can provide prefixes for prefix names.
A collection that is sorted by HasPriority annotation on its members.
Specifies how PriorityCollection should sort its entries.
This enumeration includes all currently implemented profile checkers and known information about
available reasoners for those profiles.
Profile visitor - walks the imports closure and adds all violations found to the violation
collection.
Base class for profile violation visitors.
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.
Annotation, datatype and object property range provider.
Property characteristic axioms provider (functional, transitive, etc.).
A short form provider which creates QNames for entities.
Qualifier value.
Annotation, datatype and object property range provider.
Defines some well-known RDF constants.
Receives notifications about triples generated during the parsing process.
An RDF OWL Document Format.
This class parses the RDF according to the syntax specified in
http://www.w3.org/TR/rdf-
syntax-grammar/.
Thrown if an RDF error is encountered while parsing RDF.
Anonymous node implementation.
IRI node implementation.
Describes why an RDF resource could not be parsed into an
OWLObject.An ontology document source which reads an ontology from a reader.
Specifies that a some internal error occurred during reasoning.
The ReasonerProgressMonitor interface should be implemented by objects that wish to monitor the
progress of a reasoner.
A provider for anonymous individuals that remaps input ids consistently across all requests.
Given a set of ontologies, this composite change will remove all disjoint
classes axioms from these ontologies.
Represents an ontology change were an axiom will be removed from an ontology
if the change is applied to an ontology.
Represents the specific non-ontology data required by an
RemoveAxiom
change.Represents the specific non-ontology data required by a
RemoveImport change.Represents an ontology change where an annotation is removed from an
ontology.
Represents the specific non-ontology data required by a
RemoveOntologyAnnotation change.The listener interface for receiving renderer events.
Satisfiability converter.
A collection of static search utilities.
semantic locality checker for DL axioms
Semantic locality evaluator.
Thread safe class for checking semantic locality.
Class to extract modules based on semantic locality.
Represents the specific non-ontology data required by a
SetOntologyID change.An object with a settable cardinality attribute.
An object with a settable property attribute.
An interface for objects which have a settable range attribute.
An entity checker that maps from string to entities using a bidirectional
short form provider.
A short form provider that generates short forms based on
rdfs:label annotation values
taken from a list of axioms.A short form provider produces renderings of entities.
helper class to set signature and locality class
signature index
class to hold the signature of a module
The Class SilentExplanationProgressMonitor.
Null implementation.
A simple configuration with the general options.
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.
Explanation generator for a single explanation.
The Class SingleExplanationGeneratorImpl.
A small wrapper class that allows SLF4J error messages about not having a
binding (or more than one) silenced.
This class provides a compact implementation of a very small sets - less than or equal to three
elements
A change broadcast strategy that broadcasts changes that have been applied to
a specific ontology.
Given a set of ontologies, this composite change will replace all subclass axioms in each
ontology, whose super class is an object intersection (conjunction) with multiple subclass axioms
- one for each conjunct.
Base class for all parser states.
An ontology document source which can read from a stream.
Base class for common utilities among stream, reader and file input sources.
Annotation 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).
An ontology input source that wraps a string.
String comparator that takes length into account before natural ordering.
This is a simple structural reasoner that essentially answers with told information.
Structure walker for object walkers.
Annotation, datatype and object property range provider.
Represents an object in an atom (either a data object or and individual
object).
Represents an atom in a rule.
Represents an atom with two ordered arguments.
Represents arguments in
SWRLAtoms that
are either OWLLiterals or variables for individuals
SWRLLiteralArgument.Represents arguments in
SWRLAtoms that
are either OWLIndividuals or variables
for individuals SWRLIndividualArgument.An interface to a factory that can create SWRL objects.
Represent a rule.
Represents a variable that can appear in an atom.
Extracts the variables from rules.
syntactic locality checker for DL axioms
Syntactic locality evaluator.
Thread safe class for checking syntactic locality.
Class to extract modules based on syntactic locality.
Implementation of module extraction based on syntactic locality.
An output target that will output an ontology to
System.out.Thrown when the current reasoner operation has been interrupted due to a
satisfiability check timeout.
check whether class expressions are equivalent to top wrt given locality class
A utility class which can be used by implementations to provide a toString rendering of OWL API
objects.
transactional support for single explanation generator.
Give a node in an RDF graph, which represents the main node of an OWL class expression, the
ClassExpressionTranslator consumes the triples that represent the class expression,
and translates the triples to the appropriate OWL API OWLClassExpression object.Translates and consumes an item in an RDF list.
The Interface TripleHandler.
Wrapper for triple logging functions.
The Class TurtleOntologyParser.
The Class TurtleParser.
Token literal values and constants.
Entity not declared.
Object and datatype union provider.
Universal provider interface.
A class that describes how ontology parsing failed.
Indicates that a class expression in an axiom is not in the profile.
Specifies that a datatype is not declared.
Use of an unknown datatype.
A simple utility class that describes the version of a piece of software e.g.
A place holder for the current release number.
A weakly linked cache - elements in the cache can be garbage collected.
A weakly linked cache - elements in the cache can be garbage collected.
This class contains various methods for checking QNames, NCNames etc.
Developed as part of the CO-ODE project http://www.co-ode.org .
Developed as part of the CO-ODE project http://www.co-ode.org .
Developed as part of the CO-ODE project http://www.co-ode.org .
Xref.
Xref expander.
A vocabulary for XML Schema Data Types (XSD).
An ontology document source which can read from a XZ (LZMA) compressed File.
An ontology document target which can write to a XZ File.
An ontology document source which can read from a XZ stream.
An ontology document target which can write to a XZ stream.
A mapper which given a root folder attempts to automatically discover and map files to
ontologies.