Package | Description |
---|---|
com.clarkparsia.owlapi.explanation.io |
Explanation renderers package
|
org.semanticweb.owlapi.debugging |
Debugging package
|
org.semanticweb.owlapi.io |
Ontology parsing and saving classes.
|
org.semanticweb.owlapi.latex.renderer |
LaTeX syntax renderer
|
org.semanticweb.owlapi.manchestersyntax.renderer | |
org.semanticweb.owlapi.model |
Main API classes.
|
org.semanticweb.owlapi.owlxml.renderer | |
org.semanticweb.owlapi.util |
Utilities package
|
Modifier and Type | Method | Description |
---|---|---|
void |
ExplanationRenderer.endRendering() |
end of rendering.
|
void |
ExplanationRenderer.render(OWLAxiom axiom,
Set<Set<OWLAxiom>> explanations) |
Render.
|
void |
ExplanationRenderer.startRendering(Writer writer) |
Start rendering.
|
Modifier and Type | Method | 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>> |
AbstractOWLDebugger.getAllSOSForInconsistentClass(OWLClassExpression cls) |
|
Set<Set<OWLAxiom>> |
OWLDebugger.getAllSOSForInconsistentClass(OWLClassExpression cls) |
Gets the all sos for incosistent class.
|
OWLOntology |
OWLDebugger.getOWLOntology() |
Gets the oWL ontology.
|
Set<OWLAxiom> |
BlackBoxOWLDebugger.getSOSForInconsistentClass(OWLClassExpression cls) |
|
Set<OWLAxiom> |
OWLDebugger.getSOSForInconsistentClass(OWLClassExpression cls) |
Gets the sOS for incosistent class.
|
Modifier and Type | Class | 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 | 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.
|
Modifier and Type | Class | Description |
---|---|---|
class |
LatexRendererException |
The Class LatexRendererException.
|
class |
LatexRendererIOException |
Modifier and Type | Class | Description |
---|---|---|
class |
ManchesterSyntaxStorerException |
Modifier and Type | Class | 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 |
OWLStorerNotFoundException |
Modifier and Type | Method | Description |
---|---|---|
void |
DefaultChangeBroadcastStrategy.broadcastChanges(OWLOntologyChangeListener listener,
List<? extends OWLOntologyChange> changes) |
|
void |
EDTChangeBroadcastStrategy.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 |
SpecificOntologyChangeBroadcastStrategy.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 | Class | Description |
---|---|---|
class |
OWLXMLOntologyStorageException |
The Class OWLXMLOntologyStorageException.
|
Modifier and Type | Method | Description |
---|---|---|
abstract void |
OWLEntityCollectingOntologyChangeListener.ontologiesChanged() |
Called when a set of changes have been applied.
|
void |
OWLEntityCollectingOntologyChangeListener.ontologiesChanged(List<? extends OWLOntologyChange> changes) |
Copyright © 2018 The University of Manchester. All rights reserved.