Modifier and Type | Method and Description |
---|---|
void |
ExplanationRenderer.endRendering()
end of rendering.
|
void |
SilentExplanationRenderer.render(OWLAxiom axiom,
Set<Set<OWLAxiom>> explanations) |
void |
ExplanationRenderer.render(OWLAxiom axiom,
Set<Set<OWLAxiom>> explanations)
Render.
|
void |
ConciseExplanationRenderer.render(OWLAxiom axiom,
Set<Set<OWLAxiom>> explanations) |
void |
ExplanationRenderer.startRendering(Writer writer)
Start rendering.
|
Modifier and Type | Method and Description |
---|---|
void |
DefinitionTracker.ontologiesChanged(List<? extends OWLOntologyChange> changes) |
Modifier and Type | Class and Description |
---|---|
class |
LatexRendererException
The Class LatexRendererException.
|
class |
LatexRendererIOException |
Modifier and Type | Class and Description |
---|---|
class |
OWLXMLOntologyStorageException
The Class OWLXMLOntologyStorageException.
|
Modifier and Type | Method and Description |
---|---|
void |
AbstractOWLDebugger.constructHittingSetTree(Set<OWLAxiom> mups,
Set<Set<OWLAxiom>> allMups,
Set<Set<OWLAxiom>> satPaths,
Set<OWLAxiom> currentPathContents)
This is a recursive method that builds a hitting set tree to obtain all
justifications for an unsatisfiable class.
|
Set<Set<OWLAxiom>> |
OWLDebugger.getAllSOSForIncosistentClass(OWLClassExpression cls) |
Set<Set<OWLAxiom>> |
AbstractOWLDebugger.getAllSOSForIncosistentClass(OWLClassExpression cls) |
OWLOntology |
OWLDebugger.getOWLOntology() |
OWLOntology |
AbstractOWLDebugger.getOWLOntology() |
Set<OWLAxiom> |
OWLDebugger.getSOSForIncosistentClass(OWLClassExpression cls) |
Set<OWLAxiom> |
BlackBoxOWLDebugger.getSOSForIncosistentClass(OWLClassExpression cls) |
Modifier and Type | Class and Description |
---|---|
class |
OntologyIRIMappingNotFoundException |
class |
OWLOntologyCreationIOException
Indicates an
IOException happened during ontology creation. |
class |
OWLOntologyStorageIOException
An
OWLOntologyStorageException that was caused by an IOException. |
class |
OWLRendererException |
class |
OWLRendererIOException |
class |
UnparsableOntologyException
A class that describes how ontology parsing failed.
|
Modifier and Type | Method and Description |
---|---|
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 |
OWLRenderer.setOWLOntologyManager(OWLOntologyManager owlOntologyManager)
Deprecated.
the manager should not be set but accessed through the
ontology passed to render
|
Modifier and Type | Method and Description |
---|---|
void |
AbstractOWLMetric.ontologiesChanged(List<? extends OWLOntologyChange> changes) |
Modifier and Type | Class and Description |
---|---|
class |
OWLOntologyAlreadyExistsException
Indicates that an ontology with the given ontology IRI (and possible version
IRI) exists.
|
class |
OWLOntologyCreationException
An exception which describes an error during the creation of an ontology.
|
class |
OWLOntologyDocumentAlreadyExistsException
An exception that describes the situation where there was an attempt to
create or load an ontology where the corresponding ontology document IRI
already was already mapped to an ontology.
|
class |
OWLOntologyStorageException |
class |
OWLOntologyStorerNotFoundException |
class |
UnloadableImportException |
Modifier and Type | Method and Description |
---|---|
void |
SpecificOntologyChangeBroadcastStrategy.broadcastChanges(OWLOntologyChangeListener listener,
List<? extends OWLOntologyChange> changes) |
void |
OWLOntologyChangeBroadcastStrategy.broadcastChanges(OWLOntologyChangeListener listener,
List<? extends OWLOntologyChange> changes)
Broadcasts the list of changes to the specified listeners.
|
void |
EDTChangeBroadcastStrategy.broadcastChanges(OWLOntologyChangeListener listener,
List<? extends OWLOntologyChange> changes) |
void |
DefaultChangeBroadcastStrategy.broadcastChanges(OWLOntologyChangeListener listener,
List<? extends OWLOntologyChange> changes) |
void |
OWLOntologyChangeListener.ontologiesChanged(List<? extends OWLOntologyChange> changes)
Called when some changes have been applied to various ontologies.
|
Modifier and Type | Method and Description |
---|---|
boolean |
RootClassChecker.isRootClass(OWLClass cls)
Determines if the specified class is a direct syntactic subclass of
owl:Thing.
|
abstract void |
OWLEntityCollectingOntologyChangeListener.ontologiesChanged()
Called when a set of changes have been applied.
|
void |
OWLEntityCollectingOntologyChangeListener.ontologiesChanged(List<? extends OWLOntologyChange> changes) |
void |
FilteringOWLOntologyChangeListener.ontologiesChanged(List<? extends OWLOntologyChange> changes) |
Modifier and Type | Class and Description |
---|---|
class |
ManchesterOWLSyntaxOntologyStorerException |
Copyright © 2017 The University of Manchester. All Rights Reserved.