Package org.semanticweb.owlapi.model

Interface Summary
MissingImportListener Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 11-Apr-2008

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

Annotations are used in the various types of annotation axioms, which bind annotations to their subjects (i.e.

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

An annotation that annotates the entity in an entity declaration.

OWLAnnotationAxiom Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 25-Oct-2006

Annotation axioms do not affect the logical meaning of an ontology.

OWLAnnotationAxiomVisitor Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 17-Jan-2009
OWLAnnotationAxiomVisitorEx<O> Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 17-Jan-2009
OWLAnnotationObject Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 15-Jan-2009

A marker interface for annotation axioms and objects they use

OWLAnnotationObjectVisitor Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 17-Jan-2009
OWLAnnotationObjectVisitorEx<O> Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 17-Jan-2009
OWLAnnotationProperty Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 13-Jan-2009
OWLAnnotationPropertyDomainAxiom Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 13-Jan-2009
OWLAnnotationPropertyRangeAxiom Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 13-Jan-2009
OWLAnnotationSubject Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 13-Jan-2009

A marker interface for annotation subjects, which can either be IRIs or anonymous individuals.

OWLAnnotationValue Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 13-Jan-2009

A marker interface for annotation values, which can either be an IRI (URI), Literal or Anonymous Individual.

OWLAnnotationValueVisitor Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 17-Jan-2009
OWLAnnotationValueVisitorEx<O> Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 17-Jan-2009
OWLAnonymousClassExpression Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006

The base interface for all class expressions which are not named class expressions (i.e.

OWLAnonymousIndividual Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
OWLAsymmetricObjectPropertyAxiom Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006

States that an object property is asymmetric.

OWLAxiom Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006

An OWL ontology contains a set of axioms.

OWLAxiomVisitor Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 26-Oct-2006

OWLAxiomVisitorEx<O> Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 16-Apr-2008

OWLBooleanClassExpression Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
OWLCardinalityRestriction<P extends OWLPropertyExpression,F extends OWLPropertyRange> Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
OWLClass Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006 Represents a named class in OWL.
OWLClassAssertionAxiom Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
OWLClassAxiom Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
OWLClassExpression Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006 Represents a class expression in OWL.
OWLClassExpressionVisitor Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 13-Nov-2006

OWLClassExpressionVisitorEx<O> Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 16-Apr-2008

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

A composite ontology change encapsulates a list of ontology changes, which should be applied as a logical unit.
OWLDataAllValuesFrom Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
OWLDataCardinalityRestriction Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
OWLDataComplementOf Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
OWLDataExactCardinality Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
OWLDataFactory Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006

An interface for creating entities, class expressions and axioms.

OWLDataHasValue Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
OWLDataIntersectionOf Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 15-Jan-2009
OWLDataMaxCardinality Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
OWLDataMinCardinality Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
OWLDataOneOf Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006 Represents a data range which contains a specific set of data values.
OWLDataProperty Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
OWLDataPropertyAssertionAxiom Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006

Represents an assertion about a relationship between and individual and a data value.

OWLDataPropertyAxiom Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 26-Oct-2006

A high level interface which marks data property axioms (e.g.
OWLDataPropertyCharacteristicAxiom Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 26-Oct-2006

OWLDataPropertyDomainAxiom Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006

Represents an axiom which specified the domain of a data property.

OWLDataPropertyExpression Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006 A high level interface to describe different types of data properties.
OWLDataPropertyRangeAxiom Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006

Represents an axiom which specifies the range of a data property.

OWLDataRange Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006

A high level interface which represents a data range.

OWLDataRangeVisitor Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 17-Jan-2009
OWLDataRangeVisitorEx<O> Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 17-Jan-2009
OWLDataSomeValuesFrom Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
OWLDatatype Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006

Represents a named data range.

OWLDatatypeDefinitionAxiom Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 24-Mar-2009
OWLDatatypeRestriction Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
OWLDataUnionOf Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 15-Jan-2009
OWLDataVisitor Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 13-Nov-2006

A visitor which can visit various data ranges and constants.

OWLDataVisitorEx<O> Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 16-Apr-2008

OWLDeclarationAxiom Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006

A declaration axiom declares an entity in an ontology.

OWLDifferentIndividualsAxiom Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
OWLDisjointClassesAxiom Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
OWLDisjointDataPropertiesAxiom Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
OWLDisjointObjectPropertiesAxiom Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
OWLDisjointUnionAxiom Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
OWLEntity Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006

A marker interface for classes, properties, individuals (including anonymous individuals) and datatypes.

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

OWLEntityVisitorEx<O> Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 16-Apr-2008

OWLEquivalentClassesAxiom Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
OWLEquivalentDataPropertiesAxiom Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
OWLEquivalentObjectPropertiesAxiom Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
OWLFacetRestriction Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 11-Jan-2007

A facet restriction is used to restrict a particular datatype.

OWLFunctionalDataPropertyAxiom Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
OWLFunctionalObjectPropertyAxiom Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
OWLHasKeyAxiom Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 15-Jan-2009
OWLImportsDeclaration Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 25-Oct-2006

OWLIndividual Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 25-Oct-2006

Represents a named or anonymous individual.
OWLIndividualAxiom Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
OWLIndividualVisitor Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 20-Mar-2009
OWLIndividualVisitorEx<O> Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 20-Mar-2009
OWLInverseFunctionalObjectPropertyAxiom Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
OWLInverseObjectPropertiesAxiom Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 29-Nov-2006

Represents a statement that two properties are the inverse of each other.

OWLIrreflexiveObjectPropertyAxiom Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
OWLLiteral Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006

Represents a literal (typed or rdf:TEXT).

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

A base interface of all axioms that affect the logical meaning of an ontology.
OWLLogicalAxiomVisitor Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 17-Jan-2009
OWLLogicalAxiomVisitorEx<O> Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 17-Jan-2009
OWLLogicalEntity Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 25-Nov-2009 An OWLLogicalEntity is an OWLEntity that is not an OWLAnnotationProperty.
OWLMutableOntology Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 25-Oct-2006
OWLNamedIndividual Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 15-Jan-2009
OWLNamedObject Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006

Represents a named object for example, class, property, ontology etc.

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

OWLNamedObjectVisitorEx<O> Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 16-Apr-2008

OWLNaryBooleanClassExpression Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
OWLNaryClassAxiom Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
OWLNaryDataRange Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 15-Jan-2009
OWLNaryIndividualAxiom Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
OWLNaryPropertyAxiom<P extends OWLPropertyExpression> Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
OWLNegativeDataPropertyAssertionAxiom Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
OWLNegativeObjectPropertyAssertionAxiom Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
OWLObject Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
OWLObjectAllValuesFrom Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
OWLObjectCardinalityRestriction Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 25-Oct-2006
OWLObjectComplementOf Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
OWLObjectExactCardinality Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
OWLObjectHasSelf Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
OWLObjectHasValue Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
OWLObjectIntersectionOf Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 25-Oct-2006

OWLObjectInverseOf Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006 Represents the inverse of a property expression.
OWLObjectMaxCardinality Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
OWLObjectMinCardinality Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
OWLObjectOneOf Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
OWLObjectProperty Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
OWLObjectPropertyAssertionAxiom Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
OWLObjectPropertyAxiom Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
OWLObjectPropertyCharacteristicAxiom Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 26-Oct-2006

OWLObjectPropertyDomainAxiom Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
OWLObjectPropertyExpression Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
OWLObjectPropertyRangeAxiom Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
OWLObjectSomeValuesFrom Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
OWLObjectUnionOf Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
OWLObjectVisitor Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 15-Nov-2006

OWLObjectVisitorEx<O> Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 16-Apr-2008

OWLOntology Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006 An OWLOntology consists of a possibly empty set of OWLAxioms and a possibly empty set of OWLAnnotations.
OWLOntologyChangeBroadcastStrategy Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 20-Nov-2006

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

OWLOntologyChangeProgressListener Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 12-Mar-2009
OWLOntologyChangeVisitor Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 12-Dec-2006

OWLOntologyFactory Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 25-Oct-2006

An ontology factory is responsible from creating new ontologies and creating ontologies from physical URIs.

OWLOntologyFactory.OWLOntologyCreationHandler An OWLOntologyCreationHandler gets notified when the factory has created an empty ontology (during the loading process).
OWLOntologyIRIMapper Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 25-Oct-2006 The interface to an object that is capable of mapping onology URIs (sometimes referred to a logical URIs) to physical URIs.
OWLOntologyLoaderListener Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 14-Apr-2008

OWLOntologyManager Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006 The OWLOntologyManager manages a set of ontologies.
OWLOntologyManagerFactory Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 16-Mar-2007

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

Inputs to algorithms etc.
OWLOntologyStorer Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 02-Jan-2007

An ontology storer stores an ontology in a particular format at a location specified by a particular URI.
OWLProperty<P extends OWLPropertyExpression,R extends OWLPropertyRange> Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 23-Jan-2007

A marker interface for properties that aren't expression i.e.
OWLPropertyAssertionAxiom<P extends OWLPropertyExpression,O extends OWLPropertyAssertionObject> Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006 An individual relationship axiom describes a relationship of the form Property(Subject, Object) i.e.
OWLPropertyAssertionObject Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 18-Mar-2009
OWLPropertyAxiom Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006 The base interface for property axioms.
OWLPropertyDomainAxiom<P extends OWLPropertyExpression> Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
OWLPropertyExpression<P extends OWLPropertyExpression,R extends OWLPropertyRange> Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006 Represents a property or possibly the inverse of a property.
OWLPropertyExpressionVisitor Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 13-Nov-2006

OWLPropertyExpressionVisitorEx<O> Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 16-Apr-2008

OWLPropertyRange Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006 A marker interface, for objects that can be the ranges of properties
OWLPropertyRangeAxiom<P extends OWLPropertyExpression,R extends OWLPropertyRange> Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
OWLQuantifiedRestriction<P extends OWLPropertyExpression,F extends OWLPropertyRange> Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 25-Oct-2006
OWLReflexiveObjectPropertyAxiom Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
OWLRestriction<P extends OWLPropertyExpression> Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006 Represents a restriction.
OWLSameIndividualAxiom Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
OWLStringLiteral Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
OWLSubAnnotationPropertyOfAxiom Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 13-Jan-2009
OWLSubClassOfAxiom Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
OWLSubDataPropertyOfAxiom Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
OWLSubObjectPropertyOfAxiom Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
OWLSubPropertyAxiom<P extends OWLPropertyExpression> Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
OWLSubPropertyChainOfAxiom Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 22-Nov-2006

OWLSymmetricObjectPropertyAxiom Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
OWLTransitiveObjectPropertyAxiom Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
OWLTypedLiteral Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
OWLUnaryPropertyAxiom<P extends OWLPropertyExpression> Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 25-Oct-2006
OWLValueRestriction<P extends OWLPropertyExpression,V extends OWLObject> Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
PrefixManager Author: Matthew Horridge
The University Of Manchester
Information Management Group
Date: 10-Sep-2008

A prefix manager than can provide prefixes for prefix names.

SWRLArgument Author: Matthew Horridge
The University Of Manchester
Medical Informatics Group
Date: Jan 15, 2007

matthew.horridge@cs.man.ac.uk
www.cs.man.ac.uk/~horridgm

Represents an object in an atom (either a data object or and individual object)

SWRLAtom Author: Matthew Horridge
The University Of Manchester
Medical Informatics Group
Date: Jan 15, 2007

matthew.horridge@cs.man.ac.uk
www.cs.man.ac.uk/~horridgm

Represents an atom in a rule.

SWRLBinaryAtom<A extends SWRLArgument,B extends SWRLArgument> Author: Matthew Horridge
The University Of Manchester
Medical Informatics Group
Date: Jan 15, 2007

matthew.horridge@cs.man.ac.uk
www.cs.man.ac.uk/~horridgm

Represents an atom with two ordered arguments

SWRLBuiltInAtom Author: Matthew Horridge
The University Of Manchester
Medical Informatics Group
Date: Jan 15, 2007

matthew.horridge@cs.man.ac.uk
www.cs.man.ac.uk/~horridgm

SWRLClassAtom Author: Matthew Horridge
The University Of Manchester
Medical Informatics Group
Date: Jan 15, 2007

matthew.horridge@cs.man.ac.uk
www.cs.man.ac.uk/~horridgm

SWRLDArgument Author: Matthew Horridge
The University Of Manchester
Medical Informatics Group
Date: Jan 15, 2007

matthew.horridge@cs.man.ac.uk
www.cs.man.ac.uk/~horridgm

Represents arguments in SWRLAtoms that are either OWLLiterals or variables for individuals SWRLLiteralVariable

SWRLDataFactory Author: Matthew Horridge
The University Of Manchester
Medical Informatics Group
Date: Jan 15, 2007

matthew.horridge@cs.man.ac.uk
www.cs.man.ac.uk/~horridgm

An interface to a factory that can create SWRL objects

SWRLDataPropertyAtom Author: Matthew Horridge
The University Of Manchester
Medical Informatics Group
Date: Jan 15, 2007

matthew.horridge@cs.man.ac.uk
www.cs.man.ac.uk/~horridgm

SWRLDataRangeAtom Author: Matthew Horridge
The University Of Manchester
Medical Informatics Group
Date: Jan 15, 2007

matthew.horridge@cs.man.ac.uk
www.cs.man.ac.uk/~horridgm

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

SWRLIArgument Author: Matthew Horridge
The University Of Manchester
Medical Informatics Group
Date: Jan 15, 2007

matthew.horridge@cs.man.ac.uk
www.cs.man.ac.uk/~horridgm

Represents arguments in SWRLAtoms that are either OWLIndividuals or variables for individuals org.semanticweb.owlapi.model.SWRLIndividualVariable

SWRLIndividualArgument Author: Matthew Horridge
The University Of Manchester
Medical Informatics Group
Date: Jan 15, 2007

matthew.horridge@cs.man.ac.uk
www.cs.man.ac.uk/~horridgm

SWRLLiteralArgument Author: Matthew Horridge
The University Of Manchester
Medical Informatics Group
Date: Jan 15, 2007

matthew.horridge@cs.man.ac.uk
www.cs.man.ac.uk/~horridgm

SWRLObject Author: Matthew Horridge
The University Of Manchester
Medical Informatics Group
Date: Jan 15, 2007

matthew.horridge@cs.man.ac.uk
www.cs.man.ac.uk/~horridgm

SWRLObjectPropertyAtom Author: Matthew Horridge
The University Of Manchester
Medical Informatics Group
Date: Jan 15, 2007

matthew.horridge@cs.man.ac.uk
www.cs.man.ac.uk/~horridgm

SWRLObjectVisitor Author: Matthew Horridge
The University Of Manchester
Medical Informatics Group
Date: Jan 15, 2007

matthew.horridge@cs.man.ac.uk
www.cs.man.ac.uk/~horridgm

SWRLObjectVisitorEx<O> Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 16-Apr-2008

SWRLPredicate Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 04-Jul-2009
SWRLRule Author: Matthew Horridge
The University Of Manchester
Medical Informatics Group
Date: Jan 15, 2007

matthew.horridge@cs.man.ac.uk
www.cs.man.ac.uk/~horridgm

Represent a rule.

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

SWRLUnaryAtom<A extends SWRLArgument> Author: Matthew Horridge
The University Of Manchester
Medical Informatics Group
Date: Jan 15, 2007

matthew.horridge@cs.man.ac.uk
www.cs.man.ac.uk/~horridgm

SWRLVariable Author: Matthew Horridge
The University Of Manchester
Medical Informatics Group
Date: Jan 15, 2007

matthew.horridge@cs.man.ac.uk
www.cs.man.ac.uk/~horridgm

Represents a varaible that can appear in an atom.

 

Class Summary
AbstractOWLBinaryOperandAxiomTestCase<L extends OWLObject,R extends OWLObject> Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 25-Oct-2006
AbstractOWLDataCardinalityRestrictionTestCase Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 25-Oct-2006
AbstractOWLDataFactoryTest Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 25-Oct-2006

The base for test cases that need a data factory.

AbstractOWLEntityTestCase Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 25-Oct-2006
AbstractOWLIndividualRelationshipAxiomTestCase<P extends OWLPropertyExpression,O extends OWLObject> Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 25-Oct-2006
AbstractOWLNaryOperandsObjectTestCase<O extends OWLObject> Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 25-Oct-2006
AbstractOWLObjectCardinalityRestrictionTestCase Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 25-Oct-2006
AbstractOWLObjectPropertyCharacteristicAxiomTestCase Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 25-Oct-2006
AbstractOWLOntologyManagerTestCase Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 16-Mar-2007

AbstractOWLPropertyCharacteristicTestCase<P extends OWLPropertyExpression> Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 25-Oct-2006
AbstractOWLRestrictionTestCase<P extends OWLPropertyExpression> Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 25-Oct-2006
AbstractOWLRestrictionWithFillerTestCase<P extends OWLPropertyExpression,F extends OWLObject> Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 25-Oct-2006
AbstractOWLTestCase Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 01-May-2007

AddAxiom Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 25-Oct-2006

Represents an ontology change where axioms should be added to an ontology.
AddImport Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 18-Mar-2009
AddOntologyAnnotation Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 24-Mar-2009
AxiomType<C extends OWLAxiom> Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 27-Jul-2007

Represents the type of axioms which can belong to ontologies
BuiltInClassTestCase Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 29-Apr-2007

Tests that the isOWLThing and isOWLNothing methods return correct values.

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

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

A test case which ensures that an ontology contains entity references when that ontology only contains entity declaration axioms.

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

A change broadcast strategy that simple broadcasts all changes made to all ontologies.
EDTChangeBroadcastStrategy Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 14-Mar-2009

A change broadcast strategy which broadcasts all ontology changes in the Swing Even Dispatch Thread (EDT).

EntityType<E extends OWLEntity> Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 11-Oct-2009
ImportChange Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 18-Mar-2009
IRI Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 14-Jan-2009 Represents International Resource Identifiers
MissingImportEvent Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 11-Apr-2008

NodeID Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 15-Jan-2009

Represents the Node ID for anonymous individuals

NodeID.NodeIDImpl  
ObjectPropertySimplifierTestCase Author: Matthew Horridge
The University Of Manchester
Information Management Group
Date: 06-Jun-2008

OWLAndTestCase Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 25-Oct-2006
OWLAntiSymmetricObjectPropertyAxiomTestCase Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 25-Oct-2006
OWLAxiomChange Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 12-Dec-2006

OWLClassTestCase Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 25-Oct-2006
OWLDataAllRestrictionTestCase Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 25-Oct-2006
OWLDataEnumerationTestCase Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 25-Oct-2006
OWLDataExactCardinalityTestCase Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 25-Oct-2006
OWLDataFactoryFactory Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 12-Dec-2006

OWLDataMaxCardinalityTestCase Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 25-Oct-2006
OWLDataMinCardinalityTestCase Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 25-Oct-2006
OWLDataPropertyDomainAxiomTestCase Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 25-Oct-2006
OWLDataPropertyRangeAxiomTestCase Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 25-Oct-2006
OWLDataPropertyTestCase Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 25-Oct-2006
OWLDataRangeNotTestCase Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 25-Oct-2006
OWLDataSomeRestrictionTestCase Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 25-Oct-2006
OWLDataSubPropertyAxiomTestCase Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 25-Oct-2006
OWLDatatypeTestCase Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 25-Oct-2006
OWLDataValueRestrictionTestCase Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 25-Oct-2006
OWLDifferentIndividualsAxiomTestCase Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 25-Oct-2006
OWLDisjointClassesAxiomTestCase Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 25-Oct-2006
OWLDisjointDataPropertiesTestCase Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 25-Oct-2006
OWLDisjointObjectPropertiesAxiomTestCase Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 25-Oct-2006
OWLEquivalentClassesAxiomTestCase Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 25-Oct-2006
OWLEquivalentDataPropertiesAxiomTestCase Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 25-Oct-2006
OWLEquivalentObjectPropertiesAxiomTestCase Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 25-Oct-2006
OWLFunctionalDataPropertyTestCase Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 25-Oct-2006
OWLFunctionalObjectPropertyAxiomTestCase Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 25-Oct-2006
OWLImportsClosureTestCase Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 31-Jul-2007

OWLIndividualDataRelationshipAxiomTestCase Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 25-Oct-2006
OWLIndividualNotDataRelationshipAxiomTestCase Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 25-Oct-2006
OWLIndividualNotObjectRelationshipAxiomTestCase Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 25-Oct-2006
OWLIndividualObjectRelationshipAxiomTestCase Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 25-Oct-2006
OWLIndividualTestCase Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 25-Oct-2006
OWLIndividualTypeAxiomTestCase Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 25-Oct-2006
OWLInverseFunctionalObjectPropertyAxiomTestCase Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 25-Oct-2006
OWLIrreflexiveObjectPropertyAxiomTestCase Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 25-Oct-2006
OWLNotTestCase Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 25-Oct-2006
OWLObjectAllRestrictionTestCase Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 25-Oct-2006
OWLObjectEnumerationTestCase Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 25-Oct-2006
OWLObjectExactCardinalityTestCase Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 25-Oct-2006
OWLObjectMaxCardinalityRestrictionTestCase Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 25-Oct-2006
OWLObjectMinCardinalityTestCase Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 25-Oct-2006
OWLObjectPropertyDomainAxiomTestCase Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 25-Oct-2006
OWLObjectPropertyRangeAxiomTestCase Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 25-Oct-2006
OWLObjectPropertyTestCase Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 25-Oct-2006
OWLObjectSelfRestrictionTestCase Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 25-Oct-2006
OWLObjectSomeRestrictionTestCase Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 25-Oct-2006
OWLObjectSubPropertyAxiomTestCase Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 25-Oct-2006
OWLObjectValueRestrictionTestCase Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 25-Oct-2006
OWLOntologyChange Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 25-Oct-2006
OWLOntologyFormat Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 02-Jan-2007

Represents the concrete representation format of an ontology.
OWLOntologyID Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 18-Jan-2009

An object that identifies an ontology.

OWLOntologyLoaderListener.LoadingEvent  
OWLOntologyLoaderListener.LoadingFinishedEvent Describes the situation when the loading process for an ontology has finished.
OWLOntologyLoaderListener.LoadingStartedEvent  
OWLOntologyManagerImplTestCase Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 02-Jan-2007

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

OWLOrTestCase Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 25-Oct-2006
OWLReflexiveObjectPropertyAxiomTestCase Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 25-Oct-2006
OWLRestrictedDataRangeTestCase Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 25-Oct-2006
OWLSameIndividualsAxiomTestCase Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 25-Oct-2006
OWLSymmetricObjectPropertyAxiomTestCase Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 25-Oct-2006
OWLTransitiveObjectPropertyAxiomTestCase Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 25-Oct-2006
OWLTypedConstantTestCase Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 25-Oct-2006
OWLUntypedConstantTestCase Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 25-Oct-2006
RemoveAxiom Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 25-Oct-2006 Represents an ontology change were an axiom will be removed from an ontology if the change is applied to an ontology.
RemoveImport Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 18-Mar-2009
RemoveOntologyAnnotation Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 24-Mar-2009
SetOntologyID Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 01-Apr-2009
SpecificOntologyChangeBroadcastStrategy Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 20-Nov-2006

A change broadcast strategy that broadcasts changes that have been applied to a specific ontology.
TestIO Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 15-Jun-2009
TestUtils Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 25-Oct-2006
 

Enum Summary
ClassExpressionType Author: Matthew Horridge
The University Of Manchester
Information Management Group
Date: 08-Sep-2008

DataRangeType Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 21-Nov-2008
 

Exception Summary
ImmutableOWLOntologyChangeException Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 13-Apr-2007

An exception to describe a situation where there was an attempt to apply a change to an immutable ontology.
OWLException Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006 The root of checked exceptions in the OWL API.
OWLOntologyAlreadyExistsException Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 18-Jan-2009

Indicates that an ontology with the given ontology IRI (and possible version IRI) exists.

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

A high level exception interface that describes errors that occurred when applying changes to ontologies.
OWLOntologyChangeVetoException Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 13-Apr-2007

Describes a situation where a change was vetoed for some reason.
OWLOntologyCreationException Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 13-Apr-2007

An exception which describes an error during the creation of an ontology.
OWLOntologyFactoryNotFoundException Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 13-Apr-2007

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

An exception to describe a problem in accessing an ontology.
OWLOntologyStorageException Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 13-Apr-2007

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

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

An exception which describes the situation where no ontology URI -> physical URI mapping could be found.
OWLRuntimeException Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 13-Apr-2007

The root of runtime exceptions in the OWL API.
UnknownOWLOntologyException Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 13-Apr-2007