javadoc

.......\com

.......\...\clarkparsia

.......\...\...........\owlapi

.......\...\...........\......\explanation

.......\...\...........\......\...........\io

.......\...\...........\......\...........\util

.......\...\...........\......\modularity

.......\...\...........\......\..........\locality

.......\de

.......\..\uulm

.......\..\....\ecs

.......\..\....\...\ai

.......\..\....\...\..\owlapi

.......\..\....\...\..\......\krssparser

.......\..\....\...\..\......\krssrenderer

.......\doc-files

.......\org

.......\...\coode

.......\...\.....\owl

.......\...\.....\...\krssparser

.......\...\.....\owlapi

.......\...\.....\......\functionalparser

.......\...\.....\......\functionalrenderer

.......\...\.....\......\latex

.......\...\.....\......\manchesterowlsyntax

.......\...\.....\......\obo

.......\...\.....\......\...\parser

.......\...\.....\......\...\renderer

.......\...\.....\......\owlxml

.......\...\.....\......\......\renderer

.......\...\.....\......\owlxmlparser

.......\...\.....\......\rdf

.......\...\.....\......\...\model

.......\...\.....\......\...\rdfxml

.......\...\.....\......\...\renderer

.......\...\.....\......\rdfxml

.......\...\.....\......\......\parser

.......\...\.....\......\turtle

.......\...\.....\string

.......\...\.....\xml

.......\...\semanticweb

.......\...\...........\owlapi

.......\...\...........\......\apibinding

.......\...\...........\......\debugging

.......\...\...........\......\expression

.......\...\...........\......\io

.......\...\...........\......\metrics

.......\...\...........\......\model

.......\...\...........\......\modularity

.......\...\...........\......\normalform

.......\...\...........\......\profiles

.......\...\...........\......\rdf

.......\...\...........\......\...\syntax

.......\...\...........\......\...\util

.......\...\...........\......\reasoner

.......\...\...........\......\........\impl

.......\...\...........\......\........\structural

.......\...\...........\......\util

.......\...\...........\......\vocab

.......\resources

.......\uk

.......\..\ac

.......\..\..\manchester

.......\..\..\..........\cs

.......\..\..\..........\..\bhig

.......\..\..\..........\..\....\util

.......\..\..\..........\..\owl

.......\..\..\..........\..\...\explanation

.......\..\..\..........\..\...\...........\ordering

.......\..\..\..........\..\...\owlapi

.......\..\..\..........\..\...\......\mansyntaxrenderer

.......\..\..\..........\..\...\......\turtle

.......\..\..\..........\..\...\......\......\parser

.......\..\..\..........\..\owlapi

.......\..\..\..........\..\......\dlsyntax

.......\..\..\..........\..\......\........\parser

.......\..\..\..........\..\......\modularity

lib

COPYING.LESSER.txt

COPYING.txt

LICENSE.txt

build.xml

javadoc\allclasses-frame.html

.......\allclasses-noframe.html

.......\com\clarkparsia\owlapi\explanation\BlackBoxExplanation.html

.......\...\...........\......\...........\DefaultExplanationGenerator.html

.......\...\...........\......\...........\ExplanationGenerator.html

.......\...\...........\......\...........\HSTExplanationGenerator.html

.......\...\...........\......\...........\MultipleExplanationGenerator.html

.......\...\...........\......\...........\SatisfiabilityConverter.html

.......\...\...........\......\...........\SingleExplanationGenerator.html

.......\...\...........\......\...........\SingleExplanationGeneratorImpl.html

.......\...\...........\......\...........\TransactionAwareSingleExpGen.html

.......\...\...........\......\...........\io\ConciseExplanationRenderer.html

.......\...\...........\......\...........\..\ExplanationRenderer.html

.......\...\...........\......\...........\..\SilentExplanationRenderer.html

.......\...\...........\......\...........\..\package-frame.html

.......\...\...........\......\...........\..\package-summary.html

.......\...\...........\......\...........\..\package-tree.html