Uses of Interface
org.semanticweb.owlapi.model.OWLOntology

Packages that use OWLOntology

Package	Description
org.semanticweb.owlapi.change
org.semanticweb.owlapi.io
org.semanticweb.owlapi.model
org.semanticweb.owlapi.profiles
org.semanticweb.owlapi.reasoner
org.semanticweb.owlapi.util

Uses of OWLOntology in org.semanticweb.owlapi.change

Methods in org.semanticweb.owlapi.change with parameters of type OWLOntology

Modifier and Type	Method and Description
SetOntologyID	SetOntologyIDData.createOntologyChange(OWLOntology ontology) Creates the SetOntologyID change that describes setting an OWLOntologyID for an OWLOntology specified by the ontology parameter.
RemoveOntologyAnnotation	RemoveOntologyAnnotationData.createOntologyChange(OWLOntology ontology)
RemoveImport	RemoveImportData.createOntologyChange(OWLOntology ontology) Creates the AddImport change that describes the removal of an OWLImportsDeclaration from an OWLOntology specified by the ontology parameter.
RemoveAxiom	RemoveAxiomData.createOntologyChange(OWLOntology ontology) Creates the RemoveAxiom change that describes an removal of an OWLAxiom from an OWLOntology specified by the ontology parameter.
abstract OWLOntologyChange	OWLOntologyChangeData.createOntologyChange(OWLOntology ontology) Creates an OWLOntologyChange object that pertains to the specified ontology, which when applied to the specified ontology enacts the change described by this info object.
AddOntologyAnnotation	AddOntologyAnnotationData.createOntologyChange(OWLOntology ontology)
AddImport	AddImportData.createOntologyChange(OWLOntology ontology) Creates the AddImport change that describes an addition of an OWLImportsDeclaration to an OWLOntology specified by the ontology parameter.
AddAxiom	AddAxiomData.createOntologyChange(OWLOntology ontology) Creates an AddAxiom change that will add the OWLAxiom described by this data to the OWLOntology specified by the ontology parameter.

Uses of OWLOntology in org.semanticweb.owlapi.io

Methods in org.semanticweb.owlapi.io with parameters of type OWLOntology

Modifier and Type	Method and Description
static boolean	RDFOntologyFormat.isMissingType(OWLEntity entity, OWLOntology ontology) Determines if a declaration axiom (type triple) needs to be added to the specified ontology for the given entity.
OWLOntologyFormat	OWLParser.parse(IRI documentIRI, OWLOntology ontology) Parses the ontology with a concrete representation available at documentIRI and adds its axioms to ontology.
OWLOntologyFormat	AbstractOWLParser.parse(IRI documentIRI, OWLOntology ontology)
OWLOntologyFormat	OWLParser.parse(OWLOntologyDocumentSource documentSource, OWLOntology ontology) Parses the ontology with a concrete representation in documentSource and adds its axioms to ontology.
OWLOntologyFormat	OWLParser.parse(OWLOntologyDocumentSource documentSource, OWLOntology ontology, OWLOntologyLoaderConfiguration configuration) Parses the ontology with a concrete representation in documentSource and adds its axioms to ontology.
void	OWLRenderer.render(OWLOntology ontology, OutputStream os) Renders the specified ontology to a concrete representation which should be written to the specified output stream.
void	AbstractOWLRenderer.render(OWLOntology ontology, OutputStream os)
abstract void	AbstractOWLRenderer.render(OWLOntology ontology, Writer writer) Renders the specified ontology using the specified writer.

Uses of OWLOntology in org.semanticweb.owlapi.model

Subinterfaces of OWLOntology in org.semanticweb.owlapi.model

Modifier and Type	Interface and Description
interface	OWLMutableOntology

Methods in org.semanticweb.owlapi.model that return OWLOntology

Modifier and Type	Method and Description
OWLOntology	OWLOntologyManager.createOntology() Creates a new (empty) ontology that does not have an ontology IRI (and therefore does not have a version IRI).
OWLOntology	OWLOntologyManager.createOntology(IRI ontologyIRI) Creates a new (empty) ontology that has the specified ontology IRI (and no version IRI).
OWLOntology	OWLOntologyManager.createOntology(IRI ontologyIRI, Set<OWLOntology> ontologies) Creates a new ontology that has the specified ontology IRI and is initialised to contain the axioms that are contained in the specified ontologies.
OWLOntology	OWLOntologyManager.createOntology(IRI ontologyIRI, Set<OWLOntology> ontologies, boolean copyLogicalAxiomsOnly) Creates a new ontology that has the specified ontology IRI and is initialised to contain the axioms that are contained in the specified ontologies.
OWLOntology	OWLOntologyManager.createOntology(OWLOntologyID ontologyID) Creates a new (empty) ontology that has the specified ontology ID.
OWLOntology	OWLOntologyManager.createOntology(Set<OWLAxiom> axioms) Creates a new ontology that is initialised to contain specific axioms.
OWLOntology	OWLOntologyManager.createOntology(Set<OWLAxiom> axioms, IRI ontologyIRI) Creates a new ontology that has the specified ontology IRI and is initialised to contain specific axioms.
OWLOntology	OWLOntologyFactory.createOWLOntology(OWLOntologyID ontologyID, IRI documentIRI, OWLOntologyFactory.OWLOntologyCreationHandler handler) Creates an (empty) ontology.
OWLOntology	OWLOntologyManager.getImportedOntology(OWLImportsDeclaration declaration) Given an imports declaration, obtains the ontology that this import has been resolved to.
OWLOntology	OWLOntologyChange.getOntology() Gets the ontology that the change is/was applied to.
OWLOntology	OWLOntologyManager.getOntology(IRI ontologyIRI) Gets a previously loaded/created ontology that has the specified ontology IRI and no version IRI.
OWLOntology	OWLOntologyManager.getOntology(OWLOntologyID ontologyID) Gets a previously loaded/created ontology that has the specified ontology ID
OWLOntology	HasGetOntologyById.getOntology(OWLOntologyID ontologyID) Get the ontology with the specified Id.
OWLOntology	OWLOntologyManager.loadOntology(IRI ontologyIRI) Loads an ontology that is assumed to have the specified ontologyIRI as its IRI or version IRI.
OWLOntology	OWLOntologyManager.loadOntologyFromOntologyDocument(File file) Loads an ontology from an ontology document contained in a local file.
OWLOntology	OWLOntologyManager.loadOntologyFromOntologyDocument(InputStream inputStream) Loads an ontology from an ontology document obtained from an input stream.
OWLOntology	OWLOntologyManager.loadOntologyFromOntologyDocument(IRI documentIRI) Loads an ontology from an ontology document specified by an IRI.
OWLOntology	OWLOntologyManager.loadOntologyFromOntologyDocument(OWLOntologyDocumentSource documentSource) A convenience method that load an ontology from an input source.
OWLOntology	OWLOntologyManager.loadOntologyFromOntologyDocument(OWLOntologyDocumentSource documentSource, OWLOntologyLoaderConfiguration config) A convenience method that load an ontology from an input source with specified configuration.
OWLOntology	OWLOntologyFactory.loadOWLOntology(OWLOntologyDocumentSource documentSource, OWLOntologyFactory.OWLOntologyCreationHandler handler) Creates and loads an OWLOntology.
OWLOntology	OWLOntologyFactory.loadOWLOntology(OWLOntologyDocumentSource documentSource, OWLOntologyFactory.OWLOntologyCreationHandler handler, OWLOntologyLoaderConfiguration configuration) Creates and loads an OWLOntology.

Methods in org.semanticweb.owlapi.model that return types with arguments of type OWLOntology

Modifier and Type	Method and Description
Set<OWLOntology>	OWLOntology.getDirectImports() Gets the set of loaded ontologies that this ontology is related to via the directlyImports relation.
Set<OWLOntology>	HasDirectImports.getDirectImports() Gets the direct set of imported ontologies.
Set<OWLOntology>	OWLOntologyManager.getDirectImports(OWLOntology ontology) Gets the set of loaded ontologies that the specified ontology is related to via the directlyImports relation as defined in Section 3.4 of the OWL 2 Structural specification
Set<OWLOntology>	OWLOntology.getImports() Gets the set of loaded ontologies that this ontology is related to via the transitive closure of the directlyImports relation. For example, if this ontology imports ontology B, and ontology B imports ontology C, then this method will return the set consisting of ontology B and ontology C.
Set<OWLOntology>	OWLOntologyManager.getImports(OWLOntology ontology) Gets the set of ontologies that are in the transitive closure of the directly imports relation.
Set<OWLOntology>	OWLOntology.getImportsClosure() Gets the set of loaded ontologies that this ontology is related to via the reflexive transitive closure of the directlyImports relation as defined in Section 3.4 of the OWL 2 Structural Specification.
Set<OWLOntology>	HasImportsClosure.getImportsClosure() Gets the imports closure
Set<OWLOntology>	OWLOntologyManager.getImportsClosure(OWLOntology ontology) Gets the imports closure for the specified ontology.
Set<OWLOntology>	OWLOntologyManager.getOntologies()
Set<OWLOntology>	HasGetOntologies.getOntologies() Gets the (possibly empty) set of OWLOntology objects contained within this object.
Set<OWLOntology>	OWLOntologyManager.getOntologies(OWLAxiom axiom) Gets the ontologies that are managed by this manager that contain the specified axiom.
List<OWLOntology>	OWLOntologyManager.getSortedImportsClosure(OWLOntology ontology) Gets the topologically ordered imports closure.
Set<OWLOntology>	OWLOntologyManager.getVersions(IRI ontology) Gets the versions (if any) of the ontology that have the specified IRI

Methods in org.semanticweb.owlapi.model with parameters of type OWLOntology

Modifier and Type	Method and Description
List<OWLOntologyChange>	OWLOntologyManager.addAxiom(OWLOntology ont, OWLAxiom axiom) A convenience method that adds a single axiom to an ontology.
List<OWLOntologyChange>	OWLOntologyManager.addAxioms(OWLOntology ont, Set<? extends OWLAxiom> axioms) A convenience method that adds a set of axioms to an ontology.
List<OWLOntologyChange>	HasAddAxioms.addAxioms(OWLOntology ont, Set<? extends OWLAxiom> axioms) A convenience method that adds a set of axioms to an ontology.
Set<OWLAnnotationAssertionAxiom>	OWLEntity.getAnnotationAssertionAxioms(OWLOntology ontology)
Set<OWLAnnotation>	OWLEntity.getAnnotations(OWLOntology ontology) Gets the annotations for this entity.
Set<OWLAnnotation>	OWLEntity.getAnnotations(OWLOntology ontology, OWLAnnotationProperty annotationProperty) Obtains the annotations on this entity where the annotation has the specified annotation property.
Set<OWLLiteral>	OWLIndividual.getDataPropertyValues(OWLDataPropertyExpression property, OWLOntology ontology) Gets the values that this individual has for a specific data property
Map<OWLDataPropertyExpression,Set<OWLLiteral>>	OWLIndividual.getDataPropertyValues(OWLOntology ontology) Gets the data property values for this individual
Set<OWLIndividual>	OWLIndividual.getDifferentIndividuals(OWLOntology ontology) A convenience method that examines axioms in the specified ontology to determine the individuals that are asserted to be different to this individual.
Set<OWLOntology>	OWLOntologyManager.getDirectImports(OWLOntology ontology) Gets the set of loaded ontologies that the specified ontology is related to via the directlyImports relation as defined in Section 3.4 of the OWL 2 Structural specification
Set<OWLClassExpression>	OWLClass.getDisjointClasses(OWLOntology ontology) Gets the classes which have been asserted to be disjoint with this class by axioms in the specified ontology.
Set<P>	OWLPropertyExpression.getDisjointProperties(OWLOntology ontology)
Set<OWLClassExpression>	OWLPropertyExpression.getDomains(OWLOntology ontology) Gets the asserted domains of this property.
Set<OWLClassExpression>	OWLClass.getEquivalentClasses(OWLOntology ontology) A convenience method that examines the axioms in the specified ontology and returns the class expressions corresponding to equivalent classes of this class.
Set<P>	OWLPropertyExpression.getEquivalentProperties(OWLOntology ontology) Gets the asserted/told equivalent properties by examining the axioms in the specified ontology.
Set<OWLOntology>	OWLOntologyManager.getImports(OWLOntology ontology) Gets the set of ontologies that are in the transitive closure of the directly imports relation.
Set<OWLOntology>	OWLOntologyManager.getImportsClosure(OWLOntology ontology) Gets the imports closure for the specified ontology.
Set<OWLIndividual>	OWLClass.getIndividuals(OWLOntology ontology) Gets the individuals that have been asserted to be an instance of this class by axioms in the specified ontology.
Set<OWLObjectPropertyExpression>	OWLObjectPropertyExpression.getInverses(OWLOntology ontology)
Map<OWLDataPropertyExpression,Set<OWLLiteral>>	OWLIndividual.getNegativeDataPropertyValues(OWLOntology ontology) Gets the data property values that are explicitly asserted NOT to hold for this individual
Map<OWLObjectPropertyExpression,Set<OWLIndividual>>	OWLIndividual.getNegativeObjectPropertyValues(OWLOntology ontology) Gets the object property values that are explicitly asserted NOT to hold for this individual
Set<OWLIndividual>	OWLIndividual.getObjectPropertyValues(OWLObjectPropertyExpression property, OWLOntology ontology) Gets the asserted object property values for this individual and the specified property.
Map<OWLObjectPropertyExpression,Set<OWLIndividual>>	OWLIndividual.getObjectPropertyValues(OWLOntology ontology) Gets the object property values for this individual.
IRI	OWLOntologyManager.getOntologyDocumentIRI(OWLOntology ontology) Gets the document IRI for a given ontology.
OWLOntologyFormat	OWLOntologyManager.getOntologyFormat(OWLOntology ontology) Gets the ontology format for the specified ontology.
Set<R>	OWLPropertyExpression.getRanges(OWLOntology ontology) Gets the ranges of this property that have been asserted in the specified ontology.
Set<OWLAxiom>	OWLEntity.getReferencingAxioms(OWLOntology ontology) Gets the axioms in the specified ontology that contain this entity in their signature.
Set<OWLAxiom>	OWLEntity.getReferencingAxioms(OWLOntology ontology, boolean includeImports) Gets the axioms in the specified ontology and possibly its imports closure that contain this entity in their signature.
Set<OWLIndividual>	OWLIndividual.getSameIndividuals(OWLOntology ontology)
List<OWLOntology>	OWLOntologyManager.getSortedImportsClosure(OWLOntology ontology) Gets the topologically ordered imports closure.
Set<OWLClassExpression>	OWLClass.getSubClasses(OWLOntology ontology) Gets the classes which have been asserted to be subclasses of this class in the specified ontology.
Set<P>	OWLPropertyExpression.getSubProperties(OWLOntology ontology) Gets the asserted/told sub properties by examining the axioms in the specified ontology.
Set<OWLAnnotationProperty>	OWLAnnotationProperty.getSubProperties(OWLOntology ontology) Gets the annotation properties which are asserted to be sub-properties of this annotation property in the specified ontology.
Set<OWLAnnotationProperty>	OWLAnnotationProperty.getSubProperties(OWLOntology ontology, boolean includeImportsClosure) Gets the annotation properties which are asserted to be sub-properties of this annotation property in the specified ontology and potentially its imports closure.
Set<OWLClassExpression>	OWLClass.getSuperClasses(OWLOntology ontology) A convenience method that examines the axioms in the specified ontology and return the class expressions corresponding to super classes of this class.
Set<P>	OWLPropertyExpression.getSuperProperties(OWLOntology ontology) Gets the asserted/told super properties by examining the axioms in the specified ontology.
Set<OWLAnnotationProperty>	OWLAnnotationProperty.getSuperProperties(OWLOntology ontology) Gets the annotation properties which are asserted to be super-properties of this annotation property in the specified ontology.
Set<OWLAnnotationProperty>	OWLAnnotationProperty.getSuperProperties(OWLOntology ontology, boolean includeImportsClosure) Gets the annotation properties which are asserted to be super-properties of this annotation property in the specified ontology and potentially its imports closure.
Set<OWLClassExpression>	OWLIndividual.getTypes(OWLOntology ontology) A convenience method, which gets the types of this individual, that correspond to the types asserted with axioms in the specified ontology.
boolean	OWLIndividual.hasDataPropertyValue(OWLDataPropertyExpression property, OWLLiteral value, OWLOntology ontology) Test whether a specific value for a specific data property on this individual has been asserted.
boolean	OWLIndividual.hasNegativeDataPropertyValue(OWLDataPropertyExpression property, OWLLiteral literal, OWLOntology ontology) Test whether a specific value for a specific data property has been asserted not to hold for this individual.
boolean	OWLIndividual.hasNegativeObjectPropertyValue(OWLObjectPropertyExpression property, OWLIndividual individual, OWLOntology ontology) Test whether a specific value for a specific object property has been asserted not to hold for this individual.
boolean	OWLIndividual.hasObjectPropertyValue(OWLObjectPropertyExpression property, OWLIndividual individual, OWLOntology ontology) Test whether a specific value for a specific object property on this individual has been asserted.
boolean	OWLObjectPropertyExpression.isAsymmetric(OWLOntology ontology)
boolean	OWLClass.isDefined(OWLOntology ontology) Determines if this class is a top level class in an OWLEquivalentClassesAxiom in the specified ontology.
boolean	OWLPropertyExpression.isFunctional(OWLOntology ontology) Determines if this property is functional in the specified ontology.
boolean	OWLObjectPropertyExpression.isInverseFunctional(OWLOntology ontology) Determines if the specified ontology specifies that this property is inverse functional.
boolean	OWLObjectPropertyExpression.isIrreflexive(OWLOntology ontology)
boolean	OWLObjectPropertyExpression.isReflexive(OWLOntology ontology)
boolean	OWLObjectPropertyExpression.isSymmetric(OWLOntology ontology)
boolean	OWLObjectPropertyExpression.isTransitive(OWLOntology ontology)
void	OWLOntologyFactory.OWLOntologyCreationHandler.ontologyCreated(OWLOntology ontology) The factory calls this method as soon as it has created an ontology.
List<OWLOntologyChange>	OWLOntologyManager.removeAxiom(OWLOntology ont, OWLAxiom axiom) A convenience method that removes a single axiom from an ontology.
List<OWLOntologyChange>	OWLOntologyManager.removeAxioms(OWLOntology ont, Set<? extends OWLAxiom> axioms) A convenience method that removes a set of axioms from an ontology.
List<OWLOntologyChange>	HasRemoveAxioms.removeAxioms(OWLOntology ont, Set<? extends OWLAxiom> axioms) A convenience method that removes a set of axioms from an ontology.
void	OWLOntologyManager.removeOntology(OWLOntology ontology) Attempts to remove an ontology.
void	OWLOntologyManager.saveOntology(OWLOntology ontology) Saves the specified ontology.
void	OWLOntologyManager.saveOntology(OWLOntology ontology, IRI documentIRI) Saves the specified ontology, using the specified document IRI to determine where/how the ontology should be saved.
void	OWLOntologyManager.saveOntology(OWLOntology ontology, OutputStream outputStream) Saves the specified ontology, to the specified output stream
void	OWLOntologyManager.saveOntology(OWLOntology ontology, OWLOntologyDocumentTarget documentTarget) Saves the specified ontology to the specified OWLOntologyDocumentTarget.
void	OWLOntologyManager.saveOntology(OWLOntology ontology, OWLOntologyFormat ontologyFormat) Saves the specified ontology in the specified ontology format to its document URI.
void	OWLOntologyManager.saveOntology(OWLOntology ontology, OWLOntologyFormat ontologyFormat, IRI documentIRI) Saves the specified ontology to the specified document IRI in the specified ontology format.
void	OWLOntologyManager.saveOntology(OWLOntology ontology, OWLOntologyFormat ontologyFormat, OutputStream outputStream) Saves the specified ontology to the specified output stream in the specified ontology format.
void	OWLOntologyManager.saveOntology(OWLOntology ontology, OWLOntologyFormat ontologyFormat, OWLOntologyDocumentTarget documentTarget) Saves the specified ontology to the specified output target in the specified ontology format.
void	OWLOntologyManager.setOntologyDocumentIRI(OWLOntology ontology, IRI documentIRI) Overrides the current document IRI for a given ontology.
void	OWLOntologyManager.setOntologyFormat(OWLOntology ontology, OWLOntologyFormat ontologyFormat) Sets the format for the specified ontology.
void	OWLOntologyFactory.OWLOntologyCreationHandler.setOntologyFormat(OWLOntology ontology, OWLOntologyFormat format)
void	OWLOntologyStorer.storeOntology(OWLOntology ontology, IRI documentIRI, OWLOntologyFormat ontologyFormat) Stores an ontology to the specified ontology document IRI in the specified format.
void	OWLOntologyStorer.storeOntology(OWLOntologyManager manager, OWLOntology ontology, IRI documentIRI, OWLOntologyFormat ontologyFormat) Deprecated. use storeOntology(ontology, documentIRI, ontologyFormat)
void	OWLOntologyStorer.storeOntology(OWLOntologyManager manager, OWLOntology ontology, OWLOntologyDocumentTarget target, OWLOntologyFormat format) Deprecated.
void	OWLOntologyStorer.storeOntology(OWLOntology ontology, OWLOntologyDocumentTarget target, OWLOntologyFormat format) Stores an ontology to the specified target.
O	OWLNamedObjectVisitorEx.visit(OWLOntology ontology) visit OWLOntology type
void	OWLNamedObjectVisitor.visit(OWLOntology ontology) visit OWLOntology type

Method parameters in org.semanticweb.owlapi.model with type arguments of type OWLOntology

Modifier and Type	Method and Description
OWLOntology	OWLOntologyManager.createOntology(IRI ontologyIRI, Set<OWLOntology> ontologies) Creates a new ontology that has the specified ontology IRI and is initialised to contain the axioms that are contained in the specified ontologies.
OWLOntology	OWLOntologyManager.createOntology(IRI ontologyIRI, Set<OWLOntology> ontologies, boolean copyLogicalAxiomsOnly) Creates a new ontology that has the specified ontology IRI and is initialised to contain the axioms that are contained in the specified ontologies.
Set<OWLClassExpression>	OWLClass.getDisjointClasses(Set<OWLOntology> ontologies) Gets the classes which have been asserted to be disjoint with this class by axioms in the specified ontologies.
Set<P>	OWLPropertyExpression.getDisjointProperties(Set<OWLOntology> ontologies)
Set<OWLClassExpression>	OWLPropertyExpression.getDomains(Set<OWLOntology> ontologies) Gets the asserted domains of this property by examining the axioms in the specified ontologies.
Set<OWLClassExpression>	OWLClass.getEquivalentClasses(Set<OWLOntology> ontologies) A convenience method that examines the axioms in the specified ontologies and returns the class expressions corresponding to equivalent classes of this class.
Set<P>	OWLPropertyExpression.getEquivalentProperties(Set<OWLOntology> ontologies) Gets the asserted equivalent properties by examining the axioms in the specified ontologies.
Set<OWLIndividual>	OWLClass.getIndividuals(Set<OWLOntology> ontologies) Gets the individuals that have been asserted to be an instance of this class by axioms in the speficied ontologies.
Set<OWLObjectPropertyExpression>	OWLObjectPropertyExpression.getInverses(Set<OWLOntology> ontologies)
Set<R>	OWLPropertyExpression.getRanges(Set<OWLOntology> ontologies) Gets the asserted ranges of this property by examining the axioms in the specified ontologies.
Set<OWLClassExpression>	OWLClass.getSubClasses(Set<OWLOntology> ontologies) Gets the classes which have been asserted to be subclasses of this class in the specified ontologies.
Set<P>	OWLPropertyExpression.getSubProperties(Set<OWLOntology> ontologies) Gets the asserted sub properties by examining the axioms in the specified ontologies.
Set<OWLAnnotationProperty>	OWLAnnotationProperty.getSubProperties(Set<OWLOntology> ontologies) Gets the annotation properties which are asserted to be sub-properties of this annotation property in the specified set of ontologies.
Set<OWLClassExpression>	OWLClass.getSuperClasses(Set<OWLOntology> ontologies) A convenience method that examines the axioms in the specified ontologies and returns the class expression corresponding to the asserted super classes of this class.
Set<P>	OWLPropertyExpression.getSuperProperties(Set<OWLOntology> ontologies) Gets the asserted super properties by examining the axioms in the specified set of ontologies.
Set<OWLAnnotationProperty>	OWLAnnotationProperty.getSuperProperties(Set<OWLOntology> ontologies) Gets the annotation properties which are asserted to be super-properties of this annotation property in the specified set of ontologies.
Set<OWLClassExpression>	OWLIndividual.getTypes(Set<OWLOntology> ontologies) A convenience method that gets the types of this individual by examining the specified ontologies.
boolean	OWLObjectPropertyExpression.isAsymmetric(Set<OWLOntology> ontologies)
boolean	OWLClass.isDefined(Set<OWLOntology> ontologies) Determines if this class is a top level class in an OWLEquivalentClassesAxiom in at least one of the specified ontologies.
boolean	OWLPropertyExpression.isFunctional(Set<OWLOntology> ontologies) Determines if the property is functional because there is an axiom in one of the specified ontologies that assert this to be the case.
boolean	OWLObjectPropertyExpression.isInverseFunctional(Set<OWLOntology> ontologies)
boolean	OWLObjectPropertyExpression.isIrreflexive(Set<OWLOntology> ontologies)
boolean	OWLObjectPropertyExpression.isReflexive(Set<OWLOntology> ontologies)
boolean	OWLObjectPropertyExpression.isSymmetric(Set<OWLOntology> ontologies)
boolean	OWLObjectPropertyExpression.isTransitive(Set<OWLOntology> ontologies)

Constructors in org.semanticweb.owlapi.model with parameters of type OWLOntology

Constructor and Description
AddAxiom(OWLOntology ont, OWLAxiom axiom)
AddImport(OWLOntology ont, OWLImportsDeclaration importDeclaration)
AddOntologyAnnotation(OWLOntology ont, OWLAnnotation annotation)
AnnotationChange(OWLOntology ont, OWLAnnotation annotation)
ImportChange(OWLOntology ont, OWLImportsDeclaration importDeclaration)
OWLAxiomChange(OWLOntology ont, OWLAxiom axiom)
OWLOntologyChange(OWLOntology ont)
RemoveAxiom(OWLOntology ont, OWLAxiom axiom)
RemoveImport(OWLOntology ont, OWLImportsDeclaration importDeclaration)
RemoveOntologyAnnotation(OWLOntology ont, OWLAnnotation annotation)
SetOntologyID(OWLOntology ont, IRI ontologyIRI) Creates a set ontology id change using the ontologyIRI, which will set the ontology id to the new one.
SetOntologyID(OWLOntology ont, OWLOntologyID ontologyID) Creates a set ontology id change, which will set the ontology id to the new one.
SpecificOntologyChangeBroadcastStrategy(OWLOntology ontology) Constructs a change broadcast strategy which only causes changes that have been applied to the specific ontology to be broadcast.

Uses of OWLOntology in org.semanticweb.owlapi.profiles

Methods in org.semanticweb.owlapi.profiles with parameters of type OWLOntology

Modifier and Type	Method and Description
OWLProfileReport	OWLProfile.checkOntology(OWLOntology ontology) Checks an ontology and its import closure to see if it is within this profile.
OWLProfileReport	OWL2RLProfile.checkOntology(OWLOntology ontology)
OWLProfileReport	OWL2QLProfile.checkOntology(OWLOntology ontology)
OWLProfileReport	OWL2Profile.checkOntology(OWLOntology ontology)
OWLProfileReport	OWL2ELProfile.checkOntology(OWLOntology ontology)
OWLProfileReport	OWL2DLProfile.checkOntology(OWLOntology ontology)
Object	OWL2ELProfile.OWL2ELProfileObjectVisitor.visit(OWLOntology ontology)

Constructors in org.semanticweb.owlapi.profiles with parameters of type OWLOntology

Constructor and Description
CycleInDatatypeDefinition(OWLOntology ontology, OWLAxiom axiom)
DatatypeIRIAlsoUsedAsClassIRI(OWLOntology ontology, OWLAxiom axiom, IRI iri)
EmptyOneOfAxiom(OWLOntology ontology, OWLAxiom axiom)
IllegalPunning(OWLOntology currentOntology, OWLAxiom node, IRI iri)
InsufficientIndividuals(OWLOntology ontology, OWLAxiom axiom)
InsufficientOperands(OWLOntology ontology, OWLAxiom axiom, OWLObject c)
InsufficientPropertyExpressions(OWLOntology ontology, OWLAxiom axiom)
LastPropertyInChainNotInImposedRange(OWLOntology ontology, OWLSubPropertyChainOfAxiom axiom, OWLObjectPropertyRangeAxiom rangeAxiom)
LexicalNotInLexicalSpace(OWLOntology ontology, OWLAxiom axiom, OWLLiteral literal)
OntologyIRINotAbsolute(OWLOntology ontology)
OntologyVersionIRINotAbsolute(OWLOntology ontology)
OWLProfileViolation(OWLOntology ontology, OWLAxiom axiom)
UseOfAnonymousIndividual(OWLOntology ontology, OWLAxiom axiom, OWLAnonymousIndividual individual)
UseOfBuiltInDatatypeInDatatypeDefinition(OWLOntology ontology, OWLDatatypeDefinitionAxiom axiom)
UseOfDataOneOfWithMultipleLiterals(OWLOntology ontology, OWLAxiom axiom, OWLDataOneOf dataOneOf)
UseOfDefinedDatatypeInDatatypeRestriction(OWLOntology ontology, OWLAxiom axiom, OWLDatatypeRestriction restriction)
UseOfIllegalAxiom(OWLOntology ontology, OWLAxiom axiom)
UseOfIllegalClassExpression(OWLOntology ontology, OWLAxiom axiom, OWLClassExpression classExpression)
UseOfIllegalDataRange(OWLOntology ontology, OWLAxiom axiom, OWLDataRange dataRange)
UseOfIllegalFacetRestriction(OWLOntology ontology, OWLAxiom axiom, OWLDatatypeRestriction dtr, OWLFacet facet)
UseOfNonAbsoluteIRI(OWLOntology ontology, OWLAxiom axiom, IRI iri)
UseOfNonAtomicClassExpression(OWLOntology ontology, OWLAxiom axiom, OWLClassExpression classExpression)
UseOfNonEquivalentClassExpression(OWLOntology ontology, OWLAxiom axiom, OWLClassExpression classExpression)
UseOfNonSimplePropertyInAsymmetricObjectPropertyAxiom(OWLOntology ontology, OWLAsymmetricObjectPropertyAxiom axiom)
UseOfNonSimplePropertyInCardinalityRestriction(OWLOntology ontology, OWLAxiom axiom, OWLObjectCardinalityRestriction restriction)
UseOfNonSimplePropertyInDisjointPropertiesAxiom(OWLOntology ontology, OWLDisjointObjectPropertiesAxiom axiom, OWLObjectPropertyExpression prop)
UseOfNonSimplePropertyInFunctionalPropertyAxiom(OWLOntology ontology, OWLFunctionalObjectPropertyAxiom axiom)
UseOfNonSimplePropertyInInverseFunctionalObjectPropertyAxiom(OWLOntology ontology, OWLInverseFunctionalObjectPropertyAxiom axiom)
UseOfNonSimplePropertyInIrreflexivePropertyAxiom(OWLOntology ontology, OWLIrreflexiveObjectPropertyAxiom axiom)
UseOfNonSimplePropertyInObjectHasSelf(OWLOntology ontology, OWLAxiom axiom, OWLObjectHasSelf hasSelf)
UseOfNonSubClassExpression(OWLOntology ontology, OWLAxiom axiom, OWLClassExpression classExpression)
UseOfNonSuperClassExpression(OWLOntology ontology, OWLAxiom axiom, OWLClassExpression classExpression)
UseOfObjectOneOfWithMultipleIndividuals(OWLOntology ontology, OWLAxiom axiom, OWLObjectOneOf oneOf)
UseOfObjectPropertyInverse(OWLOntology ontology, OWLAxiom axiom, OWLObjectPropertyExpression propertyExpression)
UseOfPropertyInChainCausesCycle(OWLOntology ontology, OWLSubPropertyChainOfAxiom axiom, OWLObjectPropertyExpression property)
UseOfReservedVocabularyForAnnotationPropertyIRI(OWLOntology ontology, OWLAxiom axiom, OWLAnnotationProperty property)
UseOfReservedVocabularyForClassIRI(OWLOntology ontology, OWLAxiom axiom, OWLClass cls)
UseOfReservedVocabularyForDataPropertyIRI(OWLOntology ontology, OWLAxiom axiom, OWLDataProperty property)
UseOfReservedVocabularyForIndividualIRI(OWLOntology ontology, OWLAxiom axiom, OWLNamedIndividual ind)
UseOfReservedVocabularyForObjectPropertyIRI(OWLOntology ontology, OWLAxiom axiom, OWLObjectProperty property)
UseOfReservedVocabularyForOntologyIRI(OWLOntology ontology)
UseOfReservedVocabularyForVersionIRI(OWLOntology ontology)
UseOfTopDataPropertyAsSubPropertyInSubPropertyAxiom(OWLOntology ontology, OWLSubDataPropertyOfAxiom axiom)
UseOfUndeclaredAnnotationProperty(OWLOntology ontology, OWLAxiom axiom, OWLAnnotation annotation, OWLAnnotationProperty prop)
UseOfUndeclaredClass(OWLOntology ontology, OWLAxiom axiom, OWLClass cls)
UseOfUndeclaredDataProperty(OWLOntology ontology, OWLAxiom axiom, OWLDataProperty prop)
UseOfUndeclaredDatatype(OWLOntology ontology, OWLAxiom axiom, OWLDatatype datatype)
UseOfUndeclaredObjectProperty(OWLOntology ontology, OWLAxiom axiom, OWLObjectProperty prop)
UseOfUnknownDatatype(OWLOntology ontology, OWLAxiom axiom, OWLDatatype datatype)

Constructor parameters in org.semanticweb.owlapi.profiles with type arguments of type OWLOntology

Constructor and Description
OWLOntologyProfileWalker(Set<OWLOntology> objects)

Uses of OWLOntology in org.semanticweb.owlapi.reasoner

Methods in org.semanticweb.owlapi.reasoner that return OWLOntology

Modifier and Type	Method and Description
OWLOntology	OWLReasoner.getRootOntology() Gets the "root" ontology that is loaded into this reasoner.

Methods in org.semanticweb.owlapi.reasoner with parameters of type OWLOntology

Modifier and Type	Method and Description
OWLReasoner	OWLReasonerFactory.createNonBufferingReasoner(OWLOntology ontology) Creates an OWLReasoner that reasons over the imports closure of the specified ontology.
OWLReasoner	OWLReasonerFactory.createNonBufferingReasoner(OWLOntology ontology, OWLReasonerConfiguration config) Creates an OWLReasoner that reasons over the imports closure of the specified ontology.
OWLReasoner	OWLReasonerFactory.createReasoner(OWLOntology ontology) Creates a buffering reasoner that reasons over the imports closure of the specified ontology.
OWLReasoner	OWLReasonerFactory.createReasoner(OWLOntology ontology, OWLReasonerConfiguration config) Creates a buffering reasoner that reasons over the imports closure of the specified ontology.

Uses of OWLOntology in org.semanticweb.owlapi.util

Fields in org.semanticweb.owlapi.util declared as OWLOntology

Modifier and Type	Field and Description
protected OWLOntology	OWLOntologyChangeFilter.ontology
protected OWLOntology	OWLObjectWalker.ontology

Methods in org.semanticweb.owlapi.util that return OWLOntology

Modifier and Type	Method and Description
OWLOntology	OWLOntologyMerger.createMergedOntology(OWLOntologyManager ontologyManager, IRI ontologyIRI)
OWLOntology	OWLOntologyWalkerVisitor.getCurrentOntology()
protected OWLOntology	OWLOntologyChangeFilter.getOntology() Gets the ontology which the current change being visited was applied to.
OWLOntology	OWLObjectWalker.getOntology() Gets the last ontology to be visited.

Methods in org.semanticweb.owlapi.util that return types with arguments of type OWLOntology

Modifier and Type	Method and Description
Map<OWLOntology,Set<O>>	ImportsStructureObjectSorter.getObjects() Gets a map that maps ontologies to sets of associated objects.
Set<OWLOntology>	OWLOntologySingletonSetProvider.getOntologies()
Set<OWLOntology>	OWLOntologyImportsClosureSetProvider.getOntologies()
protected Set<OWLOntology>	OWLObjectPropertyManager.getOntologies()

Methods in org.semanticweb.owlapi.util with parameters of type OWLOntology

Modifier and Type	Method and Description
void	InferredOntologyGenerator.fillOntology(OWLOntologyManager manager, OWLOntology ontology) Adds 'inferred axioms' to an ontology using the generators that have been registered with this InferredAxiomGenerator.
List<OWLOntologyChange>	OWLOntologyURIChanger.getChanges(OWLOntology ontology, IRI newIRI) Changes the URI of the specified ontology to the new URI.
protected Set<OWLObjectProperty>	InferredObjectPropertyAxiomGenerator.getEntities(OWLOntology ont)
protected Set<OWLNamedIndividual>	InferredIndividualAxiomGenerator.getEntities(OWLOntology ont)
protected abstract Set<E>	InferredEntityAxiomGenerator.getEntities(OWLOntology ont) Gets the entities from the specified ontology that this generator processes.
protected Set<OWLDataProperty>	InferredDataPropertyAxiomGenerator.getEntities(OWLOntology ont)
protected Set<OWLClass>	InferredClassAxiomGenerator.getEntities(OWLOntology ont)
Set<O>	ImportsStructureObjectSorter.ObjectSelector.getObjects(OWLOntology ontology)
Set<OWLEntity>	ImportsStructureEntitySorter.ReferencedEntitySelector.getObjects(OWLOntology ontology)
String	OntologyIRIShortFormProvider.getShortForm(OWLOntology ont)
void	SimpleRenderer.setPrefixesFromOntologyFormat(OWLOntology ontology, OWLOntologyManager manager, boolean processImportedOntologies) Resets the short form provider and adds prefix name to prefix mappings based on the specified ontology's format (if it is a prefix format) and possibly the ontologies in the imports closure.
void	AbstractOWLOntologyStorer.storeOntology(OWLOntology ontology, IRI documentIRI, OWLOntologyFormat ontologyFormat)
void	AbstractOWLOntologyStorer.storeOntology(OWLOntologyManager manager, OWLOntology ontology, IRI documentIRI, OWLOntologyFormat ontologyFormat)
void	AbstractOWLOntologyStorer.storeOntology(OWLOntologyManager manager, OWLOntology ontology, OWLOntologyDocumentTarget target, OWLOntologyFormat format)
protected abstract void	AbstractOWLOntologyStorer.storeOntology(OWLOntologyManager manager, OWLOntology ontology, Writer writer, OWLOntologyFormat format) Deprecated.
void	AbstractOWLOntologyStorer.storeOntology(OWLOntology ontology, OWLOntologyDocumentTarget target, OWLOntologyFormat format)
protected abstract void	AbstractOWLOntologyStorer.storeOntology(OWLOntology ontology, Writer writer, OWLOntologyFormat format)
void	StructureWalker.visit(OWLOntology ontologyToVisit)
void	SimpleRenderer.visit(OWLOntology ontology)
O	OWLObjectVisitorExAdapter.visit(OWLOntology ontology)
void	OWLObjectVisitorAdapter.visit(OWLOntology ontology)
void	OWLObjectTypeIndexProvider.visit(OWLOntology ontology)
void	OWLObjectDuplicator.visit(OWLOntology ontology)
void	OWLObjectComponentCollector.visit(OWLOntology ontology)
void	OWLEntityCollector.visit(OWLOntology ontology)
Set<OWLClassExpression>	OWLClassExpressionCollector.visit(OWLOntology ontology)
Integer	MaximumModalDepthFinder.visit(OWLOntology ontology)
void	HashCode.visit(OWLOntology ontology)
void	DLExpressivityChecker.visit(OWLOntology ontology)
O	DelegatingObjectVisitorEx.visit(OWLOntology ontology)

Method parameters in org.semanticweb.owlapi.util with type arguments of type OWLOntology

Modifier and Type	Method and Description
static Collection<Set<OWLObjectPropertyExpression>>	OWLObjectPropertyManager.getEquivalentObjectProperties(Set<OWLOntology> ontologies)
static void	OWLObjectPropertyManager.tarjan(Set<OWLOntology> ontologies, OWLObjectPropertyExpression prop, int index, Stack<OWLObjectPropertyExpression> stack, Map<OWLObjectPropertyExpression,Integer> indexMap, Map<OWLObjectPropertyExpression,Integer> lowlinkMap, Set<Set<OWLObjectPropertyExpression>> result, Set<OWLObjectPropertyExpression> processed, Set<OWLObjectPropertyExpression> stackProps)

Constructors in org.semanticweb.owlapi.util with parameters of type OWLOntology

Constructor and Description
ImportsStructureEntitySorter(OWLOntology ontology, OWLOntologyManager manager)
ImportsStructureObjectSorter(OWLOntology ontology, OWLOntologyManager manager, ImportsStructureObjectSorter.ObjectSelector<O> objectSelector) Creates a sorter for the specified ontology, whose imports closure is obtained with the specified manager, and for each ontology whose objects are selected using the specified object selector.
OWLObjectPropertyManager(OWLOntologyManager manager, OWLOntology ont)
OWLOntologyImportsClosureSetProvider(OWLOntologyManager manager, OWLOntology rootOntology) Constructs an OWLOntologySetProvider which provides a set containing the imports closure of a given ontology.
OWLOntologySingletonSetProvider(OWLOntology ontology) Constructs an OWLOntologySingletonSetProvider which provides a singleton set contain the specified ontology.

Constructor parameters in org.semanticweb.owlapi.util with type arguments of type OWLOntology

Constructor and Description
BidirectionalShortFormProviderAdapter(OWLOntologyManager man, Set<OWLOntology> ontologies, ShortFormProvider shortFormProvider) Creates a BidirectionalShortFormProvider that maps between the entities that are referenced in the specified ontologies and the shortforms of these entities.
BidirectionalShortFormProviderAdapter(Set<OWLOntology> ontologies, ShortFormProvider shortFormProvider) Creates a BidirectionalShortFormProvider that maps between the entities that are referenced in the specified ontologies and the shortforms of these entities.
DLExpressivityChecker(Set<OWLOntology> ontologies)
OWLEntityRemover(OWLOntologyManager owlOntologyManager, Set<OWLOntology> ontologies) Creates an entity remover, which will remove entities (axioms referring to the entities from the specified ontologies).
OWLEntityRenamer(OWLOntologyManager owlOntologyManager, Set<OWLOntology> ontologies)
OWLEntityURIConverter(OWLOntologyManager manager, Set<OWLOntology> ontologies, OWLEntityURIConverterStrategy strategy) Creates a converter that will convert the URIs of entities in the specified ontologies using the specified conversion strategy.
OWLOntologyWalker(Set<OWLOntology> objects)
ReferencedEntitySetProvider(Set<OWLOntology> ontologies)
SimpleRootClassChecker(Set<OWLOntology> ontologies) Creates a root class checker, which examines axioms contained in ontologies from the specified set in order to determine if a class is a syntactic subclass of owl:Thing.