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

Packages that use OWLOntology

Package	Description
org.semanticweb.owlapi.change	Ontology change classes.
org.semanticweb.owlapi.expression	Expression parsers package
org.semanticweb.owlapi.io	Ontology parsing and saving classes.
org.semanticweb.owlapi.model	Main API classes.
org.semanticweb.owlapi.profiles
org.semanticweb.owlapi.profiles.violations
org.semanticweb.owlapi.reasoner	OWLReasoner package
org.semanticweb.owlapi.search	Search utulities package
org.semanticweb.owlapi.util	Utilities package
org.semanticweb.owlapi.util.mansyntax

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)
RemoveOntologyAnnotation	RemoveOntologyAnnotationData.createOntologyChange(OWLOntology ontology)
RemoveImport	RemoveImportData.createOntologyChange(OWLOntology ontology)
RemoveAxiom	RemoveAxiomData.createOntologyChange(OWLOntology ontology)
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)
AddAxiom	AddAxiomData.createOntologyChange(OWLOntology ontology)

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

Constructor and Description
AddClassExpressionClosureAxiom(OWLDataFactory dataFactory, OWLClass cls, OWLObjectPropertyExpression property, Set<OWLOntology> ontologies, OWLOntology targetOntology) Creates a composite change that will add a closure axiom for a given class along a specified property.
ConvertEquivalentClassesToSuperClasses(OWLDataFactory dataFactory, OWLClass cls, Set<OWLOntology> ontologies, OWLOntology targetOntology, boolean splitIntersections) Instantiates a new convert equivalent classes to super classes.
ConvertSuperClassesToEquivalentClass(OWLDataFactory dataFactory, OWLClass cls, Set<OWLOntology> ontologies, OWLOntology targetOntology) Instantiates a new convert super classes to equivalent class.
CreateValuePartition(OWLDataFactory dataFactory, OWLClass valuePartitionClass, Set<OWLClass> valuePartionClasses, OWLObjectProperty valuePartitionProperty, OWLOntology targetOntology) Creates a composite change that will create a value partition.
MakeClassesMutuallyDisjoint(OWLDataFactory dataFactory, Set<? extends OWLClassExpression> classExpressions, boolean usePairwiseDisjointAxioms, OWLOntology targetOntology) Creates a composite change which makes a set of classes mutually disjoint.
MakePrimitiveSubClassesMutuallyDisjoint(OWLDataFactory dataFactory, OWLClass cls, OWLOntology targetOntology) Instantiates a new make primitive sub classes mutually disjoint.
MakePrimitiveSubClassesMutuallyDisjoint(OWLDataFactory dataFactory, OWLClass cls, OWLOntology targetOntology, boolean usePairwiseDisjointAxioms) Instantiates a new make primitive sub classes mutually disjoint.
ShortForm2AnnotationGenerator(OWLDataFactory df, OWLOntologyManager ontologyManager, OWLOntology ontology, ShortFormProvider shortFormProvider, IRI annotationIRI) Instantiates a new short form2 annotation generator.
ShortForm2AnnotationGenerator(OWLDataFactory df, OWLOntologyManager ontologyManager, OWLOntology ontology, ShortFormProvider shortFormProvider, IRI annotationIRI, String languageTag) Instantiates a new short form2 annotation generator.

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

Constructor and Description
AddClassExpressionClosureAxiom(OWLDataFactory dataFactory, OWLClass cls, OWLObjectPropertyExpression property, Set<OWLOntology> ontologies, OWLOntology targetOntology) Creates a composite change that will add a closure axiom for a given class along a specified property.
AmalgamateSubClassAxioms(OWLDataFactory dataFactory, Set<OWLOntology> ontologies) Instantiates a new amalgamate sub class axioms.
CoerceConstantsIntoDataPropertyRange(OWLDataFactory dataFactory, Set<OWLOntology> ontologies) Instantiates a new coerce constants into data property range.
ConvertEquivalentClassesToSuperClasses(OWLDataFactory dataFactory, OWLClass cls, Set<OWLOntology> ontologies, OWLOntology targetOntology, boolean splitIntersections) Instantiates a new convert equivalent classes to super classes.
ConvertPropertyAssertionsToAnnotations(OWLDataFactory dataFactory, Set<OWLOntology> ontologies) Instantiates a new convert property assertions to annotations.
ConvertSuperClassesToEquivalentClass(OWLDataFactory dataFactory, OWLClass cls, Set<OWLOntology> ontologies, OWLOntology targetOntology) Instantiates a new convert super classes to equivalent class.
RemoveAllDisjointAxioms(OWLDataFactory dataFactory, Set<OWLOntology> ontologies) Instantiates a new removes the all disjoint axioms.
SplitSubClassAxioms(Set<OWLOntology> ontologies, OWLDataFactory dataFactory) Creates a composite change to split subclass axioms into multiple more fine grained subclass axioms.

Uses of OWLOntology in org.semanticweb.owlapi.expression

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

Modifier and Type	Method and Description
OWLOntology	OWLOntologyChecker.getOntology(String name)

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
OWLDocumentFormat	OWLParser.parse(IRI documentIRI, OWLOntology ontology) Parses the ontology with a concrete representation available at documentIRI and adds its axioms to ontology.
OWLDocumentFormat	AbstractOWLParser.parse(IRI documentIRI, OWLOntology ontology)
OWLDocumentFormat	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.copyOntology(OWLOntology toCopy, OntologyCopy settings) Copy an ontology from another manager to this one.
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	OWLOntologyBuilder.createOWLOntology(OWLOntologyManager manager, OWLOntologyID ontologyID)
OWLOntology	OWLOntologyFactory.createOWLOntology(OWLOntologyManager manager, 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(OWLOntologyManager manager, 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>	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
ChangeApplied	HasAddAxiom.addAxiom(OWLOntology ont, OWLAxiom axiom) A convenience method that adds a single axiom to an ontology.
ChangeApplied	HasAddAxioms.addAxioms(OWLOntology ont, Set<? extends OWLAxiom> axioms) A convenience method that adds a set of axioms to an ontology.
boolean	OWLOntologyManager.contains(OWLOntology ontology)
OWLOntology	OWLOntologyManager.copyOntology(OWLOntology toCopy, OntologyCopy settings) Copy an ontology from another manager to this one.
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>	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.
IRI	OWLOntologyManager.getOntologyDocumentIRI(OWLOntology ontology) Gets the document IRI for a given ontology.
OWLDocumentFormat	OWLOntologyManager.getOntologyFormat(OWLOntology ontology) Gets the ontology format for the specified ontology.
List<OWLOntology>	OWLOntologyManager.getSortedImportsClosure(OWLOntology ontology) Gets the topologically ordered imports closure.
static boolean	OWLDocumentFormatImpl.isMissingType(OWLEntity entity, OWLOntology ontology) Determines if a declaration axiom (type triple) needs to be added to the specified ontology for the given entity.
void	OWLOntologyFactory.OWLOntologyCreationHandler.ontologyCreated(OWLOntology ontology) The factory calls this method as soon as it has created an ontology.
ChangeApplied	HasRemoveAxiom.removeAxiom(OWLOntology ont, OWLAxiom axiom) A convenience method that removes a single axiom from an ontology.
ChangeApplied	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, OWLDocumentFormat ontologyFormat) Saves the specified ontology in the specified ontology format to its document URI.
void	OWLOntologyManager.saveOntology(OWLOntology ontology, OWLDocumentFormat ontologyFormat, IRI documentIRI) Saves the specified ontology to the specified document IRI in the specified ontology format.
void	OWLOntologyManager.saveOntology(OWLOntology ontology, OWLDocumentFormat ontologyFormat, OutputStream outputStream) Saves the specified ontology to the specified output stream in the specified ontology format.
void	OWLOntologyManager.saveOntology(OWLOntology ontology, OWLDocumentFormat ontologyFormat, OWLOntologyDocumentTarget documentTarget) Saves the specified ontology to the specified output target in the specified ontology format.
void	OWLOntologyManager.saveOntology(OWLOntology ontology, OWLOntologyDocumentTarget documentTarget) Saves the specified ontology to the specified OWLOntologyDocumentTarget.
void	OWLOntologyManager.setOntologyDocumentIRI(OWLOntology ontology, IRI documentIRI) Overrides the current document IRI for a given ontology.
void	OWLOntologyManager.setOntologyFormat(OWLOntology ontology, OWLDocumentFormat ontologyFormat) Sets the format for the specified ontology.
void	OWLOntologyFactory.OWLOntologyCreationHandler.setOntologyFormat(OWLOntology ontology, OWLDocumentFormat format)
void	OWLStorer.storeOntology(OWLOntology ontology, IRI documentIRI, OWLDocumentFormat ontologyFormat) Stores an ontology to the specified ontology document IRI in the specified format.
void	OWLStorer.storeOntology(OWLOntology ontology, OWLOntologyDocumentTarget target, OWLDocumentFormat 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.

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 that return OWLOntology

Modifier and Type	Method and Description
OWLOntology	OWLProfileViolation.getOntology()

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

Modifier and Type	Method and Description
OWLProfileReport	Profiles.checkOntology(OWLOntology ontology)
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) Checks an ontology and its import closure to see if it is within this profile.
OWLProfileReport	OWL2QLProfile.checkOntology(OWLOntology ontology) Checks an ontology and its import closure to see if it is within this profile.
OWLProfileReport	OWL2Profile.checkOntology(OWLOntology ontology) Checks an ontology and its import closure to see if it is within this profile.
OWLProfileReport	OWL2ELProfile.checkOntology(OWLOntology ontology)
OWLProfileReport	OWL2DLProfile.checkOntology(OWLOntology ontology) Checks an ontology and its import closure to see if it is within this profile.

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

Constructor and Description
OWLProfileViolation(OWLOntology ontology, OWLAxiom axiom, Object o)

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.profiles.violations

Methods in org.semanticweb.owlapi.profiles.violations that return OWLOntology

Modifier and Type	Method and Description
OWLOntology	UndeclaredEntityViolation.getOntology()

Constructors in org.semanticweb.owlapi.profiles.violations 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 currentOntology, OWLAxiom node)
InsufficientOperands(OWLOntology currentOntology, OWLAxiom node, 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)
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)

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.search

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

Modifier and Type	Method and Description
static boolean	EntitySearcher.containsAxiom(OWLAxiom a, OWLOntology o, boolean imports) Checks if o contains axiom a, with or without imports closure.
static boolean	EntitySearcher.containsAxiomIgnoreAnnotations(OWLAxiom a, OWLOntology o, boolean imports) Checks if o contains axiom a, with or without imports closure, ignoring annotations.
static Collection<OWLAnnotationAssertionAxiom>	EntitySearcher.getAnnotationAssertionAxioms(OWLAnnotationSubject e, OWLOntology ontology)
static Collection<OWLAnnotationAssertionAxiom>	EntitySearcher.getAnnotationAssertionAxioms(OWLEntity e, OWLOntology ontology)
static Collection<OWLAnnotation>	EntitySearcher.getAnnotationObjects(OWLAnnotationSubject e, OWLOntology ontology, OWLAnnotationProperty annotationProperty) Obtains the annotations on this entity where the annotation has the specified annotation property; this is restricted to the object of annotation assertion axioms.
static Collection<OWLAnnotation>	EntitySearcher.getAnnotationObjects(OWLEntity e, OWLOntology ontology) Obtains the annotations on this entity; this is restricted to the object of annotation assertion axioms.
static Collection<OWLAnnotation>	EntitySearcher.getAnnotationObjects(OWLEntity e, OWLOntology ontology, OWLAnnotationProperty annotationProperty) Obtains the annotations on this entity where the annotation has the specified annotation property; this is restricted to the object of annotation assertion axioms.
static Collection<OWLAnnotation>	EntitySearcher.getAnnotations(OWLAnnotationSubject e, OWLOntology ontology) Gets the annotations for this entity.
static Collection<OWLAnnotation>	EntitySearcher.getAnnotations(OWLAnnotationSubject e, OWLOntology ontology, OWLAnnotationProperty annotationProperty) Obtains the annotations on this entity where the annotation has the specified annotation property.
static Collection<OWLAnnotation>	EntitySearcher.getAnnotations(OWLEntity e, OWLOntology ontology) Gets the annotations for this entity.
static Collection<OWLAnnotation>	EntitySearcher.getAnnotations(OWLEntity e, OWLOntology ontology, OWLAnnotationProperty annotationProperty) Obtains the annotations on this entity where the annotation has the specified annotation property.
static Collection<OWLAxiom>	EntitySearcher.getAxiomsIgnoreAnnotations(OWLAxiom a, OWLOntology o, boolean imports) Get matching axioms for a, ignoring annotations.
static Collection<OWLLiteral>	EntitySearcher.getDataPropertyValues(OWLIndividual i, OWLDataPropertyExpression p, OWLOntology ontology)
static com.google.common.collect.Multimap<OWLDataPropertyExpression,OWLLiteral>	EntitySearcher.getDataPropertyValues(OWLIndividual i, OWLOntology ontology)
static Collection<OWLIndividual>	EntitySearcher.getDifferentIndividuals(OWLIndividual e, OWLOntology ontology) Gets the different individuals in the specified ontology.
static Collection<OWLClassExpression>	EntitySearcher.getDisjointClasses(OWLClass e, OWLOntology ontology) Gets the classes which have been asserted to be disjoint with this class by axioms in the specified ontology.
static Collection<OWLDataPropertyExpression>	EntitySearcher.getDisjointProperties(OWLDataProperty e, OWLOntology ontology) Gets the classes which have been asserted to be disjoint with this class by axioms in the specified ontology.
static Collection<OWLObjectPropertyExpression>	EntitySearcher.getDisjointProperties(OWLObjectPropertyExpression e, OWLOntology ontology) Gets the classes which have been asserted to be disjoint with this class by axioms in the specified ontology.
static <P extends OWLPropertyExpression> Collection<P>	EntitySearcher.getDisjointProperties(P e, OWLOntology ontology) Gets the classes which have been asserted to be disjoint with this class by axioms in the specified ontology.
static Collection<IRI>	EntitySearcher.getDomains(OWLAnnotationProperty e, OWLOntology ontology) Gets the asserted domains of this property.
static Collection<OWLClassExpression>	EntitySearcher.getDomains(OWLDataProperty e, OWLOntology ontology) Gets the asserted domains of this property.
static Collection<OWLClassExpression>	EntitySearcher.getDomains(OWLObjectPropertyExpression e, OWLOntology ontology) Gets the asserted domains of this property.
static Collection<OWLClassExpression>	EntitySearcher.getEquivalentClasses(OWLClass e, 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.
static Collection<OWLDataPropertyExpression>	EntitySearcher.getEquivalentProperties(OWLDataProperty e, 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.
static Collection<OWLObjectPropertyExpression>	EntitySearcher.getEquivalentProperties(OWLObjectPropertyExpression e, 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.
static <P extends OWLPropertyExpression> Collection<P>	EntitySearcher.getEquivalentProperties(P e, 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.
static Collection<OWLIndividual>	EntitySearcher.getIndividuals(OWLClass e, OWLOntology ontology) Gets the individuals that have been asserted to be an instance of this class by axioms in the specified ontology.
static Collection<OWLIndividual>	EntitySearcher.getInstances(OWLClassExpression e, OWLOntology ontology)
static Collection<OWLObjectPropertyExpression>	EntitySearcher.getInverses(OWLObjectPropertyExpression e, OWLOntology ontology)
static Collection<OWLLiteral>	EntitySearcher.getNegativeDataPropertyValues(OWLIndividual i, OWLDataPropertyExpression p, OWLOntology ontology)
static com.google.common.collect.Multimap<OWLDataPropertyExpression,OWLLiteral>	EntitySearcher.getNegativeDataPropertyValues(OWLIndividual i, OWLOntology ontology)
static Collection<OWLIndividual>	EntitySearcher.getNegativeObjectPropertyValues(OWLIndividual i, OWLObjectPropertyExpression p, OWLOntology ontology)
static com.google.common.collect.Multimap<OWLObjectPropertyExpression,OWLIndividual>	EntitySearcher.getNegativeObjectPropertyValues(OWLIndividual i, OWLOntology ontology)
static Collection<OWLIndividual>	EntitySearcher.getObjectPropertyValues(OWLIndividual i, OWLObjectPropertyExpression p, OWLOntology ontology)
static com.google.common.collect.Multimap<OWLObjectPropertyExpression,OWLIndividual>	EntitySearcher.getObjectPropertyValues(OWLIndividual i, OWLOntology ontology)
static Collection<IRI>	EntitySearcher.getRanges(OWLAnnotationProperty e, OWLOntology ontology) Gets the ranges of this property that have been asserted in the specified ontology.
static Collection<OWLDataRange>	EntitySearcher.getRanges(OWLDataProperty e, OWLOntology ontology) Gets the ranges of this property that have been asserted in the specified ontology.
static Collection<OWLClassExpression>	EntitySearcher.getRanges(OWLObjectPropertyExpression e, OWLOntology ontology) Gets the ranges of this property that have been asserted in the specified ontology.
static Collection<OWLAxiom>	EntitySearcher.getReferencingAxioms(OWLEntity e, OWLOntology ontology) Gets the axioms in the specified ontology that contain this entity in their signature.
static Collection<OWLAxiom>	EntitySearcher.getReferencingAxioms(OWLEntity e, OWLOntology ontology, boolean includeImports) Gets the axioms in the specified ontology and possibly its imports closure that contain this entity in their signature.
static Collection<OWLIndividual>	EntitySearcher.getSameIndividuals(OWLIndividual e, OWLOntology ontology) Gets the same individuals in the specified ontology.
static Collection<OWLClassExpression>	EntitySearcher.getSubClasses(OWLClass e, OWLOntology ontology) Gets the classes which have been asserted to be subclasses of this class in the specified ontology.
static Collection<OWLAnnotationProperty>	EntitySearcher.getSubProperties(OWLAnnotationProperty e, OWLOntology ontology) Gets the properties which are asserted to be sub-properties of this property in the specified ontology.
static Collection<OWLAnnotationProperty>	EntitySearcher.getSubProperties(OWLAnnotationProperty e, OWLOntology ontology, boolean imports) Gets the properties which are asserted to be sub-properties of this property in the specified ontology.
static Collection<OWLDataPropertyExpression>	EntitySearcher.getSubProperties(OWLDataPropertyExpression e, OWLOntology ontology) Gets the properties which are asserted to be sub-properties of this property in the specified ontology.
static Collection<OWLDataPropertyExpression>	EntitySearcher.getSubProperties(OWLDataPropertyExpression e, OWLOntology ontology, boolean imports) Gets the properties which are asserted to be sub-properties of this property in the specified ontology.
static Collection<OWLObjectPropertyExpression>	EntitySearcher.getSubProperties(OWLObjectPropertyExpression e, OWLOntology ontology) Gets the properties which are asserted to be sub-properties of this property in the specified ontology.
static Collection<OWLObjectPropertyExpression>	EntitySearcher.getSubProperties(OWLObjectPropertyExpression e, OWLOntology ontology, boolean imports) Gets the properties which are asserted to be sub-properties of this property in the specified ontology.
static <P extends OWLPropertyExpression> Collection<P>	EntitySearcher.getSubProperties(P e, OWLOntology ontology) Gets the properties which are asserted to be sub-properties of this property in the specified ontology.
static <P extends OWLPropertyExpression> Collection<P>	EntitySearcher.getSubProperties(P e, OWLOntology ontology, boolean imports) Gets the properties which are asserted to be sub-properties of this property in the specified ontology.
static Collection<OWLClassExpression>	EntitySearcher.getSuperClasses(OWLClass e, 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.
static Collection<OWLAnnotationProperty>	EntitySearcher.getSuperProperties(OWLAnnotationProperty e, OWLOntology ontology) Gets the properties which are asserted to be sub-properties of this property in the specified ontology.
static Collection<OWLAnnotationProperty>	EntitySearcher.getSuperProperties(OWLAnnotationProperty e, OWLOntology ontology, boolean imports) Gets the properties which are asserted to be sub-properties of this property in the specified ontology.
static Collection<OWLDataPropertyExpression>	EntitySearcher.getSuperProperties(OWLDataPropertyExpression e, OWLOntology ontology) Gets the properties which are asserted to be sub-properties of this property in the specified ontology.
static Collection<OWLDataPropertyExpression>	EntitySearcher.getSuperProperties(OWLDataPropertyExpression e, OWLOntology ontology, boolean imports) Gets the properties which are asserted to be sub-properties of this property in the specified ontology.
static Collection<OWLObjectPropertyExpression>	EntitySearcher.getSuperProperties(OWLObjectPropertyExpression e, OWLOntology ontology) Gets the properties which are asserted to be sub-properties of this property in the specified ontology.
static Collection<OWLObjectPropertyExpression>	EntitySearcher.getSuperProperties(OWLObjectPropertyExpression e, OWLOntology ontology, boolean imports) Gets the properties which are asserted to be sub-properties of this property in the specified ontology.
static <P extends OWLPropertyExpression> Collection<P>	EntitySearcher.getSuperProperties(P e, OWLOntology ontology) Gets the properties which are asserted to be sub-properties of this property in the specified ontology.
static <P extends OWLPropertyExpression> Collection<P>	EntitySearcher.getSuperProperties(P e, OWLOntology ontology, boolean imports) Gets the properties which are asserted to be sub-properties of this property in the specified ontology.
static Collection<OWLClassExpression>	EntitySearcher.getTypes(OWLIndividual e, OWLOntology ontology)
static boolean	EntitySearcher.hasDataPropertyValue(OWLIndividual i, OWLDataPropertyExpression p, OWLLiteral lit, OWLOntology ontology)
static boolean	EntitySearcher.hasDataPropertyValues(OWLIndividual i, OWLDataPropertyExpression p, OWLOntology ontology)
static boolean	EntitySearcher.hasNegativeDataPropertyValue(OWLIndividual i, OWLDataPropertyExpression p, OWLLiteral lit, OWLOntology ontology)
static boolean	EntitySearcher.hasNegativeDataPropertyValues(OWLIndividual i, OWLDataPropertyExpression p, OWLOntology ontology)
static boolean	EntitySearcher.hasNegativeObjectPropertyValue(OWLIndividual i, OWLObjectPropertyExpression p, OWLIndividual j, OWLOntology ontology)
static boolean	EntitySearcher.hasNegativeObjectPropertyValues(OWLIndividual i, OWLObjectPropertyExpression p, OWLOntology ontology)
static boolean	EntitySearcher.hasObjectPropertyValue(OWLIndividual i, OWLObjectPropertyExpression p, OWLIndividual j, OWLOntology ontology)
static boolean	EntitySearcher.hasObjectPropertyValues(OWLIndividual i, OWLObjectPropertyExpression p, OWLOntology ontology)
static boolean	EntitySearcher.isAsymmetric(OWLObjectPropertyExpression e, OWLOntology o) Checks if e is declared asymmetric in o.
static boolean	EntitySearcher.isDefined(OWLClass c, OWLOntology o) Checks if c is defined (is included in equivalent axioms) in o.
static boolean	EntitySearcher.isFunctional(OWLDataProperty e, OWLOntology o) Checks if e is declared functional in o.
static boolean	EntitySearcher.isFunctional(OWLObjectPropertyExpression e, OWLOntology o) Checks if e is declared functional in o.
static boolean	EntitySearcher.isInverseFunctional(OWLObjectPropertyExpression e, OWLOntology o) Checks if e is declared inverse functional in o.
static boolean	EntitySearcher.isIrreflexive(OWLObjectPropertyExpression e, OWLOntology o) Checks if e is declared irreflexive in o.
static boolean	EntitySearcher.isReflexive(OWLObjectPropertyExpression e, OWLOntology o) Checks if e is declared reflexive in o.
static boolean	EntitySearcher.isSymmetric(OWLObjectPropertyExpression e, OWLOntology o) Checks if e is declared symmetric in o.
static boolean	EntitySearcher.isTransitive(OWLObjectPropertyExpression e, OWLOntology o) Checks if e is declared transitive in o.

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

Modifier and Type	Method and Description
static boolean	EntitySearcher.containsAxiom(OWLAxiom a, Iterable<OWLOntology> ontologies, boolean imports) Checks if any of the ontologies contains axiom a, with or without imports closure.
static boolean	EntitySearcher.containsAxiomIgnoreAnnotations(OWLAxiom a, Iterable<OWLOntology> ontologies, boolean imports) Checks if any of the ontologies contains axiom a, with or without imports closure.
static Collection<OWLAnnotation>	EntitySearcher.getAnnotationObjects(OWLAnnotationSubject e, Iterable<OWLOntology> ontologies, OWLAnnotationProperty annotationProperty) Obtains the annotations on this entity where the annotation has the specified annotation property; this is restricted to the object of annotation assertion axioms.
static Collection<OWLAnnotation>	EntitySearcher.getAnnotationObjects(OWLEntity e, Iterable<OWLOntology> ontologies) Obtains the annotations on this entity; this is restricted to the object of annotation assertion axioms.
static Collection<OWLAnnotation>	EntitySearcher.getAnnotationObjects(OWLEntity e, Iterable<OWLOntology> ontologies, OWLAnnotationProperty annotationProperty) Obtains the annotations on this entity where the annotation has the specified annotation property; this is restricted to the object of annotation assertion axioms.
static Collection<OWLAnnotation>	EntitySearcher.getAnnotations(OWLAnnotationSubject e, Iterable<OWLOntology> ontologies, OWLAnnotationProperty annotationProperty) Obtains the annotations on this entity where the annotation has the specified annotation property.
static Collection<OWLAnnotation>	EntitySearcher.getAnnotations(OWLEntity e, Iterable<OWLOntology> ontologies, OWLAnnotationProperty annotationProperty) Obtains the annotations on this entity where the annotation has the specified annotation property.
static com.google.common.collect.Multimap<OWLDataPropertyExpression,OWLLiteral>	EntitySearcher.getDataPropertyValues(OWLIndividual i, Iterable<OWLOntology> ontologies)
static Collection<OWLLiteral>	EntitySearcher.getDataPropertyValues(OWLIndividual i, OWLDataPropertyExpression p, Iterable<OWLOntology> ontologies)
static Collection<OWLIndividual>	EntitySearcher.getDifferentIndividuals(OWLIndividual e, Iterable<OWLOntology> ontologies) Gets the different individuals in the specified ontologies.
static Collection<OWLClassExpression>	EntitySearcher.getDisjointClasses(OWLClass e, Iterable<OWLOntology> ontologies) Gets the classes which have been asserted to be disjoint with this class by axioms in the specified ontologies.
static Collection<OWLDataPropertyExpression>	EntitySearcher.getDisjointProperties(OWLDataProperty e, Iterable<OWLOntology> ontologies) Gets the classes which have been asserted to be disjoint with this class by axioms in the specified ontologies.
static Collection<OWLObjectPropertyExpression>	EntitySearcher.getDisjointProperties(OWLObjectPropertyExpression e, Iterable<OWLOntology> ontologies) Gets the classes which have been asserted to be disjoint with this class by axioms in the specified ontologies.
static <P extends OWLPropertyExpression> Collection<P>	EntitySearcher.getDisjointProperties(P e, Iterable<OWLOntology> ontologies) Gets the classes which have been asserted to be disjoint with this class by axioms in the specified ontologies.
static Collection<IRI>	EntitySearcher.getDomains(OWLAnnotationProperty e, Iterable<OWLOntology> ontologies) Gets the asserted domains of this property by examining the axioms in the specified ontologies.
static Collection<OWLClassExpression>	EntitySearcher.getDomains(OWLDataProperty e, Iterable<OWLOntology> ontologies) Gets the asserted domains of this property by examining the axioms in the specified ontologies.
static Collection<OWLClassExpression>	EntitySearcher.getDomains(OWLObjectPropertyExpression e, Iterable<OWLOntology> ontologies) Gets the asserted domains of this property by examining the axioms in the specified ontologies.
static Collection<OWLClassExpression>	EntitySearcher.getEquivalentClasses(OWLClass e, Iterable<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.
static Collection<OWLDataPropertyExpression>	EntitySearcher.getEquivalentProperties(OWLDataProperty e, Iterable<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.
static Collection<OWLObjectPropertyExpression>	EntitySearcher.getEquivalentProperties(OWLObjectPropertyExpression e, Iterable<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.
static <P extends OWLPropertyExpression> Collection<P>	EntitySearcher.getEquivalentProperties(P e, Iterable<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.
static Collection<OWLIndividual>	EntitySearcher.getIndividuals(OWLClass e, Iterable<OWLOntology> ontologies) Gets the individuals that have been asserted to be an instance of this class by axioms in the speficied ontologies.
static Collection<OWLIndividual>	EntitySearcher.getInstances(OWLClassExpression e, Iterable<OWLOntology> ontologies)
static Collection<OWLObjectPropertyExpression>	EntitySearcher.getInverses(OWLObjectPropertyExpression e, Iterable<OWLOntology> ontologies)
static com.google.common.collect.Multimap<OWLDataPropertyExpression,OWLLiteral>	EntitySearcher.getNegativeDataPropertyValues(OWLIndividual i, Iterable<OWLOntology> ontologies)
static Collection<OWLLiteral>	EntitySearcher.getNegativeDataPropertyValues(OWLIndividual i, OWLDataPropertyExpression p, Iterable<OWLOntology> ontologies)
static com.google.common.collect.Multimap<OWLObjectPropertyExpression,OWLIndividual>	EntitySearcher.getNegativeObjectPropertyValues(OWLIndividual i, Iterable<OWLOntology> ontologies)
static Collection<OWLIndividual>	EntitySearcher.getNegativeObjectPropertyValues(OWLIndividual i, OWLObjectPropertyExpression p, Iterable<OWLOntology> ontologies)
static com.google.common.collect.Multimap<OWLObjectPropertyExpression,OWLIndividual>	EntitySearcher.getObjectPropertyValues(OWLIndividual i, Iterable<OWLOntology> ontologies)
static Collection<OWLIndividual>	EntitySearcher.getObjectPropertyValues(OWLIndividual i, OWLObjectPropertyExpression p, Iterable<OWLOntology> ontologies)
static Collection<IRI>	EntitySearcher.getRanges(OWLAnnotationProperty e, Iterable<OWLOntology> ontologies) Gets the asserted ranges of this property by examining the axioms in the specified ontologies.
static Collection<OWLDataRange>	EntitySearcher.getRanges(OWLDataProperty e, Iterable<OWLOntology> ontologies) Gets the asserted ranges of this property by examining the axioms in the specified ontologies.
static Collection<OWLClassExpression>	EntitySearcher.getRanges(OWLObjectPropertyExpression e, Iterable<OWLOntology> ontologies) Gets the asserted ranges of this property by examining the axioms in the specified ontologies.
static Collection<OWLIndividual>	EntitySearcher.getSameIndividuals(OWLIndividual e, Iterable<OWLOntology> ontologies) Gets the same individuals in the specified ontologies.
static Collection<OWLClassExpression>	EntitySearcher.getSubClasses(OWLClass e, Iterable<OWLOntology> ontologies) Gets the classes which have been asserted to be subclasses of this class in the specified ontologies.
static Collection<OWLAnnotationProperty>	EntitySearcher.getSubProperties(OWLAnnotationProperty e, Iterable<OWLOntology> ontologies) Gets the properties which are asserted to be sub-properties of this property in the specified ontology.
static Collection<OWLDataPropertyExpression>	EntitySearcher.getSubProperties(OWLDataPropertyExpression e, Iterable<OWLOntology> ontologies) Gets the properties which are asserted to be sub-properties of this property in the specified ontology.
static Collection<OWLObjectPropertyExpression>	EntitySearcher.getSubProperties(OWLObjectPropertyExpression e, Iterable<OWLOntology> ontologies) Gets the properties which are asserted to be sub-properties of this property in the specified ontology.
static <P extends OWLPropertyExpression> Collection<P>	EntitySearcher.getSubProperties(P e, Iterable<OWLOntology> ontologies) Gets the properties which are asserted to be sub-properties of this property in the specified ontology.
static Collection<OWLClassExpression>	EntitySearcher.getSuperClasses(OWLClass e, Iterable<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.
static Collection<OWLAnnotationProperty>	EntitySearcher.getSuperProperties(OWLAnnotationProperty e, Iterable<OWLOntology> ontologies) Gets the properties which are asserted to be sub-properties of this property in the specified ontology.
static Collection<OWLDataPropertyExpression>	EntitySearcher.getSuperProperties(OWLDataPropertyExpression e, Iterable<OWLOntology> ontologies) Gets the properties which are asserted to be sub-properties of this property in the specified ontology.
static Collection<OWLObjectPropertyExpression>	EntitySearcher.getSuperProperties(OWLObjectPropertyExpression e, Iterable<OWLOntology> ontologies) Gets the properties which are asserted to be sub-properties of this property in the specified ontology.
static <P extends OWLPropertyExpression> Collection<P>	EntitySearcher.getSuperProperties(P e, Iterable<OWLOntology> ontologies) Gets the properties which are asserted to be sub-properties of this property in the specified ontology.
static Collection<OWLClassExpression>	EntitySearcher.getTypes(OWLIndividual e, Iterable<OWLOntology> ontologies)
static boolean	EntitySearcher.hasDataPropertyValue(OWLIndividual i, OWLDataPropertyExpression p, OWLLiteral lit, Iterable<OWLOntology> ontologies)
static boolean	EntitySearcher.hasDataPropertyValues(OWLIndividual i, OWLDataPropertyExpression p, Iterable<OWLOntology> ontologies)
static boolean	EntitySearcher.hasNegativeDataPropertyValue(OWLIndividual i, OWLDataPropertyExpression p, OWLLiteral lit, Iterable<OWLOntology> ontologies)
static boolean	EntitySearcher.hasNegativeDataPropertyValues(OWLIndividual i, OWLDataPropertyExpression p, Iterable<OWLOntology> ontologies)
static boolean	EntitySearcher.hasNegativeObjectPropertyValue(OWLIndividual i, OWLObjectPropertyExpression p, OWLIndividual j, Iterable<OWLOntology> ontologies)
static boolean	EntitySearcher.hasNegativeObjectPropertyValues(OWLIndividual i, OWLObjectPropertyExpression p, Iterable<OWLOntology> ontologies)
static boolean	EntitySearcher.hasObjectPropertyValue(OWLIndividual i, OWLObjectPropertyExpression p, OWLIndividual j, Iterable<OWLOntology> ontologies)
static boolean	EntitySearcher.hasObjectPropertyValues(OWLIndividual i, OWLObjectPropertyExpression p, Iterable<OWLOntology> ontologies)
static boolean	EntitySearcher.isAsymmetric(OWLObjectPropertyExpression e, Iterable<OWLOntology> ontologies) Checks if e is declared asymmetric in a collection of ontologies.
static boolean	EntitySearcher.isDefined(OWLClass c, Iterable<OWLOntology> ontologies) Checks if c is defined (is included in equivalent axioms) in a collection of ontologies.
static boolean	EntitySearcher.isFunctional(OWLDataProperty e, Iterable<OWLOntology> ontologies) Checks if e is declared functional in a collection of ontologies.
static boolean	EntitySearcher.isFunctional(OWLObjectPropertyExpression e, Iterable<OWLOntology> ontologies) Checks if e is declared functional in a collection of ontologies.
static boolean	EntitySearcher.isInverseFunctional(OWLObjectPropertyExpression e, Iterable<OWLOntology> ontologies) Checks if e is declared inverse functional in a collection of ontologies.
static boolean	EntitySearcher.isIrreflexive(OWLObjectPropertyExpression e, Iterable<OWLOntology> ontologies) Checks if e is declared irreflexive in a collection of ontologies.
static boolean	EntitySearcher.isReflexive(OWLObjectPropertyExpression e, Iterable<OWLOntology> ontologies) Checks if e is declared reflexive in a collection of ontologies.
static boolean	EntitySearcher.isSymmetric(OWLObjectPropertyExpression e, Iterable<OWLOntology> ontologies) Checks if e is declared symmetric in a collection of ontologies.
static boolean	EntitySearcher.isTransitive(OWLObjectPropertyExpression e, Iterable<OWLOntology> ontologies) Checks if e is declared transitive in a collection of ontologies.
static Collection<IRI>	Searcher.ontologyIRIs(Iterable<OWLOntology> ontologies) Transform a collection of ontologies to a collection of IRIs of those ontologies.

Uses of OWLOntology in org.semanticweb.owlapi.util

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

Modifier and Type	Method and Description
OWLOntology	OWLOntologyMerger.createMergedOntology(OWLOntologyManager ontologyManager, IRI ontologyIRI)
OWLOntology	OWLOntologyWalkerVisitorEx.getCurrentOntology()
OWLOntology	OWLOntologyWalkerVisitor.getCurrentOntology()
OWLOntology	OWLObjectWalker.getOntology() Gets the last ontology to be visited.
OWLOntology	OntologyAxiomPair.getOntology()

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()

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

Modifier and Type	Method and Description
List<OWLOntologyChange>	OWLObjectTransformer.change(OWLOntology ontology) Create the required changes for this transformation to be applied to the input.
void	InferredOntologyGenerator.fillOntology(OWLDataFactory df, OWLOntology ontology) Adds 'inferred axioms' to an ontology using the generators that have been registered with this InferredAxiomGenerator.
List<OWLOntologyChange>	OWLOntologyIRIChanger.getChanges(OWLOntology ontology, IRI newIRI) Changes the URI of the specified ontology to the new URI.
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	AbstractOWLStorer.storeOntology(OWLOntology ontology, IRI documentIRI, OWLDocumentFormat ontologyFormat)
void	AbstractOWLStorer.storeOntology(OWLOntology ontology, OWLOntologyDocumentTarget target, OWLDocumentFormat format)
void	StructureWalker.visit(OWLOntology ontology)
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)
Collection<OWLEntity>	OWLEntityCollector.visit(OWLOntology ontology)
Set<OWLClassExpression>	OWLClassExpressionCollector.visit(OWLOntology ontology)
void	OWLAnonymousIndividualsWithMultipleOccurrences.visit(OWLOntology ontology)
void	OWLAnnotationPropertyTransformer.visit(OWLOntology ontology)
Integer	MaximumModalDepthFinder.visit(OWLOntology ontology)
void	HashCode.visit(OWLOntology ontology)
void	DeprecatedOWLEntityCollector.visit(OWLOntology ontology) Deprecated.
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)
ImportsStructureObjectSorter(OWLOntology ontology, 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.
OntologyAxiomPair(OWLOntology ontology, OWLAxiom axiom)
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 short forms of these entities.
DLExpressivityChecker(Set<OWLOntology> ontologies)
OWLEntityRemover(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.
OWLLiteralReplacer(OWLOntologyManager owlOntologyManager, Set<OWLOntology> ontologies)
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.

Uses of OWLOntology in org.semanticweb.owlapi.util.mansyntax

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

Modifier and Type	Method and Description
ManchesterSyntaxDocumentFormat	ManchesterOWLSyntaxParser.parseOntology(OWLOntology ont)
void	ManchesterOWLSyntaxParser.setDefaultOntology(OWLOntology defaultOntology)