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

Packages that use OWLOntology

org.semanticweb.owl.impl.model	A basic implementation of the OWL API.
org.semanticweb.owl.inference	Inference over OWL ontologies.
org.semanticweb.owl.io	Support for input and output of OWL models.
org.semanticweb.owl.io.abstract_syntax	Simple renderer that writes ontologies in OWL Abstract Syntax.
org.semanticweb.owl.io.owl_rdf
org.semanticweb.owl.io.simple	Simple output of OWL models.
org.semanticweb.owl.model	An API for OWL.
org.semanticweb.owl.model.change	Change API for OWL Ontologies.
org.semanticweb.owl.model.helper	Helper classes for the OWL API.
org.semanticweb.owl.util
org.semanticweb.owl.validation	Classes concerned with validation of OWL ontologies.
uk.ac.man.cs.img.owl.inference
uk.ac.man.cs.img.owl.inference.dl
uk.ac.man.cs.img.owl.inference.firstorder
uk.ac.man.cs.img.owl.io.dig1_0
uk.ac.man.cs.img.owl.io.fact	Simple renderer that writes ontologies in FaCT Lisp.
uk.ac.man.cs.img.owl.io.factplus	Simple renderer that writes ontologies in FaCT Lisp.
uk.ac.man.cs.img.owl.io.html
uk.ac.man.cs.img.owl.io.tptp	Simple renderer that writes ontologies as TPTP.
uk.ac.man.cs.img.owl.presentation
uk.ac.man.cs.img.owl.validation

Uses of OWLOntology in org.semanticweb.owl.impl.model

Classes in org.semanticweb.owl.impl.model that implement OWLOntology

class

OWLOntologyImpl Represents an OWL ontology.

Methods in org.semanticweb.owl.impl.model that return OWLOntology

OWLOntology	OWLDataFactoryImpl.getOWLOntology(URI logicalURI, URI physicalURI)
OWLOntology	OWLConnectionImpl.openOntologyPhysical(URI physicalURI) Deprecated. Use getOntology instead.
OWLOntology	OWLConnectionImpl.openOntologyLogical(URI logicalURI) Deprecated.
OWLOntology	OWLConnectionImpl.createOWLOntology(URI physicalURI, URI logicalURI) Deprecated. Use createOntology instead.
OWLOntology	OWLConnectionImpl.createOntology(URI physicalURI, URI logicalURI)
OWLOntology	OWLConnectionImpl.getOntologyLogical(URI logicalURI)
OWLOntology	OWLConnectionImpl.getOntologyPhysical(URI physicalURI)
OWLOntology	OWLConnectionImpl.loadOntologyPhysical(URI physicalURI)
OWLOntology	OWLConnectionImpl.reloadOntologyPhysical(URI physicalURI)

Methods in org.semanticweb.owl.impl.model with parameters of type OWLOntology

Set	OWLPropertyImpl.getSuperProperties(OWLOntology o)
Set	OWLPropertyImpl.getDomains(OWLOntology o)
Set	OWLPropertyImpl.getRanges(OWLOntology o)
boolean	OWLPropertyImpl.isFunctional(OWLOntology o)
boolean	OWLPropertyImpl.isDeprecated(OWLOntology o)
void	OWLPropertyImpl.setDeprecated(OWLOntology o, boolean b)
Set	OWLObjectPropertyImpl.getInverses(OWLOntology o)
boolean	OWLObjectPropertyImpl.isSymmetric(OWLOntology o)
boolean	OWLObjectPropertyImpl.isInverseFunctional(OWLOntology o)
boolean	OWLObjectPropertyImpl.isOneToOne(OWLOntology o)
boolean	OWLObjectPropertyImpl.isTransitive(OWLOntology o)
Set	OWLObjectImpl.getAnnotations(OWLOntology o) Returns the annotatsion in the given ontology.
Set	OWLIndividualImpl.getTypes(OWLOntology o)
Map	OWLIndividualImpl.getObjectPropertyValues(OWLOntology o) Returns a Map which encapsulate the relationships between this individual and other individuals.
Map	OWLIndividualImpl.getIncomingObjectPropertyValues(OWLOntology o) Returns a Map which encapsulate the relationships between other individuals and this individual.
Map	OWLIndividualImpl.getDataPropertyValues(OWLOntology o) Returns a Map which encapsulates the relationship between this individual and data values.
void	OWLConnectionImpl.notifyOntologyDeleted(OWLOntology onto) Notifies the connection that the OWLOntology has been deleted.
ChangeVisitor	OWLConnectionImpl.getChangeVisitor(OWLOntology o) Given an ontology, returns a change visitor that will enact changes over that ontology.
void	OWLConnectionImpl.changeOntologyLogicalURI(OWLOntology o, URI uri)
boolean	OWLConcreteDataTypeImpl.isDeprecated(OWLOntology o)
void	OWLConcreteDataTypeImpl.setDeprecated(OWLOntology o, boolean b)
Set	OWLClassImpl.getSuperClasses(OWLOntology o) Returns the explicit superclasses of this class in the given ontology.
Set	OWLClassImpl.getEquivalentClasses(OWLOntology o) Returns the equivalent classes in the given ontology.
Set	OWLClassImpl.getEnumerations(OWLOntology o) Returns the enumerations that have been asserted as being equivalent to this class in the given ontology.
boolean	OWLClassImpl.isDeprecated(OWLOntology o)
void	OWLClassImpl.setDeprecated(OWLOntology o, boolean b)

Uses of OWLOntology in org.semanticweb.owl.inference

Methods in org.semanticweb.owl.inference that return OWLOntology

OWLOntology

OWLReasoner.getOntology() Get the ontology that this reasoner reasons over

Methods in org.semanticweb.owl.inference with parameters of type OWLOntology

void	OWLReasoner.setOntology(OWLOntology ontology) Set the ontology that the reasoner will reason with.
int	OWLConsistencyChecker.consistency(OWLOntology onto) Knowledge base consistency test.

Uses of OWLOntology in org.semanticweb.owl.io

Methods in org.semanticweb.owl.io that return OWLOntology

OWLOntology	Parser.parseOntology(Reader reader, URI physicalURI) Parse from the given reader and return a new ontology object based on the connection that the parser knows about.
OWLOntology	Parser.parseOntology(URI uri) Parse from the given URI and return a new ontology object based on the connection that the parser knows about.

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

void	Renderer.renderOntology(OWLOntology ontology, Writer writer) Render the given ontology onto the writer using an appropriate concrete representation

Uses of OWLOntology in org.semanticweb.owl.io.abstract_syntax

Methods in org.semanticweb.owl.io.abstract_syntax that return OWLOntology

OWLOntology	ANTLRParser.ontology(URI physicalURI, OWLBuilder builder) Starting rule.
OWLOntology	AbstractOWLParser.parseOntology(URI uri) Parses the ontology at uri and returns a new ontology object based on the connection that the parser knows about.
OWLOntology	AbstractOWLParser.parseOntology(Reader reader, URI physicalURI) Parses the ontology in reader and returns a new ontology object based on the connection that the parser knows about.

Methods in org.semanticweb.owl.io.abstract_syntax with parameters of type OWLOntology

void	Renderer.renderOntology(OWLOntology ontology, Writer writer)

Constructors in org.semanticweb.owl.io.abstract_syntax with parameters of type OWLOntology

RenderingVisitor(ShortFormProvider shortForms, OWLOntology ontology)

ObjectRenderer(OWLOntology ontology)

Uses of OWLOntology in org.semanticweb.owl.io.owl_rdf

Fields in org.semanticweb.owl.io.owl_rdf declared as OWLOntology

protected OWLOntology

Renderer.ontology

Methods in org.semanticweb.owl.io.owl_rdf that return OWLOntology

OWLOntology	OWLRDFParser.parseOntology(Reader reader, URI physicalURI)
OWLOntology	OWLRDFParser.parseOntology(URI uri)

Methods in org.semanticweb.owl.io.owl_rdf with parameters of type OWLOntology

void	Renderer.renderOntology(OWLOntology ontology, Writer writer)
protected void	Renderer.renderClass(OWLOntology ontology, OWLClass clazz)
protected void	Renderer.renderIndividual(OWLOntology ontology, OWLIndividual ind)
protected void	Renderer.renderObjectProperty(OWLOntology ontology, OWLObjectProperty prop)
protected void	Renderer.renderDataProperty(OWLOntology ontology, OWLDataProperty prop)
protected void	Renderer.renderAnnotations(OWLOntology ontology, OWLNamedObject object) Render the annotations for an object
protected void	OWLRDFParser.parseOntology(OWLOntology ontology, Reader reader, URI uri) Locally accessible parse method used during import parsing
protected void	OWLRDFParser.parseOntology(OWLOntology ontology, URI uri) Locally accessible parse method used during import parsing
protected void	OWLConsumer.createPropertyInstance(OWLOntology onto, URI subj, URI pred, URI obj)
protected void	OWLConsumer.createSameIndividualAs(OWLOntology onto, URI subj, URI obj) Method createSameIndividualAs.
protected void	OWLConsumer.createInverseOf(OWLOntology onto, URI subj, URI obj) We assume that inverse of must apply to object properties.
protected void	OWLConsumer.createDifferentFrom(OWLOntology onto, URI subj, URI obj)
protected void	OWLConsumer.createEquivalentProperty(OWLOntology onto, URI subj, URI obj)
protected void	OWLConsumer.createSubProperty(OWLOntology onto, URI subj, URI obj)
protected void	OWLConsumer.createRange(OWLOntology onto, URI property, URI range) Method createRange.
protected void	OWLConsumer.createDomain(OWLOntology onto, URI property, URI domain)
protected void	OWLConsumer.importOntology(OWLOntology onto, URI subj, URI obj) Method importOntology.
protected OWLObjectProperty	OWLConsumer.createObjectProperty(OWLOntology onto, URI uri)
protected OWLAnnotationProperty	OWLConsumer.createAnnotationProperty(OWLOntology onto, URI uri)
protected OWLDataProperty	OWLConsumer.createDataProperty(OWLOntology onto, URI uri)
protected void	OWLConsumer.createOntology(OWLOntology onto, String subj) Method createOntology.
protected OWLClass	OWLConsumer.createClass(OWLOntology onto, URI uri) Method createClass.
protected OWLDataType	OWLConsumer.createDatatype(OWLOntology onto, URI uri) Method createDatatype.
protected void	OWLConsumer.createDataPropertyInstance(OWLOntology onto, URI subject, URI predicate, String datatype, String language, String object)
protected void	OWLConsumer.createAnnotationInstance(OWLOntology onto, URI subject, URI predicate, Object object)

Constructors in org.semanticweb.owl.io.owl_rdf with parameters of type OWLOntology

OWLConsumer(OWLOntology onto)
Create a new consumer that will parse into the given ontology

Uses of OWLOntology in org.semanticweb.owl.io.simple

Methods in org.semanticweb.owl.io.simple with parameters of type OWLOntology

void	Renderer.renderOntology(OWLOntology ontology, Writer writer) Prints a very simple rendering of the ontology to the writer, listing all the classes, properties and individuals defined in the ontology.

Uses of OWLOntology in org.semanticweb.owl.model

Subinterfaces of OWLOntology in org.semanticweb.owl.model

interface	OWLDLOntology Sub interface of Ontology which is intended to represent a DL ontology.
interface	OWLLiteOntology Sub interface of Ontology which is intended to represent an OWLLite ontology.

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

OWLOntology

OWLDataFactory.getOWLOntology(URI logicalURIObject, URI physicalURIObject)

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

Set	OWLProperty.getSuperProperties(OWLOntology o) Return any asserted superproperties in the given ontology.
Set	OWLProperty.getDomains(OWLOntology o) Return all domains (in the given ontology).
Set	OWLProperty.getRanges(OWLOntology o) Return all ranges in the given ontology.
boolean	OWLProperty.isFunctional(OWLOntology o) Returns true if the property is declared as being functional in the given ontology
void	OWLObjectVisitor.visit(OWLOntology node)
Set	OWLObjectProperty.getInverses(OWLOntology o) Return all inverses asserted in the given ontology.
boolean	OWLObjectProperty.isSymmetric(OWLOntology o) Returns true if the property is asserted to be symmetric (in the given ontology).
boolean	OWLObjectProperty.isInverseFunctional(OWLOntology o) Returns true if the property is asserted to be inverse functional (in the given ontology).
boolean	OWLObjectProperty.isOneToOne(OWLOntology o) Returns true if the property is asserted to be oneToOne (in the given ontology).
boolean	OWLObjectProperty.isTransitive(OWLOntology o) Returns true if the property is asserted to be transitive (in the given ontology).
Set	OWLObject.getAnnotations(OWLOntology o) Returns the annotations on the object in the given ontology.
Set	OWLIndividual.getTypes(OWLOntology o) Returns a list of the OWLDescriptions that this individual is asserted as being an instance of in the given ontology.
Map	OWLIndividual.getObjectPropertyValues(OWLOntology o) Returns a Map which encapsulate the relationships between this individual and other individuals in the given ontology.
Map	OWLIndividual.getDataPropertyValues(OWLOntology o) Returns a Map which encapsulates the relationship between this individual and data values in the given ontology.
Map	OWLIndividual.getIncomingObjectPropertyValues(OWLOntology o) Returns a Map which encapsulate the relationships between other individuals and this individual in the given ontology.
boolean	OWLDeprecatableObject.isDeprecated(OWLOntology ontology)
Set	OWLClass.getSuperClasses(OWLOntology o) Returns the explicit superclasses of this class in the given ontology.
Set	OWLClass.getEquivalentClasses(OWLOntology o) Returns equivalent classes to this class in the given ontology.
Set	OWLClass.getEnumerations(OWLOntology o) Returns the enumerations that have been asserted as being equivalent to this class in the given ontology.

Uses of OWLOntology in org.semanticweb.owl.model.change

Fields in org.semanticweb.owl.model.change declared as OWLOntology

protected OWLOntology

OntologyChange.ontology The ontology within which the change should occur.

Methods in org.semanticweb.owl.model.change that return OWLOntology

OWLOntology	OntologyChange.getOntology()
OWLOntology	AddImport.getImportOntology() The entity that should be added.

Methods in org.semanticweb.owl.model.change with parameters of type OWLOntology

void	OntologyChange.setOntology(OWLOntology ontology)

Constructors in org.semanticweb.owl.model.change with parameters of type OWLOntology

SetTransitive(OWLOntology ontology, OWLObjectProperty property, boolean transitive, OntologyChange cause)

SetSymmetric(OWLOntology ontology, OWLObjectProperty property, boolean symmetric, OntologyChange cause)

SetOneToOne(OWLOntology ontology, OWLObjectProperty property, boolean oneToOne, OntologyChange cause)

SetLogicalURI(OWLOntology ontology, URI uri, OntologyChange cause)

SetInverseFunctional(OWLOntology ontology, OWLObjectProperty property, boolean inverseFunctional, OntologyChange cause)

SetFunctional(OWLOntology ontology, OWLProperty property, boolean functional, OntologyChange cause)

SetDeprecated(OWLOntology ontology, OWLDeprecatableObject object, boolean deprecated, OntologyChange cause)

RemoveSuperClass(OWLOntology ontology, OWLClass owlClass, OWLDescription description, OntologyChange cause)

RemoveEquivalentClass(OWLOntology ontology, OWLClass owlClass, OWLDescription description, OntologyChange cause)

RemoveEnumeration(OWLOntology ontology, OWLClass owlClass, OWLEnumeration enumeration, OntologyChange cause)

RemoveEntity(OWLOntology ontology, OWLEntity entity, OntologyChange cause)

RemoveClassAxiom(OWLOntology ontology, OWLClassAxiom axiom, OntologyChange cause)

OntologyChange(OWLOntology ontology, OntologyChange cause)

AddSuperProperty(OWLOntology ontology, OWLProperty property, OWLProperty superProperty, OntologyChange cause)

AddSuperClass(OWLOntology ontology, OWLClass owlClass, OWLDescription description, OntologyChange cause)

AddPropertyAxiom(OWLOntology ontology, OWLPropertyAxiom axiom, OntologyChange cause)

AddObjectPropertyRange(OWLOntology ontology, OWLObjectProperty property, OWLDescription range, OntologyChange cause)

AddObjectPropertyInstance(OWLOntology ontology, OWLIndividual subject, OWLObjectProperty property, OWLIndividual object, OntologyChange cause)

AddInverse(OWLOntology ontology, OWLObjectProperty property, OWLObjectProperty inverse, OntologyChange cause)

AddIndividualClass(OWLOntology ontology, OWLIndividual individual, OWLDescription description, OntologyChange cause)

AddIndividualAxiom(OWLOntology ontology, OWLIndividualAxiom axiom, OntologyChange cause)

AddImport(OWLOntology ontology, OWLOntology importOntology, OntologyChange cause)

AddImport(OWLOntology ontology, OWLOntology importOntology, OntologyChange cause)

AddEquivalentClass(OWLOntology ontology, OWLClass owlClass, OWLDescription description, OntologyChange cause)

AddEnumeration(OWLOntology ontology, OWLClass owlClass, OWLEnumeration enumeration, OntologyChange cause)

AddEntity(OWLOntology ontology, OWLEntity entity, OntologyChange cause)

AddDomain(OWLOntology ontology, OWLProperty property, OWLDescription domain, OntologyChange cause)

AddDataType(OWLOntology ontology, OWLDataType datatype, OntologyChange cause)

AddDataPropertyRange(OWLOntology ontology, OWLDataProperty property, OWLDataRange range, OntologyChange cause)

AddDataPropertyInstance(OWLOntology ontology, OWLIndividual subject, OWLDataProperty property, OWLDataValue object, OntologyChange cause)

AddClassAxiom(OWLOntology ontology, OWLClassAxiom axiom, OntologyChange cause)

AddAnnotationInstance(OWLOntology ontology, OWLObject subject, OWLAnnotationProperty property, Object content, OntologyChange cause)

Uses of OWLOntology in org.semanticweb.owl.model.helper

Methods in org.semanticweb.owl.model.helper that return OWLOntology

OWLOntology	OWLBuilder.getOntology() Gets the current OWLOntology.
static OWLOntology	OntologyHelper.getOntology(URI uri) Returns an ontology from the given URI.

Methods in org.semanticweb.owl.model.helper with parameters of type OWLOntology

void	OWLObjectVisitorAdapter.visit(OWLOntology node)
void	OWLEntityCollector.visit(OWLOntology node)
static Set	OntologyHelper.importClosure(OWLOntology ontology) Returns the (unordered) closure of the imports from the given ontology.
static OWLClass	OntologyHelper.getClassNamed(OWLOntology ontology, URI uri)
static OWLIndividual	OntologyHelper.getIndividualNamed(OWLOntology ontology, URI uri)
static OWLObjectProperty	OntologyHelper.getObjectPropertyNamed(OWLOntology ontology, URI uri)
static OWLDataProperty	OntologyHelper.getDataPropertyNamed(OWLOntology ontology, URI uri)
static Set	OntologyHelper.allURIs(OWLOntology ontology) Returns all the uris of all the entities in the ontology.
static Set	OntologyHelper.allDefinitionsAsAxioms(OWLOntology ontology) Returns a collection of OWLClassAxioms that represent all the assertions made about classes in the ontology.
static Set	OntologyHelper.allPropertyDefinitionsAsAxioms(OWLOntology ontology) Returns a collection of OWLPropertyAxioms that represent all the assertions made about classes in the ontology.
static List	OntologyHelper.getAnnotations(OWLOntology ontology, OWLObject oo, OWLAnnotationProperty oap) Return the objects which are the fillers in the annotations applied to the given object using the given annotation property.
static Set	OntologyHelper.getRDFLabels(OWLOntology ontology, OWLObject oo, String language) Returns all annotations on the object using the rdfs:label annotation property using the given language.
static Set	OntologyHelper.getRDFLabels(OWLOntology ontology, OWLObject oo) Returns all annotations on the object using the rdfs:label annotation property using any language.
void	ExceptionThrowingOWLObjectVisitorAdapter.visit(OWLOntology node)

Uses of OWLOntology in org.semanticweb.owl.util

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

protected OWLOntology	OntologyReplicator.m_sourceOWLOntology The source OWL Ontology.
protected OWLOntology	OntologyReplicator.m_targetOWLOntology The target OWL Ontology.

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

static OWLOntology	OWLManager.resolveLogicalURI(OWLConnection OWLConnection, URI logicalURI) Tries to resolve a logical URI for the connection.
OWLOntology	OWLConnection.openOntologyPhysical(URI physicalURI) Deprecated.
OWLOntology	OWLConnection.getOntologyPhysical(URI physicalURI)
OWLOntology	OWLConnection.loadOntologyPhysical(URI physicalURI) Loads an OWLOntology with given physical URI (in fact an URL), somewhere on the web or in the file system.
OWLOntology	OWLConnection.reloadOntologyPhysical(URI physicalURI) Reloads an OWLOntology with given physical URI (in fact an URL), somewhere on the web or in the file system.
OWLOntology	OWLConnection.openOntologyLogical(URI logicalURI) Deprecated.
OWLOntology	OWLConnection.getOntologyLogical(URI logicalURI) Returns an OWLOntology with given logical URI.
OWLOntology	OWLConnection.createOWLOntology(URI physicalURI, URI logicalURI) Deprecated.
OWLOntology	OWLConnection.createOntology(URI physicalURI, URI logicalURI) Creates an OWLOntology with a given physical and logical URI.
OWLOntology	OntologyReplicator.doReplication() Starts the replication of the source model to the target model
protected OWLOntology	OntologyReplicator.createTargetOWLOntology(OWLOntology sourceOWLOntology) Creates a target model for given source OWL Ontology.

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

static Set	OWLOntologies.getAllIncludedOntologies(OWLOntology ontology) Finds all included ontologies.
void	OWLConnection.notifyOntologyDeleted(OWLOntology ontology) Notifies the connection that the OWLOntology has been deleted.
ChangeVisitor	OWLConnection.getChangeVisitor(OWLOntology o) Given an ontology, returns a change visitor that will enact changes over that ontology.
protected OWLOntology	OntologyReplicator.createTargetOWLOntology(OWLOntology sourceOWLOntology) Creates a target model for given source OWL Ontology.
protected void	OntologyProcessor.processElements(Set set, OWLOntology ontology, int loadFlag, OntologyProcessor.ObjectProcessor objectProcessor, int progressPhase) Loads and processes elements from the given set in chunks.

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

OntologyReplicator(OWLOntology sourceOWLOntology, Map logicalToPhysicalURIs, OWLConnection targetKAONConnection)
Creates an instance of this class.

Uses of OWLOntology in org.semanticweb.owl.validation

Methods in org.semanticweb.owl.validation with parameters of type OWLOntology

void	SpeciesValidatorReporter.ontology(OWLOntology ontology)
boolean	SpeciesValidator.isOWLLite(OWLOntology ontology)
boolean	SpeciesValidator.isOWLDL(OWLOntology ontology)
boolean	SpeciesValidator.isOWLFull(OWLOntology ontology)
Set	ConstructChecker.constructsUsed(OWLOntology onto) Returns a set of Integers representing the constructs used within an ontology.

Uses of OWLOntology in uk.ac.man.cs.img.owl.inference

Methods in uk.ac.man.cs.img.owl.inference that return OWLOntology

OWLOntology	NonInferencingTaxonomyReasoner.getOntology()
static OWLOntology	InferenceHelper.hierarchyAsNewOntology(OWLTaxonomyReasoner reasoner) Returns a new ontology which contains the classes from the original ontology along with any subclass information.

Methods in uk.ac.man.cs.img.owl.inference with parameters of type OWLOntology

void	NonInferencingTaxonomyReasoner.setOntology(OWLOntology onto) Set the ontology that the reasoner knows about.

Uses of OWLOntology in uk.ac.man.cs.img.owl.inference.dl

Methods in uk.ac.man.cs.img.owl.inference.dl that return OWLOntology

OWLOntology	SimpleOWLTaxonomyReasoner.getOntology()
OWLOntology	SimpleOWLReasoner.getOntology()
static OWLOntology	FaCTConverter.getOntology(String uriString)

Methods in uk.ac.man.cs.img.owl.inference.dl with parameters of type OWLOntology

void	SimpleOWLTaxonomyReasoner.setOntology(OWLOntology onto) Set the ontology that the reasoner knows about.
void	SimpleOWLReasoner.setOntology(OWLOntology onto) Set the ontology that the reasoner knows about.
int	RACERConsistencyChecker.consistency(OWLOntology onto)

Uses of OWLOntology in uk.ac.man.cs.img.owl.inference.firstorder

Methods in uk.ac.man.cs.img.owl.inference.firstorder that return OWLOntology

static OWLOntology

TPTPConverter.getOntology(String uriString)

Methods in uk.ac.man.cs.img.owl.inference.firstorder with parameters of type OWLOntology

int	ConsistencyChecker.consistency(OWLOntology onto) Knowledge base consistency test.

Uses of OWLOntology in uk.ac.man.cs.img.owl.io.dig1_0

Methods in uk.ac.man.cs.img.owl.io.dig1_0 with parameters of type OWLOntology

void	Renderer.renderOntology(OWLOntology ontology, Writer writer)

Uses of OWLOntology in uk.ac.man.cs.img.owl.io.fact

Methods in uk.ac.man.cs.img.owl.io.fact with parameters of type OWLOntology

void	Renderer.renderOntology(OWLOntology ontology, Writer writer)

Uses of OWLOntology in uk.ac.man.cs.img.owl.io.factplus

Methods in uk.ac.man.cs.img.owl.io.factplus with parameters of type OWLOntology

void	Renderer.renderOntology(OWLOntology ontology, Writer writer)

Uses of OWLOntology in uk.ac.man.cs.img.owl.io.html

Constructors in uk.ac.man.cs.img.owl.io.html with parameters of type OWLOntology

RenderingVisitor(Linker l, OWLOntology o)

OntologyRenderer(OWLOntology ontology)

Uses of OWLOntology in uk.ac.man.cs.img.owl.io.tptp

Methods in uk.ac.man.cs.img.owl.io.tptp with parameters of type OWLOntology

void	Renderer.renderOntology(OWLOntology ontology, Writer writer)
void	Renderer.renderOntology(OWLOntology ontology, Writer writer, List names, List strings, List integers, List others, List types)

Uses of OWLOntology in uk.ac.man.cs.img.owl.presentation

Methods in uk.ac.man.cs.img.owl.presentation with parameters of type OWLOntology

protected void

PresentationServlet.printFrame(OWLOntology ontology, PrintWriter out)

Uses of OWLOntology in uk.ac.man.cs.img.owl.validation

Methods in uk.ac.man.cs.img.owl.validation with parameters of type OWLOntology

protected String	ValidatorServlet.constructs(OWLOntology onto)
protected String	ValidatorServlet.abstractForm(OWLOntology onto)
protected String	ValidatorServlet.lispForm(OWLOntology onto)
void	ValidatorLogger.ontology(OWLOntology ontology)
boolean	SpeciesValidator.isOWLLite(OWLOntology ontology) Returns true if the ontology is OWL-Lite.
boolean	SpeciesValidator.isOWLDL(OWLOntology ontology) Returns true if the ontology is OWL-DL.
boolean	SpeciesValidator.isOWLFull(OWLOntology ontology) Returns true if the ontology is OWL-Full.
void	HTMLFragmentReporter.ontology(OWLOntology ontology)
Set	ConstructChecker.constructsUsed(OWLOntology ontology)