|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Uses of OWLOntology in com.clarkparsia.explanation |
|---|
| Methods in com.clarkparsia.explanation that return OWLOntology | |
|---|---|
OWLOntology |
SingleExplanationGeneratorImpl.getOntology()
|
OWLOntology |
SingleExplanationGenerator.getOntology()
Returns the ontology according to which the explanations are generated. |
OWLOntology |
HSTExplanationGenerator.getOntology()
|
| Methods in com.clarkparsia.explanation with parameters of type OWLOntology | |
|---|---|
void |
SingleExplanationGeneratorImpl.setOntology(OWLOntology ontology)
|
void |
SingleExplanationGenerator.setOntology(OWLOntology ont)
Sets the ontology according to which the explanations are generated. |
void |
HSTExplanationGenerator.setOntology(OWLOntology ontology)
|
| Constructors in com.clarkparsia.explanation with parameters of type OWLOntology | |
|---|---|
DefaultExplanationGenerator(OWLOntologyManager man,
OWLReasonerFactory reasonerFactory,
OWLOntology ontology,
ExplanationProgressMonitor progressMonitor)
|
|
DefaultExplanationGenerator(OWLOntologyManager man,
OWLReasonerFactory reasonerFactory,
OWLOntology ontology,
OWLReasoner reasoner,
ExplanationProgressMonitor progressMonitor)
|
|
| Uses of OWLOntology in com.clarkparsia.explanation.util |
|---|
| Methods in com.clarkparsia.explanation.util that return types with arguments of type OWLOntology | |
|---|---|
static java.util.Set<OWLOntology> |
OntologyUtils.removeAxiom(OWLAxiom axiom,
java.util.Set<OWLOntology> ontologies,
OWLOntologyManager manager)
Removes an axiom from all the given ontologies that contains the axiom and returns those ontologies. |
| Methods in com.clarkparsia.explanation.util with parameters of type OWLOntology | |
|---|---|
static boolean |
OntologyUtils.containsUnreferencedEntity(OWLOntology ontology,
OWLDescription desc)
Determines if a class description contains any unreferenced entities with respect to the ontology that contains the entailments which are being explained. |
void |
DefinitionTracker.setOntology(OWLOntology ontology)
|
| Method parameters in com.clarkparsia.explanation.util with type arguments of type OWLOntology | |
|---|---|
static void |
OntologyUtils.addAxiom(OWLAxiom axiom,
java.util.Set<OWLOntology> ontologies,
OWLOntologyManager manager)
Add the axiom to all the given ontologies. |
static java.util.Set<OWLOntology> |
OntologyUtils.removeAxiom(OWLAxiom axiom,
java.util.Set<OWLOntology> ontologies,
OWLOntologyManager manager)
Removes an axiom from all the given ontologies that contains the axiom and returns those ontologies. |
| Uses of OWLOntology in de.uulm.ecs.ai.owl.krssparser |
|---|
| Methods in de.uulm.ecs.ai.owl.krssparser with parameters of type OWLOntology | |
|---|---|
OWLOntologyFormat |
KRSS2OWLParser.parse(OWLOntologyInputSource inputSource,
OWLOntology ontology)
|
void |
KRSS2Parser.setOntology(OWLOntology ontology,
OWLDataFactory dataFactory)
|
| Uses of OWLOntology in de.uulm.ecs.ai.owl.krssrenderer |
|---|
| Methods in de.uulm.ecs.ai.owl.krssrenderer with parameters of type OWLOntology | |
|---|---|
void |
KRSS2OWLSyntaxRenderer.render(OWLOntology ontology,
java.io.Writer writer)
|
void |
KRSS2OWLObjectRenderer.visit(OWLOntology ontology)
|
| Constructors in de.uulm.ecs.ai.owl.krssrenderer with parameters of type OWLOntology | |
|---|---|
KRSS2OWLObjectRenderer(OWLOntology ontology,
java.io.Writer writer)
|
|
| Uses of OWLOntology in org.coode.manchesterowlsyntax |
|---|
| Methods in org.coode.manchesterowlsyntax with parameters of type OWLOntology | |
|---|---|
OWLOntologyFormat |
ManchesterOWLSyntaxOntologyParser.parse(OWLOntologyInputSource inputSource,
OWLOntology ontology)
|
OWLImportsDeclaration |
ManchesterOWLSyntaxEditorParser.parseImportsDeclaration(OWLOntology ont)
|
void |
ManchesterOWLSyntaxEditorParser.parseOntology(OWLOntologyManager manager,
OWLOntology ont)
|
| Uses of OWLOntology in org.coode.obo.parser |
|---|
| Methods in org.coode.obo.parser that return OWLOntology | |
|---|---|
OWLOntology |
TagValueHandler.getOntology()
|
OWLOntology |
OBOConsumer.getOntology()
|
OWLOntology |
AbstractTagValueHandler.getOntology()
|
| Methods in org.coode.obo.parser with parameters of type OWLOntology | |
|---|---|
OWLOntologyFormat |
OWLOBOParser.parse(OWLOntologyInputSource inputSource,
OWLOntology ontology)
|
| Constructors in org.coode.obo.parser with parameters of type OWLOntology | |
|---|---|
OBOConsumer(OWLOntologyManager owlOntologyManager,
OWLOntology ontology)
|
|
| Uses of OWLOntology in org.coode.owl.functionalparser |
|---|
| Methods in org.coode.owl.functionalparser with parameters of type OWLOntology | |
|---|---|
OWLOntologyFormat |
OWLFunctionalSyntaxOWLParser.parse(OWLOntologyInputSource inputSource,
OWLOntology ontology)
|
void |
OWLFunctionalSyntaxParser.setUp(OWLOntologyManager man,
OWLOntology ontology)
|
| Uses of OWLOntology in org.coode.owl.functionalrenderer |
|---|
| Methods in org.coode.owl.functionalrenderer with parameters of type OWLOntology | |
|---|---|
void |
OWLFunctionalSyntaxRenderer.render(OWLOntology ontology,
java.io.Writer writer)
|
void |
OWLObjectRenderer.visit(OWLOntology ontology)
|
| Constructors in org.coode.owl.functionalrenderer with parameters of type OWLOntology | |
|---|---|
OWLObjectRenderer(OWLOntologyManager man,
OWLOntology ontology,
java.io.Writer writer)
|
|
| Uses of OWLOntology in org.coode.owl.krssparser |
|---|
| Methods in org.coode.owl.krssparser with parameters of type OWLOntology | |
|---|---|
OWLOntologyFormat |
KRSSOWLParser.parse(OWLOntologyInputSource inputSource,
OWLOntology ontology)
|
void |
KRSSParser.setOntology(OWLOntology ontology,
OWLDataFactory dataFactory)
|
| Uses of OWLOntology in org.coode.owl.latex |
|---|
| Methods in org.coode.owl.latex with parameters of type OWLOntology | |
|---|---|
void |
LatexRenderer.render(OWLOntology ontology,
java.io.Writer writer)
|
void |
LatexObjectVisitor.visit(OWLOntology ontology)
|
| Uses of OWLOntology in org.coode.owl.owlxmlparser |
|---|
| Methods in org.coode.owl.owlxmlparser that return OWLOntology | |
|---|---|
OWLOntology |
OWLXMLParserHandler.getOntology()
|
OWLOntology |
OWLOntologyHandler.getOWLObject()
|
OWLOntology |
OWLImportsHandler.getOWLObject()
|
| Methods in org.coode.owl.owlxmlparser with parameters of type OWLOntology | |
|---|---|
OWLOntologyFormat |
OWLXMLParser.parse(OWLOntologyInputSource inputSource,
OWLOntology ontology)
|
| Constructors in org.coode.owl.owlxmlparser with parameters of type OWLOntology | |
|---|---|
OWLXMLParserHandler(OWLOntologyManager owlOntologyManager,
OWLOntology ontology)
Creates an OWLXML handler. |
|
OWLXMLParserHandler(OWLOntologyManager owlOntologyManager,
OWLOntology ontology,
OWLElementHandler topHandler)
Creates an OWLXML handler with the specified top level handler. |
|
| Uses of OWLOntology in org.coode.owl.rdf.model |
|---|
| Methods in org.coode.owl.rdf.model with parameters of type OWLOntology | |
|---|---|
void |
AbstractTranslator.visit(OWLOntology ontology)
|
| Constructors in org.coode.owl.rdf.model with parameters of type OWLOntology | |
|---|---|
AbstractTranslator(OWLOntologyManager manager,
OWLOntology ontology)
|
|
RDFTranslator(OWLOntologyManager manager,
OWLOntology ontology)
|
|
| Uses of OWLOntology in org.coode.owl.rdf.rdfxml |
|---|
| Constructors in org.coode.owl.rdf.rdfxml with parameters of type OWLOntology | |
|---|---|
RDFXMLNamespaceManager(OWLOntologyManager man,
OWLOntology ontology)
|
|
RDFXMLNamespaceManager(OWLOntologyManager man,
OWLOntology ontology,
OWLOntologyFormat format)
|
|
RDFXMLRenderer(OWLOntologyManager manager,
OWLOntology ontology,
java.io.Writer w)
|
|
RDFXMLRenderer(OWLOntologyManager manager,
OWLOntology ontology,
java.io.Writer w,
OWLOntologyFormat format)
|
|
| Uses of OWLOntology in org.coode.owl.rdf.renderer |
|---|
| Methods in org.coode.owl.rdf.renderer that return OWLOntology | |
|---|---|
OWLOntology |
RDFRendererBase.getOntology()
|
| Constructors in org.coode.owl.rdf.renderer with parameters of type OWLOntology | |
|---|---|
RDFRendererBase(OWLOntology ontology,
OWLOntologyManager manager)
|
|
| Uses of OWLOntology in org.coode.owl.rdf.turtle |
|---|
| Constructors in org.coode.owl.rdf.turtle with parameters of type OWLOntology | |
|---|---|
TurtleRenderer(OWLOntology ontology,
OWLOntologyManager manager,
java.io.Writer writer)
|
|
| Uses of OWLOntology in org.coode.owl.rdfxml.parser |
|---|
| Methods in org.coode.owl.rdfxml.parser that return OWLOntology | |
|---|---|
OWLOntology |
OWLRDFConsumer.getOntology()
|
| Methods in org.coode.owl.rdfxml.parser with parameters of type OWLOntology | |
|---|---|
OWLOntologyFormat |
RDFXMLParser.parse(OWLOntologyInputSource inputSource,
OWLOntology ontology)
|
| Constructors in org.coode.owl.rdfxml.parser with parameters of type OWLOntology | |
|---|---|
OWLRDFConsumer(OWLOntologyManager owlOntologyManager,
OWLOntology ontology,
AnonymousNodeChecker checker)
|
|
| Uses of OWLOntology in org.coode.owlapi.owlxml.renderer |
|---|
| Methods in org.coode.owlapi.owlxml.renderer with parameters of type OWLOntology | |
|---|---|
void |
OWLXMLRenderer.render(OWLOntology ontology,
java.io.Writer writer)
|
void |
OWLXMLWriter.startDocument(OWLOntology ontology)
|
void |
OWLXMLObjectRenderer.visit(OWLOntology ontology)
|
| Constructors in org.coode.owlapi.owlxml.renderer with parameters of type OWLOntology | |
|---|---|
OWLXMLObjectRenderer(OWLOntology ontology,
OWLXMLWriter writer)
|
|
OWLXMLWriter(java.io.Writer writer,
XMLWriterNamespaceManager xmlWriterNamespaceManager,
OWLOntology ontology)
|
|
| Uses of OWLOntology in org.coode.xml |
|---|
| Constructors in org.coode.xml with parameters of type OWLOntology | |
|---|---|
OWLOntologyNamespaceManager(OWLOntologyManager man,
OWLOntology ontology)
|
|
OWLOntologyNamespaceManager(OWLOntologyManager man,
OWLOntology ontology,
OWLOntologyFormat format)
|
|
| Uses of OWLOntology in org.semanticweb.owl |
|---|
| Constructors in org.semanticweb.owl with parameters of type OWLOntology | |
|---|---|
AddClassDescriptionClosureAxiom(OWLDataFactory dataFactory,
OWLClass cls,
OWLObjectPropertyExpression property,
java.util.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,
java.util.Set<OWLOntology> ontologies,
OWLOntology targetOntology,
boolean splitIntersections)
|
|
ConvertSuperClassesToEquivalentClass(OWLDataFactory dataFactory,
OWLClass cls,
java.util.Set<OWLOntology> ontologies,
OWLOntology targetOntology)
|
|
CreateValuePartition(OWLDataFactory dataFactory,
OWLClass valuePartitionClass,
java.util.Set<OWLClass> valuePartionClasses,
OWLObjectProperty valuePartitionProperty,
OWLOntology targetOntology)
Creates a composite change that will create a value partition. |
|
MakeClassesMutuallyDisjoint(OWLDataFactory dataFactory,
java.util.Set<? extends OWLDescription> descriptions,
boolean usePairwiseDisjointAxioms,
OWLOntology targetOntology)
Creates a composite change which makes a set of classes mutually disjoint |
|
MakePrimitiveSubClassesMutuallyDisjoint(OWLDataFactory dataFactory,
OWLClass cls,
java.util.Set<OWLOntology> ontologies,
OWLOntology targetOntology)
|
|
MakePrimitiveSubClassesMutuallyDisjoint(OWLDataFactory dataFactory,
OWLClass cls,
java.util.Set<OWLOntology> ontologies,
OWLOntology targetOntology,
boolean usePairwiseDisjointAxioms)
|
|
| Constructor parameters in org.semanticweb.owl with type arguments of type OWLOntology | |
|---|---|
AddClassDescriptionClosureAxiom(OWLDataFactory dataFactory,
OWLClass cls,
OWLObjectPropertyExpression property,
java.util.Set<OWLOntology> ontologies,
OWLOntology targetOntology)
Creates a composite change that will add a closure axiom for a given class along a specified property. |
|
AmalgamateSubClassAxioms(java.util.Set<OWLOntology> ontologies,
OWLDataFactory dataFactory)
|
|
CoerceConstantsIntoDataPropertyRange(OWLDataFactory dataFactory,
java.util.Set<OWLOntology> ontologies)
|
|
ConvertEquivalentClassesToSuperClasses(OWLDataFactory dataFactory,
OWLClass cls,
java.util.Set<OWLOntology> ontologies,
OWLOntology targetOntology,
boolean splitIntersections)
|
|
ConvertPropertyAssertionsToAnnotations(OWLDataFactory dataFactory,
java.util.Set<OWLOntology> ontologies)
|
|
ConvertSuperClassesToEquivalentClass(OWLDataFactory dataFactory,
OWLClass cls,
java.util.Set<OWLOntology> ontologies,
OWLOntology targetOntology)
|
|
MakePrimitiveSubClassesMutuallyDisjoint(OWLDataFactory dataFactory,
OWLClass cls,
java.util.Set<OWLOntology> ontologies,
OWLOntology targetOntology)
|
|
MakePrimitiveSubClassesMutuallyDisjoint(OWLDataFactory dataFactory,
OWLClass cls,
java.util.Set<OWLOntology> ontologies,
OWLOntology targetOntology,
boolean usePairwiseDisjointAxioms)
|
|
RemoveAllDisjointAxioms(OWLDataFactory dataFactory,
java.util.Set<OWLOntology> ontologies)
|
|
SplitSubClassAxioms(java.util.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.owl.debugging |
|---|
| Methods in org.semanticweb.owl.debugging that return OWLOntology | |
|---|---|
OWLOntology |
OWLDebugger.getOWLOntology()
Gets the OWLOntology that is being debugged. |
OWLOntology |
AbstractOWLDebugger.getOWLOntology()
|
| Constructors in org.semanticweb.owl.debugging with parameters of type OWLOntology | |
|---|---|
BlackBoxOWLDebugger(OWLOntologyManager owlOntologyManager,
OWLOntology ontology,
OWLSatisfiabilityChecker reasoner)
|
|
| Uses of OWLOntology in org.semanticweb.owl.inference |
|---|
| Methods in org.semanticweb.owl.inference that return types with arguments of type OWLOntology | |
|---|---|
java.util.Set<OWLOntology> |
OWLReasonerBase.getLoadedOntologies()
Gets the ontologies that have been loaded into this reasoner. |
java.util.Set<OWLOntology> |
OWLReasonerAdapter.getLoadedOntologies()
|
java.util.Set<OWLOntology> |
NullReasoner.getLoadedOntologies()
|
| Methods in org.semanticweb.owl.inference with parameters of type OWLOntology | |
|---|---|
boolean |
OWLConsistencyChecker.isConsistent(OWLOntology ontology)
Checks to see if the ontology that have been loaded into the reasoner are consistent in combination. |
boolean |
NullReasoner.isConsistent(OWLOntology ontology)
|
| Method parameters in org.semanticweb.owl.inference with type arguments of type OWLOntology | |
|---|---|
void |
OWLReasonerBase.loadOntologies(java.util.Set<OWLOntology> ontologies)
Loads the specified ontologies. |
void |
OWLReasonerAdapter.loadOntologies(java.util.Set<OWLOntology> ontologies)
|
void |
NullReasoner.loadOntologies(java.util.Set<OWLOntology> ontologies)
|
void |
OWLReasonerBase.unloadOntologies(java.util.Set<OWLOntology> ontologies)
Unloads the specified ontologies from this reasoner. |
void |
OWLReasonerAdapter.unloadOntologies(java.util.Set<OWLOntology> ontologies)
|
void |
NullReasoner.unloadOntologies(java.util.Set<OWLOntology> ontologies)
Does nothing in this implementation. |
| Uses of OWLOntology in org.semanticweb.owl.io |
|---|
| Methods in org.semanticweb.owl.io with parameters of type OWLOntology | |
|---|---|
OWLOntologyFormat |
OWLParser.parse(OWLOntologyInputSource inputSource,
OWLOntology ontology)
Parses the ontology that has a concrete representation which is pointed to by the specified input source. |
OWLOntologyFormat |
OWLParser.parse(java.net.URI physicalURI,
OWLOntology ontology)
Parses the ontology that has a concrete representation which is pointed to by the specified physical URI. |
OWLOntologyFormat |
AbstractOWLParser.parse(java.net.URI physicalURI,
OWLOntology ontology)
|
void |
OWLRenderer.render(OWLOntology ontology,
java.io.OutputStream os)
Renders the specified ontology to a concrete representation which should be written to a document located at the specified physical URI. |
void |
AbstractOWLRenderer.render(OWLOntology ontology,
java.io.OutputStream os)
|
abstract void |
AbstractOWLRenderer.render(OWLOntology ontology,
java.io.Writer writer)
Renders the specified ontology using the specified writer. |
| Uses of OWLOntology in org.semanticweb.owl.metrics |
|---|
| Methods in org.semanticweb.owl.metrics that return OWLOntology | |
|---|---|
OWLOntology |
OWLMetric.getOntology()
Gets the ontology which the value of the metric should be based on. |
OWLOntology |
AbstractOWLMetric.getOntology()
|
| Methods in org.semanticweb.owl.metrics that return types with arguments of type OWLOntology | |
|---|---|
java.util.Set<OWLOntology> |
AbstractOWLMetric.getOntologies()
|
| Methods in org.semanticweb.owl.metrics with parameters of type OWLOntology | |
|---|---|
void |
OWLMetricManager.setOntology(OWLOntology ontology)
|
void |
OWLMetric.setOntology(OWLOntology ontology)
Sets the "root" ontology. |
void |
AbstractOWLMetric.setOntology(OWLOntology ontology)
|
| Uses of OWLOntology in org.semanticweb.owl.model |
|---|
| Subinterfaces of OWLOntology in org.semanticweb.owl.model | |
|---|---|
interface |
OWLMutableOntology
Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 25-Oct-2006 |
| Methods in org.semanticweb.owl.model that return OWLOntology | |
|---|---|
OWLOntology |
OWLOntologyManager.createOntology(java.util.Set<OWLAxiom> axioms)
Creates a new ontology that is initialised to contain specific axioms. |
OWLOntology |
OWLOntologyManager.createOntology(java.util.Set<OWLAxiom> axioms,
java.net.URI ontologyURI)
Creates a new ontology that has the specified ontology URI and is initialised to contain specific axioms. |
OWLOntology |
OWLOntologyManager.createOntology(java.net.URI ontologyURI)
Creates a new (empty) ontology that has the specified ontology URI. |
OWLOntology |
OWLOntologyManager.createOntology(java.net.URI ontologyURI,
java.util.Set<OWLOntology> ontologies)
Creates a new ontology that has the specified ontology URI and is initialised to contain the axioms that are contained in the specified ontologies. |
OWLOntology |
OWLOntologyManager.createOntology(java.net.URI ontologyURI,
java.util.Set<OWLOntology> ontologies,
boolean copyLogicalAxiomsOnly)
Creates a new ontology that has the specified ontology URI and is initialised to contain the axioms that are contained in the specified ontologies. |
OWLOntology |
OWLOntologyFactory.createOWLOntology(java.net.URI ontologyURI,
java.net.URI physicalURI,
OWLOntologyFactory.OWLOntologyCreationHandler handler)
Creates an (empty) ontology. |
OWLOntology |
OWLOntologyManager.getImportedOntology(OWLImportsDeclaration declaration)
Given an imports declaration, obtains the ontology that this imports has been resolved to. |
OWLOntology |
OWLOntologyChange.getOntology()
Gets the ontology that the change is/was applied to |
OWLOntology |
OWLOntologyManager.getOntology(java.net.URI ontologyURI)
Gets a previously loaded/created ontology that corresponds to the specified ontology URI. |
OWLOntology |
OWLImportsDeclaration.getSubject()
Gets the ontology that is the subject of this imports axiom. |
OWLOntology |
OWLOntologyManager.loadOntology(OWLOntologyInputSource inputSource)
A convenience method that load an ontology from an input source. |
OWLOntology |
OWLOntologyManager.loadOntology(java.net.URI ontologyURI)
Loads the ontology specified by the ontologyURI parameter. |
OWLOntology |
OWLOntologyManager.loadOntologyFromPhysicalURI(java.net.URI uri)
A convenience method that loads an ontology from a physical URI. |
OWLOntology |
OWLOntologyFactory.loadOWLOntology(OWLOntologyInputSource inputSource,
OWLOntologyFactory.OWLOntologyCreationHandler handler)
Creates and loads an OWLOntology. |
OWLOntology |
OWLOntologyManager.reloadOntology(java.net.URI ontologyURI)
Reloads an ontology that is already managed by this manager. |
| Methods in org.semanticweb.owl.model that return types with arguments of type OWLOntology | |
|---|---|
java.util.Set<OWLOntology> |
OWLOntologyManager.getImports(OWLOntology ontology)
Gets the set of ontologies that are directly imported by the specified ontology. |
java.util.Set<OWLOntology> |
OWLOntology.getImports(OWLOntologyManager ontologyManager)
Gets the OWLOntology instances that this ontology imports. |
java.util.Set<OWLOntology> |
OWLOntologyManager.getImportsClosure(OWLOntology ontology)
Gets the imports closure for the specified ontology. |
java.util.Set<OWLOntology> |
OWLOntologySetProvider.getOntologies()
|
java.util.Set<OWLOntology> |
OWLOntologyManager.getOntologies()
Gets all of the ontologies that are managed by this manager. |
java.util.Set<OWLOntology> |
OWLOntologyManager.getOntologies(OWLAxiom axiom)
Gets the ontologies that are managed by this manager that contain the specified axiom. |
java.util.List<OWLOntology> |
OWLOntologyManager.getSortedImportsClosure(OWLOntology ontology)
Gets the topologically ordered imports closure. |
| Methods in org.semanticweb.owl.model with parameters of type OWLOntology | |
|---|---|
java.util.List<OWLOntologyChange> |
OWLOntologyManager.addAxiom(OWLOntology ont,
OWLAxiom axiom)
A convenience method that adds a single axioms to an ontology. |
java.util.List<OWLOntologyChange> |
OWLOntologyManager.addAxioms(OWLOntology ont,
java.util.Set<? extends OWLAxiom> axioms)
A convenience method that adds a set of axioms to an ontology. |
java.util.Set<OWLAnnotationAxiom> |
OWLEntity.getAnnotationAxioms(OWLOntology ontology)
|
java.util.Set<OWLAxiomAnnotationAxiom> |
OWLAxiom.getAnnotationAxioms(OWLOntology ontology)
Gets the annotation axioms that annotate this axiom and belong to the specified ontology |
java.util.Set<OWLOntologyAnnotationAxiom> |
OWLOntology.getAnnotations(OWLOntology subject)
Gets the ontology annotations whose subject is the specified ontology. |
java.util.Set<OWLAnnotation> |
OWLEntity.getAnnotations(OWLOntology ontology)
Obtains annotations on this entity where the annotation have been asserted on the specified entity. |
java.util.Set<OWLAnnotation> |
OWLEntity.getAnnotations(OWLOntology ontology,
java.net.URI annotationURI)
Obtains the annotations on this entity where the annotation has the specified URI. |
java.util.Map<OWLDataPropertyExpression,java.util.Set<OWLConstant>> |
OWLIndividual.getDataPropertyValues(OWLOntology ontology)
Gets the data property values for this individual |
java.util.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. |
java.util.Set<OWLDescription> |
OWLClass.getDisjointClasses(OWLOntology ontology)
Gets the classes which have been asserted to be disjoint with this class by axioms in the specified ontology. |
java.util.Set<P> |
OWLPropertyExpression.getDisjointProperties(OWLOntology ontology)
|
java.util.Set<OWLDescription> |
OWLPropertyExpression.getDomains(OWLOntology ontology)
Gets the asserted domains of this property. |
java.util.Set<OWLDescription> |
OWLClass.getEquivalentClasses(OWLOntology ontology)
A convenience method that examines the axioms in the specified ontology and returns the descriptions corresponding to equivalent classes of this class. |
java.util.Set<P> |
OWLPropertyExpression.getEquivalentProperties(OWLOntology ontology)
Gets the asserted/told equivalent properties by examining the axioms in the specified ontology. |
java.util.Set<OWLOntology> |
OWLOntologyManager.getImports(OWLOntology ontology)
Gets the set of ontologies that are directly imported by the specified ontology. |
java.util.Set<OWLOntology> |
OWLOntologyManager.getImportsClosure(OWLOntology ontology)
Gets the imports closure for the specified ontology. |
java.util.Set<OWLIndividual> |
OWLClass.getIndividuals(OWLOntology ontology)
Gets the individuals that have been asserted to be an instance of this class by axioms in the speficied ontology. |
java.util.Set<OWLObjectPropertyExpression> |
OWLObjectPropertyExpression.getInverses(OWLOntology ontology)
|
java.util.Map<OWLDataPropertyExpression,java.util.Set<OWLConstant>> |
OWLIndividual.getNegativeDataPropertyValues(OWLOntology ontology)
Gets the data property values that are explicitly asserted NOT to hold for this individual |
java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLIndividual>> |
OWLIndividual.getNegativeObjectPropertyValues(OWLOntology ontology)
Gets the object property values that are explicitly asserted NOT to hold for this individual |
java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLIndividual>> |
OWLIndividual.getObjectPropertyValues(OWLOntology ontology)
Gets the object property values for this individual. |
OWLOntologyFormat |
OWLOntologyManager.getOntologyFormat(OWLOntology ontology)
Gets the ontology format for the specified ontology. |
OWLImportsDeclaration |
OWLDataFactory.getOWLImportsDeclarationAxiom(OWLOntology subject,
java.net.URI importedOntologyURI)
|
OWLOntologyAnnotationAxiom |
OWLDataFactory.getOWLOntologyAnnotationAxiom(OWLOntology subject,
OWLAnnotation annotation)
|
java.net.URI |
OWLOntologyManager.getPhysicalURIForOntology(OWLOntology ontology)
Gets the physical URI for a given ontology. |
java.util.Set<R> |
OWLPropertyExpression.getRanges(OWLOntology ontology)
Gets the ranges of this property that have been asserted in the specified ontology. |
java.util.Set<OWLIndividual> |
OWLIndividual.getSameIndividuals(OWLOntology ontology)
A convenience method that examines axioms in the specified ontology to determine the individuals that are asserted to be the same as this individual. |
java.util.List<OWLOntology> |
OWLOntologyManager.getSortedImportsClosure(OWLOntology ontology)
Gets the topologically ordered imports closure. |
java.util.Set<OWLDescription> |
OWLClass.getSubClasses(OWLOntology ontology)
Gets the classes which have been asserted to be subclasses of this class in the specified ontology. |
java.util.Set<P> |
OWLPropertyExpression.getSubProperties(OWLOntology ontology)
Gets the asserted/told sub properties by examining the axioms in the specified ontology. |
java.util.Set<OWLDescription> |
OWLClass.getSuperClasses(OWLOntology ontology)
A convenience method that examines the axioms in the specified ontology and return the descriptions corresponding to super classes of this class. |
java.util.Set<P> |
OWLPropertyExpression.getSuperProperties(OWLOntology ontology)
Gets the asserted/told super properties by examining the axioms in the specified ontology. |
java.util.Set<OWLDescription> |
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 |
OWLObjectPropertyExpression.isAntiSymmetric(OWLOntology ontology)
Deprecated. use isAsymmetric instead. |
boolean |
OWLObjectPropertyExpression.isAsymmetric(OWLOntology ontology)
|
boolean |
OWLClass.isDefined(OWLOntology ontology)
Determines if this class has at least one equivalent class 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. |
void |
OWLOntologyManager.saveOntology(OWLOntology ontology)
Saves the specified ontology. |
void |
OWLOntologyManager.saveOntology(OWLOntology ontology,
OWLOntologyFormat ontologyFormat)
|
void |
OWLOntologyManager.saveOntology(OWLOntology ontology,
OWLOntologyFormat ontologyFormat,
OWLOntologyOutputTarget outputTarget)
|
void |
OWLOntologyManager.saveOntology(OWLOntology ontology,
OWLOntologyFormat ontologyFormat,
java.net.URI physcialURI)
|
void |
OWLOntologyManager.saveOntology(OWLOntology ontology,
OWLOntologyOutputTarget outputTarget)
|
void |
OWLOntologyManager.saveOntology(OWLOntology ontology,
java.net.URI physicalURI)
Saves the specified ontology, using the specified URI to determine where/how the ontology should be saved. |
void |
OWLOntologyManager.setOntologyFormat(OWLOntology ontology,
OWLOntologyFormat ontologyFormat)
Sets the format for the specified ontology. |
void |
OWLOntologyFactory.OWLOntologyCreationHandler.setOntologyFormat(OWLOntology ontology,
OWLOntologyFormat format)
|
void |
OWLOntologyManager.setPhysicalURIForOntology(OWLOntology ontology,
java.net.URI physicalURI)
Overrides the current physical URI for a given ontology. |
void |
OWLOntologyStorer.storeOntology(OWLOntologyManager manager,
OWLOntology ontology,
OWLOntologyOutputTarget target,
OWLOntologyFormat format)
Stores an ontology to the specified target. |
void |
OWLOntologyStorer.storeOntology(OWLOntologyManager manager,
OWLOntology ontology,
java.net.URI physicalURI,
OWLOntologyFormat ontologyFormat)
Stores an ontology at the specified physical URI in the specified format. |
void |
OWLObjectVisitor.visit(OWLOntology ontology)
|
O |
OWLNamedObjectVisitorEx.visit(OWLOntology ontology)
|
void |
OWLNamedObjectVisitor.visit(OWLOntology ontology)
|
| Method parameters in org.semanticweb.owl.model with type arguments of type OWLOntology | |
|---|---|
OWLOntology |
OWLOntologyManager.createOntology(java.net.URI ontologyURI,
java.util.Set<OWLOntology> ontologies)
Creates a new ontology that has the specified ontology URI and is initialised to contain the axioms that are contained in the specified ontologies. |
OWLOntology |
OWLOntologyManager.createOntology(java.net.URI ontologyURI,
java.util.Set<OWLOntology> ontologies,
boolean copyLogicalAxiomsOnly)
Creates a new ontology that has the specified ontology URI and is initialised to contain the axioms that are contained in the specified ontologies. |
java.util.Set<OWLDescription> |
OWLClass.getDisjointClasses(java.util.Set<OWLOntology> ontologies)
Gets the classes which have been asserted to be disjoint with this class by axioms in the specified ontologies. |
java.util.Set<P> |
OWLPropertyExpression.getDisjointProperties(java.util.Set<OWLOntology> ontologies)
|
java.util.Set<OWLDescription> |
OWLPropertyExpression.getDomains(java.util.Set<OWLOntology> ontologies)
Gets the asserted domains of this property by examining the axioms in the specified ontologies. |
java.util.Set<OWLDescription> |
OWLClass.getEquivalentClasses(java.util.Set<OWLOntology> ontologies)
A convenience method that examines the axioms in the specified ontologies and returns the descriptions corresponding to equivalent classes of this class. |
java.util.Set<P> |
OWLPropertyExpression.getEquivalentProperties(java.util.Set<OWLOntology> ontologies)
Gets the asserted equivalent properties by examining the axioms in the specified ontologies. |
java.util.Set<OWLIndividual> |
OWLClass.getIndividuals(java.util.Set<OWLOntology> ontologies)
Gets the individuals that have been asserted to be an instance of this class by axioms in the speficied ontologies. |
java.util.Set<OWLObjectPropertyExpression> |
OWLObjectPropertyExpression.getInverses(java.util.Set<OWLOntology> ontologies)
|
java.util.Set<R> |
OWLPropertyExpression.getRanges(java.util.Set<OWLOntology> ontologies)
Gets the asserted ranges of this property by examining the axioms in the specified ontologies. |
java.util.Set<OWLDescription> |
OWLClass.getSubClasses(java.util.Set<OWLOntology> ontologies)
Gets the classes which have been asserted to be subclasses of this class in the specified ontologies. |
java.util.Set<P> |
OWLPropertyExpression.getSubProperties(java.util.Set<OWLOntology> ontologies)
Gets the asserted sub properties by examining the axioms in the specified ontologies. |
java.util.Set<OWLDescription> |
OWLClass.getSuperClasses(java.util.Set<OWLOntology> ontologies)
A convenience method that examines the axioms in the specified ontologies and returns the description corresponding to the asserted super classes of this class. |
java.util.Set<P> |
OWLPropertyExpression.getSuperProperties(java.util.Set<OWLOntology> ontologies)
Gets the asserted super properties by examining the axioms in the specified set of ontologies. |
java.util.Set<OWLDescription> |
OWLIndividual.getTypes(java.util.Set<OWLOntology> ontologies)
A convenience method that gets the types of this individual by examining the specified ontologies. |
boolean |
OWLObjectPropertyExpression.isAntiSymmetric(java.util.Set<OWLOntology> ontologies)
Deprecated. use isAsymmetric instead. |
boolean |
OWLObjectPropertyExpression.isAsymmetric(java.util.Set<OWLOntology> ontologies)
|
boolean |
OWLClass.isDefined(java.util.Set<OWLOntology> ontologies)
Determines if this class has at least one equvialent class specified by an equvialent classes axiom in one of the ontologies. |
boolean |
OWLPropertyExpression.isFunctional(java.util.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(java.util.Set<OWLOntology> ontologies)
|
boolean |
OWLObjectPropertyExpression.isIrreflexive(java.util.Set<OWLOntology> ontologies)
|
boolean |
OWLObjectPropertyExpression.isReflexive(java.util.Set<OWLOntology> ontologies)
|
boolean |
OWLObjectPropertyExpression.isSymmetric(java.util.Set<OWLOntology> ontologies)
|
boolean |
OWLObjectPropertyExpression.isTransitive(java.util.Set<OWLOntology> ontologies)
|
| Constructors in org.semanticweb.owl.model with parameters of type OWLOntology | |
|---|---|
AddAxiom(OWLOntology ont,
OWLAxiom axiom)
|
|
OWLAxiomChange(OWLOntology ont,
OWLAxiom axiom)
|
|
OWLOntologyChange(OWLOntology ont)
|
|
RemoveAxiom(OWLOntology ont,
OWLAxiom axiom)
|
|
SetOntologyURI(OWLOntology ont,
java.net.URI newURI)
Creates a set ontology URI change, which will set the URI of the ontology to the specified new URI. |
|
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.owl.modularity |
|---|
| Methods in org.semanticweb.owl.modularity that return OWLOntology | |
|---|---|
OWLOntology |
OntologySegmenter.extractAsOntology(java.util.Set<OWLEntity> signature,
java.net.URI uri)
Returns an ontology that is a segment of the ontology associated with this segmenter. |
| Uses of OWLOntology in org.semanticweb.owl.profiles |
|---|
| Methods in org.semanticweb.owl.profiles with parameters of type OWLOntology | |
|---|---|
OWLProfileReport |
OWLProfile.checkOntology(OWLOntology ontology,
OWLOntologyManager manager)
Checks an ontology and its import closure to see if it is within this profile. |
OWLProfileReport |
OWLDLProfile.checkOntology(OWLOntology ontology,
OWLOntologyManager manager)
|
OWLProfileReport |
OWL2Profile.checkOntology(OWLOntology ontology,
OWLOntologyManager manager)
|
OWLProfileReport |
ELPlusPlusProfile.checkOntology(OWLOntology ontology,
OWLOntologyManager manager)
|
| Uses of OWLOntology in org.semanticweb.owl.util |
|---|
| Methods in org.semanticweb.owl.util that return OWLOntology | |
|---|---|
OWLOntology |
OWLOntologyMerger.createMergedOntology(OWLOntologyManager ontologyManager,
java.net.URI ontologyURI)
|
| Methods in org.semanticweb.owl.util that return types with arguments of type OWLOntology | |
|---|---|
java.util.Set<OWLOntology> |
ToldClassHierarchyReasoner.getLoadedOntologies()
|
java.util.Set<OWLOntology> |
OWLReasonerMediator.getLoadedOntologies()
|
java.util.Map<OWLOntology,java.util.Set<O>> |
ImportsStructureObjectSorter.getObjects()
Gets a map that maps ontologies to sets of associated objects. |
java.util.Set<OWLOntology> |
OWLOntologySingletonSetProvider.getOntologies()
|
java.util.Set<OWLOntology> |
OWLOntologyImportsClosureSetProvider.getOntologies()
|
| Methods in org.semanticweb.owl.util with parameters of type OWLOntology | |
|---|---|
void |
InferredOntologyGenerator.fillOntology(OWLOntologyManager manager,
OWLOntology ontology)
Adds 'inferred axioms' to an ontology using the generators that have been registered with this InferredAxiomGenerator |
java.util.List<OWLOntologyChange> |
OWLOntologyURIChanger.getChanges(OWLOntology ontology,
java.net.URI newURI)
Changes the URI of the specified ontology to the new URI. |
java.util.Set<O> |
ImportsStructureObjectSorter.ObjectSelector.getObjects(OWLOntology ontology)
|
java.util.Set<OWLEntity> |
ImportsStructureEntitySorter.ReferencedEntitySelector.getObjects(OWLOntology ontology)
|
boolean |
OWLReasonerMediator.isConsistent(OWLOntology ontology)
|
void |
OWLObjectPropertyManager.setOntology(OWLOntology ontology)
|
void |
AbstractOWLOntologyStorer.storeOntology(OWLOntologyManager manager,
OWLOntology ontology,
OWLOntologyOutputTarget target,
OWLOntologyFormat format)
|
void |
AbstractOWLOntologyStorer.storeOntology(OWLOntologyManager manager,
OWLOntology ontology,
java.net.URI physicalURI,
OWLOntologyFormat ontologyFormat)
|
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)
|
void |
HashCode.visit(OWLOntology ontology)
|
void |
DLExpressivityChecker.visit(OWLOntology ontology)
|
O |
DelegatingObjectVisitorEx.visit(OWLOntology ontology)
|
| Method parameters in org.semanticweb.owl.util with type arguments of type OWLOntology | |
|---|---|
static java.util.Collection<java.util.Set<OWLObjectPropertyExpression>> |
OWLObjectPropertyManager.getEquivalentObjectProperties(java.util.Set<OWLOntology> ontologies)
|
void |
ToldClassHierarchyReasoner.loadOntologies(java.util.Set<OWLOntology> ontologies)
|
void |
OWLReasonerMediator.loadOntologies(java.util.Set<OWLOntology> ontologies)
|
static void |
OWLObjectPropertyManager.tarjan(java.util.Set<OWLOntology> ontologies,
OWLObjectPropertyExpression prop,
int index,
java.util.Stack<OWLObjectPropertyExpression> stack,
java.util.Map<OWLObjectPropertyExpression,java.lang.Integer> indexMap,
java.util.Map<OWLObjectPropertyExpression,java.lang.Integer> lowlinkMap,
java.util.Set<java.util.Set<OWLObjectPropertyExpression>> result,
java.util.Set<OWLObjectPropertyExpression> processed,
java.util.Set<OWLObjectPropertyExpression> stackProps)
|
void |
ToldClassHierarchyReasoner.unloadOntologies(java.util.Set<OWLOntology> ontologies)
|
void |
OWLReasonerMediator.unloadOntologies(java.util.Set<OWLOntology> ontologies)
|
| Constructors in org.semanticweb.owl.util with parameters of type OWLOntology | |
|---|---|
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. |
|
ShortForm2AnnotationGenerator(OWLOntologyManager ontologyManager,
OWLOntology ontology,
ShortFormProvider shortFormProvider,
java.net.URI annotationURI)
|
|
ShortForm2AnnotationGenerator(OWLOntologyManager ontologyManager,
OWLOntology ontology,
ShortFormProvider shortFormProvider,
java.net.URI annotationURI,
java.lang.String languageTag)
|
|
| Constructor parameters in org.semanticweb.owl.util with type arguments of type OWLOntology | |
|---|---|
BidirectionalShortFormProviderAdapter(OWLOntologyManager man,
java.util.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(java.util.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(java.util.Set<OWLOntology> ontologies)
|
|
OWLEntityRemover(OWLOntologyManager owlOntologyManager,
java.util.Set<OWLOntology> ontologies)
Creates an entity remover, which will remove entities (axioms referring to the entities from the specified ontologies). |
|
OWLEntityRenamer(OWLOntologyManager owlOntologyManager,
java.util.Set<OWLOntology> ontologies)
|
|
OWLEntityURIConverter(OWLOntologyManager manager,
java.util.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(java.util.Set<OWLOntology> objects)
|
|
ReferencedEntitySetProvider(java.util.Set<OWLOntology> ontologies)
|
|
SimpleRootClassChecker(java.util.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 uk.ac.manchester.cs.owl |
|---|
| Classes in uk.ac.manchester.cs.owl that implement OWLOntology | |
|---|---|
class |
OWLOntologyImpl
Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 26-Oct-2006 |
| Methods in uk.ac.manchester.cs.owl that return OWLOntology | |
|---|---|
OWLOntology |
OWLOntologyManagerImpl.createOntology(java.util.Set<OWLAxiom> axioms)
|
OWLOntology |
OWLOntologyManagerImpl.createOntology(java.util.Set<OWLAxiom> axioms,
java.net.URI ontologyURI)
|
OWLOntology |
OWLOntologyManagerImpl.createOntology(java.net.URI ontologyURI)
|
OWLOntology |
OWLOntologyManagerImpl.createOntology(java.net.URI ontologyURI,
java.util.Set<OWLOntology> ontologies)
|
OWLOntology |
OWLOntologyManagerImpl.createOntology(java.net.URI ontologyURI,
java.util.Set<OWLOntology> ontologies,
boolean copyLogicalAxiomsOnly)
|
OWLOntology |
ParsableOWLOntologyFactory.createOWLOntology(java.net.URI ontologyURI,
java.net.URI physicalURI)
Overriden - This method will throw an OWLException which wraps an UnsupportedOperationException. |
OWLOntology |
EmptyInMemOWLOntologyFactory.createOWLOntology(java.net.URI ontologyURI,
java.net.URI physicalURI,
OWLOntologyFactory.OWLOntologyCreationHandler handler)
|
OWLOntology |
AbstractInMemOWLOntologyFactory.createOWLOntology(java.net.URI ontologyURI,
java.net.URI physicalURI,
OWLOntologyFactory.OWLOntologyCreationHandler handler)
Creates an empty ontology that a concrete representation can be parsed into. |
OWLOntology |
OWLOntologyManagerImpl.getImportedOntology(OWLImportsDeclaration declaration)
|
OWLOntology |
OWLOntologyManagerImpl.getOntology(java.net.URI ontologyURI)
|
OWLOntology |
OWLImportsDeclarationImpl.getSubject()
|
OWLOntology |
OWLOntologyManagerImpl.loadOntology(OWLOntologyInputSource inputSource)
|
OWLOntology |
OWLOntologyManagerImpl.loadOntology(java.net.URI ontologyURI)
|
OWLOntology |
OWLOntologyManagerImpl.loadOntologyFromPhysicalURI(java.net.URI uri)
|
OWLOntology |
ParsableOWLOntologyFactory.loadOWLOntology(OWLOntologyInputSource inputSource,
OWLOntologyFactory.OWLOntologyCreationHandler mediator)
|
OWLOntology |
EmptyInMemOWLOntologyFactory.loadOWLOntology(OWLOntologyInputSource inputSource,
OWLOntologyFactory.OWLOntologyCreationHandler mediator)
|
OWLOntology |
OWLOntologyManagerImpl.reloadOntology(java.net.URI ontologyURI)
|
| Methods in uk.ac.manchester.cs.owl that return types with arguments of type OWLOntology | |
|---|---|
java.util.Set<OWLOntology> |
OWLOntologyManagerImpl.getImports(OWLOntology ontology)
|
java.util.Set<OWLOntology> |
OWLOntologyImpl.getImports(OWLOntologyManager ontologyManager)
|
java.util.Set<OWLOntology> |
OWLOntologyManagerImpl.getImportsClosure(OWLOntology ontology)
|
java.util.Set<OWLOntology> |
OWLOntologyManagerImpl.getOntologies()
|
java.util.Set<OWLOntology> |
OWLOntologyManagerImpl.getOntologies(OWLAxiom axiom)
|
java.util.List<OWLOntology> |
OWLOntologyManagerImpl.getSortedImportsClosure(OWLOntology ontology)
|
| Methods in uk.ac.manchester.cs.owl with parameters of type OWLOntology | |
|---|---|
java.util.List<OWLOntologyChange> |
OWLOntologyManagerImpl.addAxiom(OWLOntology ont,
OWLAxiom axiom)
|
java.util.List<OWLOntologyChange> |
OWLOntologyManagerImpl.addAxioms(OWLOntology ont,
java.util.Set<? extends OWLAxiom> axioms)
|
boolean |
OWLOntologyManagerImpl.contains(OWLOntology ontology)
|
java.util.Set<OWLAnnotationAxiom> |
OWLObjectPropertyImpl.getAnnotationAxioms(OWLOntology ontology)
|
java.util.Set<OWLAnnotationAxiom> |
OWLIndividualImpl.getAnnotationAxioms(OWLOntology ontology)
|
java.util.Set<OWLAnnotationAxiom> |
OWLDataTypeImpl.getAnnotationAxioms(OWLOntology ontology)
|
java.util.Set<OWLAnnotationAxiom> |
OWLDataPropertyImpl.getAnnotationAxioms(OWLOntology ontology)
|
java.util.Set<OWLAnnotationAxiom> |
OWLClassImpl.getAnnotationAxioms(OWLOntology ontology)
|
java.util.Set<OWLAxiomAnnotationAxiom> |
OWLAxiomImpl.getAnnotationAxioms(OWLOntology ontology)
|
java.util.Set<OWLOntologyAnnotationAxiom> |
OWLOntologyImpl.getAnnotations(OWLOntology ontology)
Gets the annotations whose subject is this ontology - i.e. |
java.util.Set<OWLAnnotation> |
OWLObjectPropertyImpl.getAnnotations(OWLOntology ontology)
|
java.util.Set<OWLAnnotation> |
OWLIndividualImpl.getAnnotations(OWLOntology ontology)
|
java.util.Set<OWLAnnotation> |
OWLDataTypeImpl.getAnnotations(OWLOntology ontology)
|
java.util.Set<OWLAnnotation> |
OWLDataPropertyImpl.getAnnotations(OWLOntology ontology)
|
java.util.Set<OWLAnnotation> |
OWLClassImpl.getAnnotations(OWLOntology ontology)
|
java.util.Set<OWLAnnotation> |
OWLObjectPropertyImpl.getAnnotations(OWLOntology ontology,
java.net.URI annotationURI)
|
java.util.Set<OWLAnnotation> |
OWLIndividualImpl.getAnnotations(OWLOntology ontology,
java.net.URI annotationURI)
|
java.util.Set<OWLAnnotation> |
OWLDataTypeImpl.getAnnotations(OWLOntology ontology,
java.net.URI annotationURI)
|
java.util.Set<OWLAnnotation> |
OWLDataPropertyImpl.getAnnotations(OWLOntology ontology,
java.net.URI annotationURI)
|
java.util.Set<OWLAnnotation> |
OWLClassImpl.getAnnotations(OWLOntology ontology,
java.net.URI annotationURI)
|
java.util.Map<OWLDataPropertyExpression,java.util.Set<OWLConstant>> |
OWLIndividualImpl.getDataPropertyValues(OWLOntology ontology)
|
java.util.Set<OWLIndividual> |
OWLIndividualImpl.getDifferentIndividuals(OWLOntology ontology)
|
java.util.Set<OWLDescription> |
OWLClassImpl.getDisjointClasses(OWLOntology ontology)
|
java.util.Set<OWLDisjointClassesAxiom> |
OWLClassImpl.getDisjointClassesAxioms(OWLOntology ontology)
|
java.util.Set<P> |
OWLPropertyExpressionImpl.getDisjointProperties(OWLOntology ontology)
|
java.util.Set<OWLDisjointUnionAxiom> |
OWLClassImpl.getDisjointUnionAxioms(OWLOntology ontology)
|
java.util.Set<OWLDescription> |
OWLPropertyExpressionImpl.getDomains(OWLOntology ontology)
|
java.util.Set<OWLEntityAnnotationAxiom> |
OWLDeclarationAxiomImpl.getEntityAnnotations(OWLOntology ontology)
|
java.util.Set<OWLDescription> |
OWLClassImpl.getEquivalentClasses(OWLOntology ontology)
|
java.util.Set<OWLEquivalentClassesAxiom> |
OWLClassImpl.getEquivalentClassesAxioms(OWLOntology ontology)
|
java.util.Set<P> |
OWLPropertyExpressionImpl.getEquivalentProperties(OWLOntology ontology)
|
java.util.Set<OWLOntology> |
OWLOntologyManagerImpl.getImports(OWLOntology ontology)
|
java.util.Set<OWLOntology> |
OWLOntologyManagerImpl.getImportsClosure(OWLOntology ontology)
|
java.util.Set<OWLDataPropertyAssertionAxiom> |
OWLIndividualImpl.getIndividualDataRelationshipAxioms(OWLOntology ontology)
|
java.util.Set<OWLNegativeDataPropertyAssertionAxiom> |
OWLIndividualImpl.getIndividualNotDataRelationshipAxioms(OWLOntology ontology)
|
java.util.Set<OWLNegativeObjectPropertyAssertionAxiom> |
OWLIndividualImpl.getIndividualNotObjectRelationshipAxioms(OWLOntology ontology)
|
java.util.Set<OWLObjectPropertyAssertionAxiom> |
OWLIndividualImpl.getIndividualObjectRelationshipAxioms(OWLOntology ontology)
|
java.util.Set<OWLIndividual> |
OWLClassImpl.getIndividuals(OWLOntology ontology)
|
java.util.Set<OWLClassAssertionAxiom> |
OWLIndividualImpl.getIndividualTypeAxioms(OWLOntology ontology)
|
java.util.Set<OWLObjectPropertyExpression> |
OWLObjectPropertyExpressionImpl.getInverses(OWLOntology ontology)
|
java.util.Map<OWLDataPropertyExpression,java.util.Set<OWLConstant>> |
OWLIndividualImpl.getNegativeDataPropertyValues(OWLOntology ontology)
|
java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLIndividual>> |
OWLIndividualImpl.getNegativeObjectPropertyValues(OWLOntology ontology)
|
java.util.Map<OWLProperty,java.util.Set<OWLObject>> |
OWLIndividualImpl.getNPropertyValues(OWLOntology ontology)
|
java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLIndividual>> |
OWLIndividualImpl.getObjectPropertyValues(OWLOntology ontology)
|
OWLOntologyFormat |
OWLOntologyManagerImpl.getOntologyFormat(OWLOntology ontology)
|
OWLImportsDeclaration |
OWLDataFactoryImpl.getOWLImportsDeclarationAxiom(OWLOntology subject,
java.net.URI importedOntologyURI)
|
OWLOntologyAnnotationAxiom |
OWLDataFactoryImpl.getOWLOntologyAnnotationAxiom(OWLOntology subject,
OWLAnnotation annotation)
|
java.net.URI |
OWLOntologyManagerImpl.getPhysicalURIForOntology(OWLOntology ontology)
|
java.util.Map<OWLProperty,java.util.Set<OWLObject>> |
OWLIndividualImpl.getPropertyValues(OWLOntology ontology)
|
java.util.Set<R> |
OWLPropertyExpressionImpl.getRanges(OWLOntology ontology)
|
java.util.Set<OWLIndividual> |
OWLIndividualImpl.getSameIndividuals(OWLOntology ontology)
|
java.util.List<OWLOntology> |
OWLOntologyManagerImpl.getSortedImportsClosure(OWLOntology ontology)
|
java.util.Set<OWLSubClassAxiom> |
OWLClassImpl.getSubClassAxioms(OWLOntology ontology)
|
java.util.Set<OWLDescription> |
OWLClassImpl.getSubClasses(OWLOntology ontology)
|
java.util.Set<P> |
OWLPropertyExpressionImpl.getSubProperties(OWLOntology ontology)
|
java.util.Set<OWLDescription> |
OWLClassImpl.getSuperClasses(OWLOntology ontology)
|
java.util.Set<P> |
OWLPropertyExpressionImpl.getSuperProperties(OWLOntology ontology)
|
java.util.Set<OWLDescription> |
OWLIndividualImpl.getTypes(OWLOntology ontology)
|
boolean |
OWLObjectPropertyExpressionImpl.isAntiSymmetric(OWLOntology ontology)
|
boolean |
OWLObjectPropertyExpressionImpl.isAsymmetric(OWLOntology ontology)
|
boolean |
OWLClassImpl.isDefined(OWLOntology ontology)
Determines if this class has at least one equivalent class in the specified ontology. |
boolean |
OWLObjectPropertyExpressionImpl.isFunctional(OWLOntology ontology)
|
boolean |
OWLDataPropertyImpl.isFunctional(OWLOntology ontology)
|
boolean |
OWLObjectPropertyExpressionImpl.isInverseFunctional(OWLOntology ontology)
|
boolean |
OWLObjectPropertyExpressionImpl.isIrreflexive(OWLOntology ontology)
|
boolean |
OWLObjectPropertyExpressionImpl.isReflexive(OWLOntology ontology)
|
boolean |
OWLObjectPropertyExpressionImpl.isSymmetric(OWLOntology ontology)
|
boolean |
OWLObjectPropertyExpressionImpl.isTransitive(OWLOntology ontology)
|
void |
OWLOntologyManagerImpl.ontologyCreated(OWLOntology ontology)
|
void |
OWLOntologyManagerImpl.saveOntology(OWLOntology ontology)
|
void |
OWLOntologyManagerImpl.saveOntology(OWLOntology ontology,
OWLOntologyFormat ontologyFormat)
|
void |
OWLOntologyManagerImpl.saveOntology(OWLOntology ontology,
OWLOntologyFormat ontologyFormat,
OWLOntologyOutputTarget outputTarget)
|
void |
OWLOntologyManagerImpl.saveOntology(OWLOntology ontology,
OWLOntologyFormat ontologyFormat,
java.net.URI physcialURI)
|
void |
OWLOntologyManagerImpl.saveOntology(OWLOntology ontology,
OWLOntologyOutputTarget outputTarget)
|
void |
OWLOntologyManagerImpl.saveOntology(OWLOntology ontology,
java.net.URI physicalURI)
|
void |
OWLOntologyManagerImpl.setOntologyFormat(OWLOntology ontology,
OWLOntologyFormat format)
|
void |
OWLOntologyManagerImpl.setPhysicalURIForOntology(OWLOntology ontology,
java.net.URI physicalURI)
|
| Method parameters in uk.ac.manchester.cs.owl with type arguments of type OWLOntology | |
|---|---|
OWLOntology |
OWLOntologyManagerImpl.createOntology(java.net.URI ontologyURI,
java.util.Set<OWLOntology> ontologies)
|
OWLOntology |
OWLOntologyManagerImpl.createOntology(java.net.URI ontologyURI,
java.util.Set<OWLOntology> ontologies,
boolean copyLogicalAxiomsOnly)
|
static java.util.Set<OWLAnnotationAxiom> |
ImplUtils.getAnnotationAxioms(OWLEntity entity,
java.util.Set<OWLOntology> ontologies)
|
static java.util.Set<OWLAnnotation> |
ImplUtils.getAnnotations(OWLEntity entity,
java.util.Set<OWLOntology> ontologies)
|
static java.util.Set<OWLAnnotation> |
ImplUtils.getAnnotations(OWLEntity entity,
java.net.URI annotationURI,
java.util.Set<OWLOntology> ontologies)
|
java.util.Set<OWLDescription> |
OWLClassImpl.getDisjointClasses(java.util.Set<OWLOntology> ontologies)
|
java.util.Set<P> |
OWLPropertyExpressionImpl.getDisjointProperties(java.util.Set<OWLOntology> ontologies)
|
java.util.Set<OWLDescription> |
OWLPropertyExpressionImpl.getDomains(java.util.Set<OWLOntology> ontologies)
|
java.util.Set<OWLDescription> |
OWLClassImpl.getEquivalentClasses(java.util.Set<OWLOntology> ontologies)
|
java.util.Set<P> |
OWLPropertyExpressionImpl.getEquivalentProperties(java.util.Set<OWLOntology> ontologies)
|
java.util.Set<OWLIndividual> |
OWLClassImpl.getIndividuals(java.util.Set<OWLOntology> ontologies)
|
java.util.Set<OWLObjectPropertyExpression> |
OWLObjectPropertyExpressionImpl.getInverses(java.util.Set<OWLOntology> ontologies)
|
java.util.Set<R> |
OWLPropertyExpressionImpl.getRanges(java.util.Set<OWLOntology> ontologies)
|
java.util.Set<OWLDescription> |
OWLClassImpl.getSubClasses(java.util.Set<OWLOntology> ontologies)
|
java.util.Set<P> |
OWLPropertyExpressionImpl.getSubProperties(java.util.Set<OWLOntology> ontologies)
|
java.util.Set<OWLDescription> |
OWLClassImpl.getSuperClasses(java.util.Set<OWLOntology> ontologies)
|
java.util.Set<P> |
OWLPropertyExpressionImpl.getSuperProperties(java.util.Set<OWLOntology> ontologies)
|
java.util.Set<OWLDescription> |
OWLIndividualImpl.getTypes(java.util.Set<OWLOntology> ontologies)
|
boolean |
OWLObjectPropertyExpressionImpl.isAntiSymmetric(java.util.Set<OWLOntology> ontologies)
|
boolean |
OWLObjectPropertyExpressionImpl.isAsymmetric(java.util.Set<OWLOntology> ontologies)
|
boolean |
OWLClassImpl.isDefined(java.util.Set<OWLOntology> ontologies)
|
boolean |
OWLObjectPropertyExpressionImpl.isFunctional(java.util.Set<OWLOntology> ontologies)
|
boolean |
OWLDataPropertyImpl.isFunctional(java.util.Set<OWLOntology> ontologies)
|
boolean |
OWLObjectPropertyExpressionImpl.isInverseFunctional(java.util.Set<OWLOntology> ontologies)
|
boolean |
OWLObjectPropertyExpressionImpl.isIrreflexive(java.util.Set<OWLOntology> ontologies)
|
boolean |
OWLObjectPropertyExpressionImpl.isReflexive(java.util.Set<OWLOntology> ontologies)
|
boolean |
OWLObjectPropertyExpressionImpl.isSymmetric(java.util.Set<OWLOntology> ontologies)
|
boolean |
OWLObjectPropertyExpressionImpl.isTransitive(java.util.Set<OWLOntology> ontologies)
|
| Constructors in uk.ac.manchester.cs.owl with parameters of type OWLOntology | |
|---|---|
OWLImportsDeclarationImpl(OWLDataFactory dataFactory,
OWLOntology subject,
java.net.URI importsURI)
|
|
OWLOntologyAnnotationAxiomImpl(OWLDataFactory dataFactory,
OWLOntology subject,
OWLAnnotation annotation)
|
|
| Uses of OWLOntology in uk.ac.manchester.cs.owl.dlsyntax |
|---|
| Methods in uk.ac.manchester.cs.owl.dlsyntax with parameters of type OWLOntology | |
|---|---|
void |
DLSyntaxObjectRenderer.visit(OWLOntology ontology)
|
| Uses of OWLOntology in uk.ac.manchester.cs.owl.inference.dig11 |
|---|
| Methods in uk.ac.manchester.cs.owl.inference.dig11 with parameters of type OWLOntology | |
|---|---|
boolean |
DIGReasoner.isConsistent(OWLOntology ontology)
|
void |
DIGRenderer.visit(OWLOntology ontology)
|
| Method parameters in uk.ac.manchester.cs.owl.inference.dig11 with type arguments of type OWLOntology | |
|---|---|
void |
DIGTranslatorImpl.translateToDIG(java.util.Set<OWLOntology> ontologies,
org.w3c.dom.Document doc,
org.w3c.dom.Element node)
|
void |
DIGTranslator.translateToDIG(java.util.Set<OWLOntology> ontologies,
org.w3c.dom.Document doc,
org.w3c.dom.Element node)
Translates a set of OWLOntology objects to DIG |
| Uses of OWLOntology in uk.ac.manchester.cs.owl.mansyntaxrenderer |
|---|
| Methods in uk.ac.manchester.cs.owl.mansyntaxrenderer with parameters of type OWLOntology | |
|---|---|
void |
ManchesterOWLSyntaxRenderer.render(OWLOntology ontology,
java.io.Writer writer)
|
void |
ManchesterOWLSyntaxObjectRenderer.visit(OWLOntology ontology)
|
| Constructors in uk.ac.manchester.cs.owl.mansyntaxrenderer with parameters of type OWLOntology | |
|---|---|
ManchesterOWLSyntaxFrameRenderer(OWLOntologyManager owlOntologyManager,
OWLOntology ontology,
java.io.Writer writer)
|
|
| Uses of OWLOntology in uk.ac.manchester.cs.owl.modularity |
|---|
| Methods in uk.ac.manchester.cs.owl.modularity that return OWLOntology | |
|---|---|
OWLOntology |
SyntacticLocalityModuleExtractor.extractAsOntology(java.util.Set<OWLEntity> signature,
java.net.URI uri)
Extracts a module from the associated ontology for a given signature and the associated module type, and returns the module as an ontology. |
| Constructors in uk.ac.manchester.cs.owl.modularity with parameters of type OWLOntology | |
|---|---|
SyntacticLocalityModuleExtractor(OWLOntologyManager man,
OWLOntology ont,
ModuleType moduleType)
Creates a new module extractor for a given ontology, its manager, and a specified type of locality. |
|
| Uses of OWLOntology in uk.ac.manchester.cs.owl.turtle.parser |
|---|
| Methods in uk.ac.manchester.cs.owl.turtle.parser with parameters of type OWLOntology | |
|---|---|
OWLOntologyFormat |
TurtleOntologyParser.parse(OWLOntologyInputSource inputSource,
OWLOntology ontology)
|
| Constructors in uk.ac.manchester.cs.owl.turtle.parser with parameters of type OWLOntology | |
|---|---|
OWLRDFConsumerAdapter(OWLOntologyManager owlOntologyManager,
OWLOntology ontology,
AnonymousNodeChecker checker)
|
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||