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 and 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 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.getAllSOSForInconsistentClass(OWLClassExpression cls)
Gets the all sos for inconsistent class.
|
Set<Set<OWLAxiom>> |
AbstractOWLDebugger.getAllSOSForInconsistentClass(OWLClassExpression cls) |
OWLOntology |
OWLDebugger.getOWLOntology() |
Set<OWLAxiom> |
OWLDebugger.getSOSForInconsistentClass(OWLClassExpression cls)
Gets the sOS for inconsistent class.
|
Set<OWLAxiom> |
BlackBoxOWLDebugger.getSOSForInconsistentClass(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.
|
Modifier and Type | Class and Description |
---|---|
class |
LatexRendererException
The Class LatexRendererException.
|
class |
LatexRendererIOException |
Modifier and Type | Class and Description |
---|---|
class |
ManchesterSyntaxStorerException |
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 |
OWLStorerNotFoundException |
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 | Class and Description |
---|---|
class |
OWLXMLOntologyStorageException
The Class OWLXMLOntologyStorageException.
|
Modifier and Type | Method and Description |
---|---|
abstract void |
OWLEntityCollectingOntologyChangeListener.ontologiesChanged()
Called when a set of changes have been applied.
|
void |
OWLEntityCollectingOntologyChangeListener.ontologiesChanged(List<? extends OWLOntologyChange> changes) |
Copyright © 2020 The University of Manchester. All rights reserved.