A B C D E F G H I L M N O P R S T U V

A

addAxiom(OWLAxiom) - Method in class org.semanticweb.owl.explanation.impl.blackbox.BlackBoxExplanationGenerator2

addAxiom(OWLAxiom) - Method in interface org.semanticweb.owl.explanation.impl.blackbox.hst.ExplanationGeneratorMediator

addChild(OWLAxiom, HittingSetTreeNode<E>) - Method in class org.semanticweb.owl.explanation.impl.blackbox.hst.HittingSetTreeNode

addChild(SETreeNode) - Method in class org.semanticweb.owl.explanation.impl.setree.SETreeNode

addClosedPath(Set<OWLAxiom>) - Method in class org.semanticweb.owl.explanation.impl.blackbox.hst.HittingSetTree

addExplanation(Explanation<E>) - Method in class org.semanticweb.owl.explanation.impl.blackbox.hst.HittingSetTree

addExploredPath(Set<OWLAxiom>) - Method in class org.semanticweb.owl.explanation.impl.blackbox.hst.HittingSetTree

addExtraAxioms(Set<OWLAxiom>) - Method in interface org.semanticweb.owl.explanation.impl.blackbox.AxiomAdditionHandler

addPosition(Integer) - Method in class org.semanticweb.owl.explanation.impl.util.Position

addPruningDifference(int) - Method in class org.semanticweb.owl.explanation.impl.blackbox.BlackBoxExplanationGenerator

Deprecated.

addSources(OWLAxiom, Set<OWLAxiom>) - Method in class org.semanticweb.owl.explanation.impl.laconic.OPlusGenerator

AllInOneExpansionStrategy - Class in org.semanticweb.owl.explanation.impl.blackbox

Author: Matthew Horridge
The University Of Manchester
Information Management Group
Date: 18-Sep-2008

An expansion strategy used for testing.

AllInOneExpansionStrategy() - Constructor for class org.semanticweb.owl.explanation.impl.blackbox.AllInOneExpansionStrategy

AxiomAdditionHandler - Interface in org.semanticweb.owl.explanation.impl.blackbox

Author: Matthew Horridge
The University of Manchester
Bio-Health Informatics Group
Date: 06/05/2011

AxiomTransformation - Interface in org.semanticweb.owl.explanation.impl.util

Author: Matthew Horridge
The University of Manchester
Bio-Health Informatics Group
Date: 23/04/2011

B

BaseDescriptionGenerator - Class in org.semanticweb.owl.explanation.impl.laconic

Author: Matthew Horridge
The University Of Manchester
Information Management Group
Date: 15-Sep-2008

BaseDescriptionGenerator(OWLDataFactory) - Constructor for class org.semanticweb.owl.explanation.impl.laconic.BaseDescriptionGenerator

BetaGenerator - Class in org.semanticweb.owl.explanation.impl.laconic

Author: Matthew Horridge
The University Of Manchester
Information Management Group
Date: 15-Sep-2008

BetaGenerator(OWLDataFactory) - Constructor for class org.semanticweb.owl.explanation.impl.laconic.BetaGenerator

BlackBoxExplanationGenerator<E> - Class in org.semanticweb.owl.explanation.impl.blackbox

Deprecated.

Use BlackBoxExplanationGenerator2

BlackBoxExplanationGenerator(Set<? extends OWLAxiom>, EntailmentCheckerFactory<E>, ExpansionStrategy, ContractionStrategy, ExplanationProgressMonitor<E>) - Constructor for class org.semanticweb.owl.explanation.impl.blackbox.BlackBoxExplanationGenerator

Deprecated.

Constructs a blackbox explanation generator.

BlackBoxExplanationGenerator2<E> - Class in org.semanticweb.owl.explanation.impl.blackbox

Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 18-Feb-2010

BlackBoxExplanationGenerator2(Set<? extends OWLAxiom>, EntailmentCheckerFactory<E>, ExpansionStrategy, ContractionStrategy, ExplanationProgressMonitor<E>) - Constructor for class org.semanticweb.owl.explanation.impl.blackbox.BlackBoxExplanationGenerator2

Constructs a blackbox explanation generator.

BlackBoxExplanationGeneratorFactory<E> - Class in org.semanticweb.owl.explanation.impl.blackbox.checker

Author: Matthew Horridge
The University Of Manchester
Information Management Group
Date: 03-Sep-2008

A factory that creates a black box explanation generator.

BlackBoxExplanationGeneratorFactory(Configuration<E>) - Constructor for class org.semanticweb.owl.explanation.impl.blackbox.checker.BlackBoxExplanationGeneratorFactory

BreadthFirstStrategy<E> - Class in org.semanticweb.owl.explanation.impl.blackbox.hst

Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 18-Feb-2010

BreadthFirstStrategy() - Constructor for class org.semanticweb.owl.explanation.impl.blackbox.hst.BreadthFirstStrategy

buildHittingSetTree(HittingSetTree<E>, int, ExplanationGeneratorMediator<E>, List<HittingSetTreeNode<E>>) - Method in class org.semanticweb.owl.explanation.impl.blackbox.hst.BreadthFirstStrategy

buildHittingSetTree(HittingSetTree<E>, int, ExplanationGeneratorMediator<E>, HittingSetTreeNode<E>) - Method in class org.semanticweb.owl.explanation.impl.blackbox.hst.DepthFirstStrategy

buildHittingSetTree(E, int, ExplanationGeneratorMediator<E>) - Method in class org.semanticweb.owl.explanation.impl.blackbox.hst.HittingSetTree

buildTree() - Method in class org.semanticweb.owl.explanation.impl.setree.SETreeBuilder

C

ClassExpressionPosition - Class in org.semanticweb.owl.explanation.impl.util

Author: Matthew Horridge
The University of Manchester
Bio-Health Informatics Group
Date: 14/02/2011

ClassExpressionPosition(OWLClassExpression, Position) - Constructor for class org.semanticweb.owl.explanation.impl.util.ClassExpressionPosition

compare(Explanation<E>, Explanation<E>) - Method in class org.semanticweb.owl.explanation.impl.blackbox.hst.ExplanationComparator

compare(OWLAxiom, OWLAxiom) - Method in class org.semanticweb.owl.explanation.impl.blackbox.hst.NodeAxiomsComparator

CompleteRootDerivedReasoner - Class in org.semanticweb.owl.explanation.impl.rootderived

Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 20-Oct-2009

CompleteRootDerivedReasoner(OWLOntologyManager, OWLReasoner, OWLReasonerFactory) - Constructor for class org.semanticweb.owl.explanation.impl.rootderived.CompleteRootDerivedReasoner

compute(OWLClassExpression) - Method in class org.semanticweb.owl.explanation.impl.laconic.BetaGenerator

computeBeta(OWLClassExpression) - Method in class org.semanticweb.owl.explanation.impl.laconic.BaseDescriptionGenerator

computeExplanation(E) - Method in class org.semanticweb.owl.explanation.impl.blackbox.BlackBoxExplanationGenerator

Deprecated.

Computes a single justification for an entailment.

computeExplanation(E) - Method in class org.semanticweb.owl.explanation.impl.blackbox.BlackBoxExplanationGenerator2

Computes a single justification for an entailment.

computeOPlus(Set<OWLAxiom>) - Method in class org.semanticweb.owl.explanation.impl.laconic.LaconicExplanationGenerator

computePreciseJusts(E, int) - Method in class org.semanticweb.owl.explanation.impl.laconic.LaconicExplanationGenerator

computePreciseJustsOptimised(E, int) - Method in class org.semanticweb.owl.explanation.impl.laconic.LaconicExplanationGenerator

computeTau(OWLClassExpression) - Method in class org.semanticweb.owl.explanation.impl.laconic.BaseDescriptionGenerator

Configuration<E> - Class in org.semanticweb.owl.explanation.impl.blackbox

Author: Matthew Horridge
The University Of Manchester
Information Management Group
Date: 03-Sep-2008

A configuration that describes how a black box explanation generator should be configured.

Configuration(EntailmentCheckerFactory<E>, ExpansionStrategy, ContractionStrategy) - Constructor for class org.semanticweb.owl.explanation.impl.blackbox.Configuration

Configuration(EntailmentCheckerFactory<E>, ExpansionStrategy, ContractionStrategy, ExplanationProgressMonitor<E>) - Constructor for class org.semanticweb.owl.explanation.impl.blackbox.Configuration

Configuration(EntailmentCheckerFactory<E>) - Constructor for class org.semanticweb.owl.explanation.impl.blackbox.Configuration

Configuration(EntailmentCheckerFactory<E>, ExplanationProgressMonitor<E>) - Constructor for class org.semanticweb.owl.explanation.impl.blackbox.Configuration

ConsistencyEntailmentChecker - Class in org.semanticweb.owl.explanation.impl.blackbox.checker

Author: Matthew Horridge
The University Of Manchester
Information Management Group
Date: 25-Sep-2008

ConsistencyEntailmentChecker(OWLReasonerFactory, long) - Constructor for class org.semanticweb.owl.explanation.impl.blackbox.checker.ConsistencyEntailmentChecker

ConsistencyEntailmentCheckerFactory - Class in org.semanticweb.owl.explanation.impl.blackbox.checker

Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 01-May-2009

ConsistencyEntailmentCheckerFactory(OWLReasonerFactory, long) - Constructor for class org.semanticweb.owl.explanation.impl.blackbox.checker.ConsistencyEntailmentCheckerFactory

ConsoleExplanationProgressMonitor<E> - Class in org.semanticweb.owl.explanation.api

Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 28-Nov-2008

ConsoleExplanationProgressMonitor() - Constructor for class org.semanticweb.owl.explanation.api.ConsoleExplanationProgressMonitor

constructTree(HittingSetTree<E>, int, ExplanationGeneratorMediator<E>) - Method in class org.semanticweb.owl.explanation.impl.blackbox.hst.BreadthFirstStrategy

constructTree(HittingSetTree<E>, int, ExplanationGeneratorMediator<E>) - Method in class org.semanticweb.owl.explanation.impl.blackbox.hst.DepthFirstStrategy

constructTree(HittingSetTree<E>, int, ExplanationGeneratorMediator<E>) - Method in interface org.semanticweb.owl.explanation.impl.blackbox.hst.HittingSetTreeConstructionStrategy

contains(OWLAxiom) - Method in class org.semanticweb.owl.explanation.api.Explanation

Determines whether this explanation contains a specific checker

containsClosedPath(Set<OWLAxiom>) - Method in class org.semanticweb.owl.explanation.impl.blackbox.hst.HittingSetTree

ContractionStrategy - Interface in org.semanticweb.owl.explanation.impl.blackbox

Author: Matthew Horridge
The University Of Manchester
Information Management Group
Date: 03-Sep-2008

Represents a method of contracting a set of axioms that support an entailment down to a minimal set of axioms that support the entailment.

createEntailementChecker(OWLAxiom) - Method in class org.semanticweb.owl.explanation.impl.blackbox.checker.ConsistencyEntailmentCheckerFactory

createEntailementChecker(OWLAxiom) - Method in class org.semanticweb.owl.explanation.impl.blackbox.checker.PatternBasedConsistencyEntailmentCheckerFactory

createEntailementChecker(OWLAxiom) - Method in class org.semanticweb.owl.explanation.impl.blackbox.checker.SatisfiabilityEntailmentCheckerFactory

createEntailementChecker(E) - Method in interface org.semanticweb.owl.explanation.impl.blackbox.EntailmentCheckerFactory

createEntailementChecker(OWLObjectPropertyExpression) - Method in class org.semanticweb.owl.explanation.impl.blackbox.nsp.NSPEntailmentCheckerFactory

createExplanationGenerator(OWLOntology) - Method in interface org.semanticweb.owl.explanation.api.ExplanationGeneratorFactory

Creates an explanation generator that draws source axioms for the explanation from an ontology and its imports closure.

createExplanationGenerator(OWLOntology, ExplanationProgressMonitor<E>) - Method in interface org.semanticweb.owl.explanation.api.ExplanationGeneratorFactory

Creates an explanation generator that draws source axioms for the explanation from an ontology and its imports closure.

createExplanationGenerator(Set<? extends OWLAxiom>) - Method in interface org.semanticweb.owl.explanation.api.ExplanationGeneratorFactory

Creates an explanation generator that generates explanations for entailments that hold over the specified set of axioms

createExplanationGenerator(Set<? extends OWLAxiom>, ExplanationProgressMonitor<E>) - Method in interface org.semanticweb.owl.explanation.api.ExplanationGeneratorFactory

Creates an explanation generator that generates explanations for entailments that hold over the specified set of axioms

createExplanationGenerator(OWLOntology) - Method in class org.semanticweb.owl.explanation.impl.blackbox.checker.BlackBoxExplanationGeneratorFactory

createExplanationGenerator(OWLOntology, ExplanationProgressMonitor<E>) - Method in class org.semanticweb.owl.explanation.impl.blackbox.checker.BlackBoxExplanationGeneratorFactory

createExplanationGenerator(Set<? extends OWLAxiom>) - Method in class org.semanticweb.owl.explanation.impl.blackbox.checker.BlackBoxExplanationGeneratorFactory

createExplanationGenerator(Set<? extends OWLAxiom>, ExplanationProgressMonitor<E>) - Method in class org.semanticweb.owl.explanation.impl.blackbox.checker.BlackBoxExplanationGeneratorFactory

createExplanationGenerator(OWLOntology) - Method in class org.semanticweb.owl.explanation.impl.blackbox.checker.InconsistentOntologyExplanationGeneratorFactory

createExplanationGenerator(OWLOntology, ExplanationProgressMonitor<OWLAxiom>) - Method in class org.semanticweb.owl.explanation.impl.blackbox.checker.InconsistentOntologyExplanationGeneratorFactory

createExplanationGenerator(Set<? extends OWLAxiom>) - Method in class org.semanticweb.owl.explanation.impl.blackbox.checker.InconsistentOntologyExplanationGeneratorFactory

createExplanationGenerator(Set<? extends OWLAxiom>, ExplanationProgressMonitor<OWLAxiom>) - Method in class org.semanticweb.owl.explanation.impl.blackbox.checker.InconsistentOntologyExplanationGeneratorFactory

createExplanationGenerator(OWLOntology) - Method in class org.semanticweb.owl.explanation.impl.laconic.LaconicExplanationGeneratorFactory

createExplanationGenerator(OWLOntology, ExplanationProgressMonitor<E>) - Method in class org.semanticweb.owl.explanation.impl.laconic.LaconicExplanationGeneratorFactory

createExplanationGenerator(Set<? extends OWLAxiom>) - Method in class org.semanticweb.owl.explanation.impl.laconic.LaconicExplanationGeneratorFactory

createExplanationGenerator(Set<? extends OWLAxiom>, ExplanationProgressMonitor<E>) - Method in class org.semanticweb.owl.explanation.impl.laconic.LaconicExplanationGeneratorFactory

createExplanationGeneratorFactory(OWLReasonerFactory) - Static method in class org.semanticweb.owl.explanation.api.ExplanationManager

Creates an explanation generator factory that will produce explanation generators that generate explanations as to why an checker is entailed by a set of axioms.

createExplanationGeneratorFactory(OWLReasonerFactory, ExplanationProgressMonitor<OWLAxiom>) - Static method in class org.semanticweb.owl.explanation.api.ExplanationManager

Creates an explanation generator factory that will produce explanation generators that generate explanations as to why an checker is entailed by a set of axioms.

createExplanationGeneratorFactory(EntailmentCheckerFactory<E>) - Static method in class org.semanticweb.owl.explanation.api.ExplanationManager

createLaconicExplanationGeneratorFactory(OWLReasonerFactory) - Static method in class org.semanticweb.owl.explanation.api.ExplanationManager

createLaconicExplanationGeneratorFactory(OWLReasonerFactory, ExplanationProgressMonitor<OWLAxiom>) - Static method in class org.semanticweb.owl.explanation.api.ExplanationManager

createLaconicExplanationGeneratorFactory(EntailmentCheckerFactory<E>) - Static method in class org.semanticweb.owl.explanation.api.ExplanationManager

D

DefaultBlackBoxConfiguration - Class in org.semanticweb.owl.explanation.impl.blackbox.checker

Author: Matthew Horridge
The University Of Manchester
Information Management Group
Date: 03-Sep-2008

A default black box configuration that uses an entailment checker that reduced entailment checking to satisfiability checking using an OWLReasoner.

DefaultBlackBoxConfiguration(OWLReasonerFactory) - Constructor for class org.semanticweb.owl.explanation.impl.blackbox.checker.DefaultBlackBoxConfiguration

DefaultBlackBoxConfiguration(OWLReasonerFactory, ExpansionStrategy, ContractionStrategy) - Constructor for class org.semanticweb.owl.explanation.impl.blackbox.checker.DefaultBlackBoxConfiguration

DeltaPlusTransformation - Class in org.semanticweb.owl.explanation.impl.util

Author: Matthew Horridge
The University of Manchester
Bio-Health Informatics Group
Date: 23/04/2011

DeltaPlusTransformation(OWLDataFactory, int, ModularityStrategy) - Constructor for class org.semanticweb.owl.explanation.impl.util.DeltaPlusTransformation

DeltaPlusTransformation(OWLDataFactory) - Constructor for class org.semanticweb.owl.explanation.impl.util.DeltaPlusTransformation

DeltaTransformation - Class in org.semanticweb.owl.explanation.impl.util

Author: Matthew Horridge
The University of Manchester
Bio-Health Informatics Group
Date: 14/02/2011

DeltaTransformation(OWLDataFactory) - Constructor for class org.semanticweb.owl.explanation.impl.util.DeltaTransformation

DeltaTransformationUnfolder - Class in org.semanticweb.owl.explanation.impl.util

Author: Matthew Horridge
The University of Manchester
Bio-Health Informatics Group
Date: 01/03/2011

DeltaTransformationUnfolder(OWLDataFactory) - Constructor for class org.semanticweb.owl.explanation.impl.util.DeltaTransformationUnfolder

DepthFirstStrategy<E> - Class in org.semanticweb.owl.explanation.impl.blackbox.hst

Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 18-Feb-2010

DepthFirstStrategy() - Constructor for class org.semanticweb.owl.explanation.impl.blackbox.hst.DepthFirstStrategy

DivideAndConquerContractionStrategy - Class in org.semanticweb.owl.explanation.impl.blackbox

Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 24-May-2009 This contraction strategy is based on Algorithm 2 presented in Baader and Suntisrivaraporn in "Debugging Snomed CT Using Axiom Pinpointing in the Description Logic EL+".

DivideAndConquerContractionStrategy() - Constructor for class org.semanticweb.owl.explanation.impl.blackbox.DivideAndConquerContractionStrategy

doExpansion(Set<OWLAxiom>, EntailmentChecker, ExplanationProgressMonitor<?>) - Method in class org.semanticweb.owl.explanation.impl.blackbox.AllInOneExpansionStrategy

doExpansion(Set<OWLAxiom>, EntailmentChecker, ExplanationProgressMonitor<?>) - Method in interface org.semanticweb.owl.explanation.impl.blackbox.ExpansionStrategy

Given an input set of axioms, returns a subset of axioms in which the entailment holds, or the empty set if the entailment does not hold in the input set.

doExpansion(Set<OWLAxiom>, EntailmentChecker, ExplanationProgressMonitor<?>) - Method in class org.semanticweb.owl.explanation.impl.blackbox.InconsistentOntologyClashExpansionStrategy

doExpansion(Set<OWLAxiom>, EntailmentChecker, ExplanationProgressMonitor<?>) - Method in class org.semanticweb.owl.explanation.impl.blackbox.InconsistentOntologyExpansionStrategy

doExpansion(Set<OWLAxiom>, EntailmentChecker, ExplanationProgressMonitor<?>) - Method in class org.semanticweb.owl.explanation.impl.blackbox.SimpleExpansionStrategy

doExpansion(Set<OWLAxiom>, EntailmentChecker, ExplanationProgressMonitor<?>) - Method in class org.semanticweb.owl.explanation.impl.blackbox.StructuralExpansionStrategy

doExpansion(Set<OWLAxiom>, EntailmentChecker, ExplanationProgressMonitor<?>) - Method in class org.semanticweb.owl.explanation.impl.blackbox.StructuralTypePriorityExpansionStrategy

doPruning(Set<OWLAxiom>, EntailmentChecker, ExplanationProgressMonitor<?>) - Method in interface org.semanticweb.owl.explanation.impl.blackbox.ContractionStrategy

doPruning(Set<OWLAxiom>, EntailmentChecker, ExplanationProgressMonitor<?>) - Method in class org.semanticweb.owl.explanation.impl.blackbox.DivideAndConquerContractionStrategy

doPruning(Set<OWLAxiom>, EntailmentChecker, ExplanationProgressMonitor<?>) - Method in class org.semanticweb.owl.explanation.impl.blackbox.DynamicSlidingWindowContractionStrategy

doPruning(Set<OWLAxiom>, EntailmentChecker, ExplanationProgressMonitor<?>) - Method in class org.semanticweb.owl.explanation.impl.blackbox.InconsistentOntologyContractionStrategy

doPruning(Set<OWLAxiom>, EntailmentChecker, ExplanationProgressMonitor<?>) - Method in class org.semanticweb.owl.explanation.impl.blackbox.ModularityContractionStrategy

doPruning(Set<OWLAxiom>, EntailmentChecker, ExplanationProgressMonitor<?>) - Method in class org.semanticweb.owl.explanation.impl.blackbox.OrderedAxiomWithWindowContractionStrategy

doPruning(Set<OWLAxiom>, EntailmentChecker, ExplanationProgressMonitor<?>) - Method in class org.semanticweb.owl.explanation.impl.blackbox.OrderedDivideAndConquerStrategy

doPruning(Set<OWLAxiom>, EntailmentChecker, ExplanationProgressMonitor<?>) - Method in class org.semanticweb.owl.explanation.impl.blackbox.SimpleContractionStrategy

doPruning(Set<OWLAxiom>, EntailmentChecker, ExplanationProgressMonitor<?>) - Method in class org.semanticweb.owl.explanation.impl.blackbox.SlidingWindowContractionStrategy

DynamicSlidingWindowContractionStrategy - Class in org.semanticweb.owl.explanation.impl.blackbox

Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 06-May-2009

DynamicSlidingWindowContractionStrategy() - Constructor for class org.semanticweb.owl.explanation.impl.blackbox.DynamicSlidingWindowContractionStrategy

E

ENTAILMENT_MARKER_IRI - Static variable in class org.semanticweb.owl.explanation.api.Explanation

EntailmentChecker<E> - Interface in org.semanticweb.owl.explanation.impl.blackbox

Author: Matthew Horridge
The University Of Manchester
Information Management Group
Date: 03-Sep-2008

An interface to an object that checks to see if an entailment holds in a particular set of axioms.

EntailmentCheckerFactory<E> - Interface in org.semanticweb.owl.explanation.impl.blackbox

Author: Matthew Horridge
The University Of Manchester
Information Management Group
Date: 03-Sep-2008

equals(Object) - Method in class org.semanticweb.owl.explanation.api.Explanation

equals(Object) - Method in class org.semanticweb.owl.explanation.impl.util.Position

ExpansionStrategy - Interface in org.semanticweb.owl.explanation.impl.blackbox

Author: Matthew Horridge
The University Of Manchester
Information Management Group
Date: 03-Sep-2008

Explanation<E> - Class in org.semanticweb.owl.explanation.api

Author: Matthew Horridge
The University Of Manchester
Information Management Group
Date: 03-Sep-2008

Represents an explanation for an entailment.

Explanation(E, Set<OWLAxiom>) - Constructor for class org.semanticweb.owl.explanation.api.Explanation

ExplanationComparator<E> - Class in org.semanticweb.owl.explanation.impl.blackbox.hst

Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 07-Mar-2010

ExplanationComparator(HittingSetTree<E>) - Constructor for class org.semanticweb.owl.explanation.impl.blackbox.hst.ExplanationComparator

ExplanationException - Exception in org.semanticweb.owl.explanation.api

Author: Matthew Horridge
The University Of Manchester
Information Management Group
Date: 03-Sep-2008

ExplanationException(Throwable) - Constructor for exception org.semanticweb.owl.explanation.api.ExplanationException

ExplanationException(String) - Constructor for exception org.semanticweb.owl.explanation.api.ExplanationException

ExplanationException(String, Throwable) - Constructor for exception org.semanticweb.owl.explanation.api.ExplanationException

ExplanationGenerator<E> - Interface in org.semanticweb.owl.explanation.api

Author: Matthew Horridge
The University Of Manchester
Information Management Group
Date: 03-Sep-2008

Represents a general purpose interface for obtaining explanations.

ExplanationGeneratorFactory<E> - Interface in org.semanticweb.owl.explanation.api

Author: Matthew Horridge
The University Of Manchester
Information Management Group
Date: 03-Sep-2008

An interface that describes a factory that can create an explanation generator.

ExplanationGeneratorInterruptedException - Exception in org.semanticweb.owl.explanation.api

Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 25-Mar-2010

ExplanationGeneratorInterruptedException() - Constructor for exception org.semanticweb.owl.explanation.api.ExplanationGeneratorInterruptedException

ExplanationGeneratorMediator<E> - Interface in org.semanticweb.owl.explanation.impl.blackbox.hst

Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 18-Feb-2010

ExplanationManager - Class in org.semanticweb.owl.explanation.api

Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 19-Nov-2008 An explanation utility class that creates the default explanation generators.

ExplanationManager() - Constructor for class org.semanticweb.owl.explanation.api.ExplanationManager

ExplanationProgressMonitor<E> - Interface in org.semanticweb.owl.explanation.api

Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 28-Nov-2008

ExplanationTelemetryWrapper - Class in org.semanticweb.owl.explanation.api

Author: Matthew Horridge
The University of Manchester
Bio-Health Informatics Group
Date: 26/01/2011

ExplanationTelemetryWrapper(Explanation<OWLAxiom>) - Constructor for class org.semanticweb.owl.explanation.api.ExplanationTelemetryWrapper

extract(List<OWLAxiom>, List<OWLAxiom>, EntailmentChecker, ExplanationProgressMonitor<?>) - Method in class org.semanticweb.owl.explanation.impl.blackbox.DivideAndConquerContractionStrategy

extractModule(Set<OWLAxiom>, EntailmentChecker<E>) - Method in class org.semanticweb.owl.explanation.impl.blackbox.BlackBoxExplanationGenerator

Deprecated.

extractModule(Set<OWLAxiom>, EntailmentChecker<E>) - Method in class org.semanticweb.owl.explanation.impl.blackbox.BlackBoxExplanationGenerator2

F

finish(HittingSetTree<E>) - Method in class org.semanticweb.owl.explanation.impl.blackbox.hst.BreadthFirstStrategy

finish(HittingSetTree<E>) - Method in class org.semanticweb.owl.explanation.impl.blackbox.hst.DepthFirstStrategy

foundExplanation(ExplanationGenerator<E>, Explanation<E>, Set<Explanation<E>>) - Method in class org.semanticweb.owl.explanation.api.ConsoleExplanationProgressMonitor

foundExplanation(ExplanationGenerator<E>, Explanation<E>, Set<Explanation<E>>) - Method in interface org.semanticweb.owl.explanation.api.ExplanationProgressMonitor

Called by explanation generators that support progress monitors.

foundExplanation(ExplanationGenerator<E>, Explanation<E>, Set<Explanation<E>>) - Method in class org.semanticweb.owl.explanation.api.NullExplanationProgressMonitor

foundExplanation(ExplanationGenerator<E>, Explanation<E>, Set<Explanation<E>>) - Method in class org.semanticweb.owl.explanation.impl.laconic.LaconicExplanationGenerator

G

generateExplanation(E) - Method in class org.semanticweb.owl.explanation.impl.blackbox.BlackBoxExplanationGenerator2

generateExplanation(E) - Method in interface org.semanticweb.owl.explanation.impl.blackbox.hst.ExplanationGeneratorMediator

getAxiom2SourceMap() - Method in class org.semanticweb.owl.explanation.impl.laconic.OPlusGenerator

getAxioms() - Method in class org.semanticweb.owl.explanation.api.Explanation

Gets the axioms (justification) that constitute this explanation.

getCheckerFactory() - Method in class org.semanticweb.owl.explanation.impl.blackbox.Configuration

getChildren() - Method in class org.semanticweb.owl.explanation.impl.blackbox.hst.HittingSetTreeNode

getChildren() - Method in class org.semanticweb.owl.explanation.impl.setree.SETreeNode

getClassExpression() - Method in class org.semanticweb.owl.explanation.impl.util.ClassExpressionPosition

getContractionStrategy() - Method in class org.semanticweb.owl.explanation.impl.blackbox.Configuration

getCounter() - Method in class org.semanticweb.owl.explanation.impl.blackbox.checker.ConsistencyEntailmentChecker

getCounter() - Method in class org.semanticweb.owl.explanation.impl.blackbox.checker.PatternBasedConsistencyEntailmentChecker

getCounter() - Method in class org.semanticweb.owl.explanation.impl.blackbox.checker.SatisfiabilityEntailmentChecker

getCounter() - Method in interface org.semanticweb.owl.explanation.impl.blackbox.EntailmentChecker

getCounter() - Method in class org.semanticweb.owl.explanation.impl.blackbox.nsp.NonSimplePropertyEntailmentChecker

getDataFactory() - Method in class org.semanticweb.owl.explanation.impl.laconic.BaseDescriptionGenerator

getDataLimit() - Method in class org.semanticweb.owl.explanation.impl.laconic.BaseDescriptionGenerator

getDataLimit() - Method in class org.semanticweb.owl.explanation.impl.laconic.BetaGenerator

getDataLimit() - Method in class org.semanticweb.owl.explanation.impl.laconic.TauGenerator

getDependentChildClasses(OWLClass) - Method in interface org.semanticweb.owl.explanation.api.RootDerivedReasoner

getDependentChildClasses(OWLClass) - Method in class org.semanticweb.owl.explanation.impl.rootderived.CompleteRootDerivedReasoner

getDependentChildClasses(OWLClass) - Method in class org.semanticweb.owl.explanation.impl.rootderived.StructuralRootDerivedReasoner

getDependentDescendantClasses(OWLClass) - Method in interface org.semanticweb.owl.explanation.api.RootDerivedReasoner

getDependentDescendantClasses(OWLClass) - Method in class org.semanticweb.owl.explanation.impl.rootderived.CompleteRootDerivedReasoner

getDependentDescendantClasses(OWLClass) - Method in class org.semanticweb.owl.explanation.impl.rootderived.StructuralRootDerivedReasoner

getDepth() - Method in class org.semanticweb.owl.explanation.impl.setree.SETreeNode

getElements() - Method in class org.semanticweb.owl.explanation.impl.setree.SETreeNode

getEmptyExplanation(E) - Static method in class org.semanticweb.owl.explanation.api.Explanation

getEntailingAxioms(Set<OWLAxiom>) - Method in class org.semanticweb.owl.explanation.impl.blackbox.checker.ConsistencyEntailmentChecker

getEntailingAxioms(Set<OWLAxiom>) - Method in class org.semanticweb.owl.explanation.impl.blackbox.checker.PatternBasedConsistencyEntailmentChecker

getEntailingAxioms(Set<OWLAxiom>) - Method in class org.semanticweb.owl.explanation.impl.blackbox.checker.SatisfiabilityEntailmentChecker

getEntailingAxioms(Set<OWLAxiom>) - Method in interface org.semanticweb.owl.explanation.impl.blackbox.EntailmentChecker

getEntailingAxioms(Set<OWLAxiom>) - Method in class org.semanticweb.owl.explanation.impl.blackbox.nsp.NonSimplePropertyEntailmentChecker

getEntailment() - Method in class org.semanticweb.owl.explanation.api.Explanation

Gets the entailment that the explanation is for

getEntailment() - Method in exception org.semanticweb.owl.explanation.api.NotEntailedException

Gets the object that represents the desired entailment which is in fact not entailed.

getEntailment() - Method in class org.semanticweb.owl.explanation.impl.blackbox.checker.ConsistencyEntailmentChecker

getEntailment() - Method in class org.semanticweb.owl.explanation.impl.blackbox.checker.PatternBasedConsistencyEntailmentChecker

getEntailment() - Method in class org.semanticweb.owl.explanation.impl.blackbox.checker.SatisfiabilityEntailmentChecker

getEntailment() - Method in interface org.semanticweb.owl.explanation.impl.blackbox.EntailmentChecker

getEntailment() - Method in class org.semanticweb.owl.explanation.impl.blackbox.nsp.NonSimplePropertyEntailmentChecker

getEntailmentSignature() - Method in class org.semanticweb.owl.explanation.impl.blackbox.checker.ConsistencyEntailmentChecker

getEntailmentSignature() - Method in class org.semanticweb.owl.explanation.impl.blackbox.checker.PatternBasedConsistencyEntailmentChecker

getEntailmentSignature() - Method in class org.semanticweb.owl.explanation.impl.blackbox.checker.SatisfiabilityEntailmentChecker

getEntailmentSignature() - Method in interface org.semanticweb.owl.explanation.impl.blackbox.EntailmentChecker

getEntailmentSignature() - Method in class org.semanticweb.owl.explanation.impl.blackbox.nsp.NonSimplePropertyEntailmentChecker

getExpansionStrategy() - Method in class org.semanticweb.owl.explanation.impl.blackbox.Configuration

getExplanation() - Method in class org.semanticweb.owl.explanation.impl.blackbox.hst.HittingSetTreeNode

getExplanations(E) - Method in interface org.semanticweb.owl.explanation.api.ExplanationGenerator

Gets explanations for an entailment.

getExplanations(E, int) - Method in interface org.semanticweb.owl.explanation.api.ExplanationGenerator

Gets explanations for an entailment, with limit on the number of explanations returned.

getExplanations(E) - Method in class org.semanticweb.owl.explanation.impl.blackbox.BlackBoxExplanationGenerator

Deprecated.

getExplanations(E, int) - Method in class org.semanticweb.owl.explanation.impl.blackbox.BlackBoxExplanationGenerator

Deprecated.

getExplanations(E) - Method in class org.semanticweb.owl.explanation.impl.blackbox.BlackBoxExplanationGenerator2

getExplanations(E, int) - Method in class org.semanticweb.owl.explanation.impl.blackbox.BlackBoxExplanationGenerator2

getExplanations() - Method in class org.semanticweb.owl.explanation.impl.blackbox.hst.HittingSetTree

getExplanations(E) - Method in class org.semanticweb.owl.explanation.impl.laconic.LaconicExplanationGenerator

getExplanations(E, int) - Method in class org.semanticweb.owl.explanation.impl.laconic.LaconicExplanationGenerator

getExplanations(OWLAxiom) - Method in class org.semanticweb.owl.explanation.impl.laconic.LaconicExplanationGeneratorBasedOnDeltaPlus

Gets explanations for an entailment.

getExplanations(OWLAxiom, int) - Method in class org.semanticweb.owl.explanation.impl.laconic.LaconicExplanationGeneratorBasedOnDeltaPlus

Gets explanations for an entailment, with limit on the number of explanations returned.

getExplanations(OWLAxiom) - Method in class org.semanticweb.owl.explanation.impl.laconic.LaconicExplanationGeneratorBasedOnIncrementalOPlusWithDeltaPlusFiltering

Gets explanations for an entailment.

getExplanations(OWLAxiom, int) - Method in class org.semanticweb.owl.explanation.impl.laconic.LaconicExplanationGeneratorBasedOnIncrementalOPlusWithDeltaPlusFiltering

Gets explanations for an entailment, with limit on the number of explanations returned.

getExplanations(OWLAxiom) - Method in class org.semanticweb.owl.explanation.impl.laconic.LaconicExplanationGeneratorBasedOnOPlus

Gets explanations for an entailment.

getExplanations(OWLAxiom, int) - Method in class org.semanticweb.owl.explanation.impl.laconic.LaconicExplanationGeneratorBasedOnOPlus

Gets explanations for an entailment, with limit on the number of explanations returned.

getExplanations(OWLAxiom) - Method in class org.semanticweb.owl.explanation.impl.laconic.LaconicExplanationGeneratorBasedOnOPlusWithDeltaPlusFiltering

Gets explanations for an entailment.

getExplanations(OWLAxiom, int) - Method in class org.semanticweb.owl.explanation.impl.laconic.LaconicExplanationGeneratorBasedOnOPlusWithDeltaPlusFiltering

Gets explanations for an entailment, with limit on the number of explanations returned.

getExplanations(OWLAxiom) - Method in class org.semanticweb.owl.explanation.impl.setree.SETreeExplanationGenerator

Gets explanations for an entailment.

getExplanations(OWLAxiom, int) - Method in class org.semanticweb.owl.explanation.impl.setree.SETreeExplanationGenerator

Gets explanations for an entailment, with limit on the number of explanations returned.

getExploredPaths() - Method in class org.semanticweb.owl.explanation.impl.blackbox.hst.HittingSetTree

getHst() - Method in class org.semanticweb.owl.explanation.impl.laconic.LaconicExplanationGenerator

getIndexOf(O) - Method in class org.semanticweb.owl.explanation.impl.setree.SETreeBuilder

getLastRegularJustifications() - Method in class org.semanticweb.owl.explanation.impl.laconic.LaconicExplanationGenerator

getLimit() - Method in class org.semanticweb.owl.explanation.impl.laconic.BaseDescriptionGenerator

getLimit() - Method in class org.semanticweb.owl.explanation.impl.laconic.BetaGenerator

getLimit() - Method in class org.semanticweb.owl.explanation.impl.laconic.TauGenerator

getMergedOntology() - Method in class org.semanticweb.owl.explanation.impl.rootderived.StructuralRootDerivedReasoner

getModalDepth(OWLAxiom) - Method in class org.semanticweb.owl.explanation.impl.util.DeltaTransformation

getModularisationTypeDescription() - Method in class org.semanticweb.owl.explanation.impl.blackbox.checker.ConsistencyEntailmentChecker

getModularisationTypeDescription() - Method in class org.semanticweb.owl.explanation.impl.blackbox.checker.PatternBasedConsistencyEntailmentChecker

getModularisationTypeDescription() - Method in class org.semanticweb.owl.explanation.impl.blackbox.checker.SatisfiabilityEntailmentChecker

getModularisationTypeDescription() - Method in interface org.semanticweb.owl.explanation.impl.blackbox.EntailmentChecker

getModularisationTypeDescription() - Method in class org.semanticweb.owl.explanation.impl.blackbox.nsp.NonSimplePropertyEntailmentChecker

getModule(Set<OWLAxiom>) - Method in class org.semanticweb.owl.explanation.impl.blackbox.checker.ConsistencyEntailmentChecker

getModule(Set<OWLAxiom>) - Method in class org.semanticweb.owl.explanation.impl.blackbox.checker.PatternBasedConsistencyEntailmentChecker

getModule(Set<OWLAxiom>) - Method in class org.semanticweb.owl.explanation.impl.blackbox.checker.SatisfiabilityEntailmentChecker

getModule(Set<OWLAxiom>) - Method in interface org.semanticweb.owl.explanation.impl.blackbox.EntailmentChecker

getModule(Set<OWLAxiom>) - Method in class org.semanticweb.owl.explanation.impl.blackbox.nsp.NonSimplePropertyEntailmentChecker

getModule(Set<OWLEntity>) - Method in class org.semanticweb.owl.explanation.modularity.OptimisedModuleExtractor

getNestedClassExpressions() - Method in class org.semanticweb.owl.explanation.api.Explanation

Gets the sub-concepts that appear in the axioms in this explanation

getNumberOfSteps() - Method in class org.semanticweb.owl.explanation.impl.blackbox.AllInOneExpansionStrategy

getNumberOfSteps() - Method in interface org.semanticweb.owl.explanation.impl.blackbox.ContractionStrategy

getNumberOfSteps() - Method in class org.semanticweb.owl.explanation.impl.blackbox.DivideAndConquerContractionStrategy

getNumberOfSteps() - Method in class org.semanticweb.owl.explanation.impl.blackbox.DynamicSlidingWindowContractionStrategy

getNumberOfSteps() - Method in interface org.semanticweb.owl.explanation.impl.blackbox.ExpansionStrategy

getNumberOfSteps() - Method in class org.semanticweb.owl.explanation.impl.blackbox.InconsistentOntologyClashExpansionStrategy

getNumberOfSteps() - Method in class org.semanticweb.owl.explanation.impl.blackbox.InconsistentOntologyExpansionStrategy

getNumberOfSteps() - Method in class org.semanticweb.owl.explanation.impl.blackbox.ModularityContractionStrategy

getNumberOfSteps() - Method in class org.semanticweb.owl.explanation.impl.blackbox.OrderedAxiomWithWindowContractionStrategy

getNumberOfSteps() - Method in class org.semanticweb.owl.explanation.impl.blackbox.OrderedDivideAndConquerStrategy

getNumberOfSteps() - Method in class org.semanticweb.owl.explanation.impl.blackbox.SimpleContractionStrategy

getNumberOfSteps() - Method in class org.semanticweb.owl.explanation.impl.blackbox.SimpleExpansionStrategy

getNumberOfSteps() - Method in class org.semanticweb.owl.explanation.impl.blackbox.SlidingWindowContractionStrategy

getNumberOfSteps() - Method in class org.semanticweb.owl.explanation.impl.blackbox.StructuralExpansionStrategy

getNumberOfSteps() - Method in class org.semanticweb.owl.explanation.impl.blackbox.StructuralTypePriorityExpansionStrategy

getParentEdgeLabel() - Method in class org.semanticweb.owl.explanation.impl.blackbox.hst.HittingSetTreeNode

getPathToRoot() - Method in class org.semanticweb.owl.explanation.impl.blackbox.hst.HittingSetTreeNode

getPosition() - Method in class org.semanticweb.owl.explanation.impl.util.ClassExpressionPosition

getPreferredSerialisedName() - Method in class org.semanticweb.owl.explanation.api.ExplanationTelemetryWrapper

getPreferredSerialisedName() - Method in class org.semanticweb.owl.explanation.impl.blackbox.hst.HittingSetTree

getProgressMonitor() - Method in class org.semanticweb.owl.explanation.impl.blackbox.hst.HittingSetTree

getPruningDifferences() - Method in class org.semanticweb.owl.explanation.impl.blackbox.BlackBoxExplanationGenerator

Deprecated.

getPruningDifferences() - Method in class org.semanticweb.owl.explanation.impl.laconic.LaconicExplanationGenerator

getReversePolarity() - Method in enum org.semanticweb.owl.explanation.impl.util.Polarity

getRoot() - Method in class org.semanticweb.owl.explanation.impl.blackbox.hst.HittingSetTree

getRootUnsatisfiableClasses() - Method in interface org.semanticweb.owl.explanation.api.RootDerivedReasoner

Gets the root unsatisfiable classes.

getRootUnsatisfiableClasses() - Method in class org.semanticweb.owl.explanation.impl.rootderived.CompleteRootDerivedReasoner

Gets the root unsatisfiable classes.

getRootUnsatisfiableClasses() - Method in class org.semanticweb.owl.explanation.impl.rootderived.StructuralRootDerivedReasoner

getSameSourceAxioms(OWLAxiom, Set<OWLAxiom>) - Method in class org.semanticweb.owl.explanation.impl.laconic.OPlusGenerator

Gets axioms that have the same source axioms as the specified axiom.

getSeedSignature() - Method in class org.semanticweb.owl.explanation.impl.blackbox.checker.ConsistencyEntailmentChecker

getSeedSignature() - Method in class org.semanticweb.owl.explanation.impl.blackbox.checker.PatternBasedConsistencyEntailmentChecker

getSeedSignature() - Method in class org.semanticweb.owl.explanation.impl.blackbox.checker.SatisfiabilityEntailmentChecker

getSeedSignature() - Method in interface org.semanticweb.owl.explanation.impl.blackbox.EntailmentChecker

getSeedSignature() - Method in class org.semanticweb.owl.explanation.impl.blackbox.nsp.NonSimplePropertyEntailmentChecker

getSimpleExplanations() - Method in class org.semanticweb.owl.explanation.impl.blackbox.PatternBasedEntailmentChecker

getSize() - Method in class org.semanticweb.owl.explanation.api.Explanation

Gets the size of this explanation

getSortedExplanations() - Method in class org.semanticweb.owl.explanation.impl.blackbox.hst.HittingSetTree

getSources(OWLAxiom) - Method in class org.semanticweb.owl.explanation.impl.laconic.OPlusGenerator

getType() - Method in exception org.semanticweb.owl.explanation.impl.blackbox.checker.SatisfiabilityEntailmentChecker.UnsupportedAxiomTypeException

getUnfolded(Set<OWLAxiom>, Set<OWLEntity>) - Method in class org.semanticweb.owl.explanation.impl.util.DeltaTransformationUnfolder

getWorkingAxioms() - Method in class org.semanticweb.owl.explanation.impl.blackbox.BlackBoxExplanationGenerator

Deprecated.

getWorkingAxioms() - Method in class org.semanticweb.owl.explanation.impl.blackbox.BlackBoxExplanationGenerator2

H

hashCode() - Method in class org.semanticweb.owl.explanation.api.Explanation

hashCode() - Method in class org.semanticweb.owl.explanation.impl.util.Position

hasMultipleSources(OWLAxiom) - Method in class org.semanticweb.owl.explanation.impl.laconic.OPlusGenerator

hasSameSource(OWLAxiom, OWLAxiom) - Method in class org.semanticweb.owl.explanation.impl.laconic.OPlusGenerator

HittingSetTree<E> - Class in org.semanticweb.owl.explanation.impl.blackbox.hst

Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 18-Feb-2010

HittingSetTree(HittingSetTreeConstructionStrategy<E>, ExplanationProgressMonitor<E>) - Constructor for class org.semanticweb.owl.explanation.impl.blackbox.hst.HittingSetTree

HittingSetTreeCharacteristicsTest - Class in org.semanticweb.owl.explanation.impl.blackbox.hst

Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 08-Mar-2010

HittingSetTreeCharacteristicsTest() - Constructor for class org.semanticweb.owl.explanation.impl.blackbox.hst.HittingSetTreeCharacteristicsTest

HittingSetTreeConstructionStrategy<E> - Interface in org.semanticweb.owl.explanation.impl.blackbox.hst

Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 18-Feb-2010

HittingSetTreeNode<E> - Class in org.semanticweb.owl.explanation.impl.blackbox.hst

Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 18-Feb-2010

HittingSetTreeNode(HittingSetTree<E>, OWLAxiom, HittingSetTreeNode<E>, Explanation<E>, boolean) - Constructor for class org.semanticweb.owl.explanation.impl.blackbox.hst.HittingSetTreeNode

HittingSetTreeNode(HittingSetTree<E>, Explanation<E>) - Constructor for class org.semanticweb.owl.explanation.impl.blackbox.hst.HittingSetTreeNode

HittingSetTreeNode(HittingSetTree<E>, OWLAxiom, HittingSetTreeNode<E>, boolean) - Constructor for class org.semanticweb.owl.explanation.impl.blackbox.hst.HittingSetTreeNode

I

InconsistentOntologyClashExpansionStrategy - Class in org.semanticweb.owl.explanation.impl.blackbox

Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 24-May-2009

InconsistentOntologyClashExpansionStrategy() - Constructor for class org.semanticweb.owl.explanation.impl.blackbox.InconsistentOntologyClashExpansionStrategy

InconsistentOntologyContractionStrategy - Class in org.semanticweb.owl.explanation.impl.blackbox

Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 01-May-2009

InconsistentOntologyContractionStrategy() - Constructor for class org.semanticweb.owl.explanation.impl.blackbox.InconsistentOntologyContractionStrategy

InconsistentOntologyExpansionStrategy - Class in org.semanticweb.owl.explanation.impl.blackbox

Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 01-May-2009

InconsistentOntologyExpansionStrategy() - Constructor for class org.semanticweb.owl.explanation.impl.blackbox.InconsistentOntologyExpansionStrategy

InconsistentOntologyExplanationGeneratorFactory - Class in org.semanticweb.owl.explanation.impl.blackbox.checker

Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 14-May-2009

InconsistentOntologyExplanationGeneratorFactory(OWLReasonerFactory, long) - Constructor for class org.semanticweb.owl.explanation.impl.blackbox.checker.InconsistentOntologyExplanationGeneratorFactory

incrementNumberOfNodesWithCallsToFindOne() - Method in class org.semanticweb.owl.explanation.impl.blackbox.hst.HittingSetTree

The number of calls to find one.

incrementNumberOfNodesWithReusedJustifications() - Method in class org.semanticweb.owl.explanation.impl.blackbox.hst.HittingSetTree

InitialEntailmentCheckStrategy - Enum in org.semanticweb.owl.explanation.impl.blackbox

Author: Matthew Horridge
The University of Manchester
Bio-Health Informatics Group
Date: 12/04/2011

isCancelled() - Method in class org.semanticweb.owl.explanation.api.ConsoleExplanationProgressMonitor

isCancelled() - Method in interface org.semanticweb.owl.explanation.api.ExplanationProgressMonitor

The explanation generator will periodically check to see if it should continue finding explanations by calling this method.

isCancelled() - Method in class org.semanticweb.owl.explanation.api.NullExplanationProgressMonitor

isCancelled() - Method in class org.semanticweb.owl.explanation.impl.laconic.LaconicExplanationGenerator

Determines if the process of finding laconic justifications is cancelled.

isEmpty() - Method in class org.semanticweb.owl.explanation.api.Explanation

Determines if this explanation is empty i.e.

isEmpty() - Method in class org.semanticweb.owl.explanation.impl.util.Position

isEntailed(Set<OWLAxiom>) - Method in class org.semanticweb.owl.explanation.impl.blackbox.checker.ConsistencyEntailmentChecker

isEntailed(Set<OWLAxiom>) - Method in class org.semanticweb.owl.explanation.impl.blackbox.checker.PatternBasedConsistencyEntailmentChecker

isEntailed(Set<OWLAxiom>) - Method in class org.semanticweb.owl.explanation.impl.blackbox.checker.SatisfiabilityEntailmentChecker

isEntailed(Set<OWLAxiom>) - Method in interface org.semanticweb.owl.explanation.impl.blackbox.EntailmentChecker

isEntailed(Set<OWLAxiom>) - Method in class org.semanticweb.owl.explanation.impl.blackbox.nsp.NonSimplePropertyEntailmentChecker

isJustificationEntailment() - Method in class org.semanticweb.owl.explanation.api.Explanation

Determines if the justification for the entailment is the entailment itself

isLaconic(Explanation<OWLAxiom>) - Method in class org.semanticweb.owl.explanation.impl.laconic.IsLaconicChecker

isLaconic(Explanation<E>) - Method in class org.semanticweb.owl.explanation.impl.laconic.LaconicExplanationGenerator

Checks to see if a justification for a given entailment is laconic.

IsLaconicChecker - Class in org.semanticweb.owl.explanation.impl.laconic

Author: Matthew Horridge
The University of Manchester
Bio-Health Informatics Group
Date: 02/04/2011

IsLaconicChecker(OWLDataFactory, EntailmentCheckerFactory<OWLAxiom>) - Constructor for class org.semanticweb.owl.explanation.impl.laconic.IsLaconicChecker

IsLaconicChecker(OWLDataFactory, EntailmentCheckerFactory<OWLAxiom>, LaconicCheckerMode) - Constructor for class org.semanticweb.owl.explanation.impl.laconic.IsLaconicChecker

isMaskingPresent(Explanation<OWLAxiom>) - Method in interface org.semanticweb.owl.explanation.impl.masking.MaskingDetector

isMaskingPresent(Explanation<OWLAxiom>) - Method in class org.semanticweb.owl.explanation.impl.masking.MaskingDetectorDeltaImpl

isNothing(OWLClassExpression) - Method in class org.semanticweb.owl.explanation.impl.laconic.BaseDescriptionGenerator

isNothing(OWLClassExpression) - Method in class org.semanticweb.owl.explanation.impl.laconic.OPlusGenerator

isPositive() - Method in enum org.semanticweb.owl.explanation.impl.util.Polarity

isReuse() - Method in class org.semanticweb.owl.explanation.impl.blackbox.hst.HittingSetTreeNode

isSerialisedAsXML() - Method in class org.semanticweb.owl.explanation.api.ExplanationTelemetryWrapper

isSerialisedAsXML() - Method in class org.semanticweb.owl.explanation.impl.blackbox.hst.HittingSetTree

isThing(OWLClassExpression) - Method in class org.semanticweb.owl.explanation.impl.laconic.BaseDescriptionGenerator

isThing(OWLClassExpression) - Method in class org.semanticweb.owl.explanation.impl.laconic.OPlusGenerator

isUseModularisation() - Method in class org.semanticweb.owl.explanation.impl.blackbox.checker.ConsistencyEntailmentChecker

isUseModularisation() - Method in class org.semanticweb.owl.explanation.impl.blackbox.checker.PatternBasedConsistencyEntailmentChecker

isUseModularisation() - Method in class org.semanticweb.owl.explanation.impl.blackbox.checker.SatisfiabilityEntailmentChecker

isUseModularisation() - Method in interface org.semanticweb.owl.explanation.impl.blackbox.EntailmentChecker

isUseModularisation() - Method in class org.semanticweb.owl.explanation.impl.blackbox.nsp.NonSimplePropertyEntailmentChecker

L

LaconicCheckerMode - Enum in org.semanticweb.owl.explanation.impl.laconic

Author: Matthew Horridge
The University of Manchester
Bio-Health Informatics Group
Date: 04/04/2011

LaconicExplanationGenerator<E> - Class in org.semanticweb.owl.explanation.impl.laconic

Author: Matthew Horridge
The University Of Manchester
Information Management Group
Date: 15-Sep-2008

LaconicExplanationGenerator(Set<? extends OWLAxiom>, ExplanationGeneratorFactory<E>, ExplanationProgressMonitor<E>) - Constructor for class org.semanticweb.owl.explanation.impl.laconic.LaconicExplanationGenerator

LaconicExplanationGeneratorBasedOnDeltaPlus - Class in org.semanticweb.owl.explanation.impl.laconic

Author: Matthew Horridge
The University of Manchester
Bio-Health Informatics Group
Date: 11/04/2011

LaconicExplanationGeneratorBasedOnDeltaPlus(Set<? extends OWLAxiom>, EntailmentCheckerFactory<OWLAxiom>, ExplanationGeneratorFactory<OWLAxiom>, ExplanationProgressMonitor<OWLAxiom>) - Constructor for class org.semanticweb.owl.explanation.impl.laconic.LaconicExplanationGeneratorBasedOnDeltaPlus

LaconicExplanationGeneratorBasedOnIncrementalOPlusWithDeltaPlusFiltering - Class in org.semanticweb.owl.explanation.impl.laconic

Author: Matthew Horridge
The University of Manchester
Bio-Health Informatics Group
Date: 06/05/2011

LaconicExplanationGeneratorBasedOnIncrementalOPlusWithDeltaPlusFiltering(Set<OWLAxiom>, EntailmentCheckerFactory<OWLAxiom>, ExplanationGeneratorFactory<OWLAxiom>, ExplanationProgressMonitor<OWLAxiom>) - Constructor for class org.semanticweb.owl.explanation.impl.laconic.LaconicExplanationGeneratorBasedOnIncrementalOPlusWithDeltaPlusFiltering

LaconicExplanationGeneratorBasedOnOPlus - Class in org.semanticweb.owl.explanation.impl.laconic

Author: Matthew Horridge
The University of Manchester
Bio-Health Informatics Group
Date: 23/04/2011

LaconicExplanationGeneratorBasedOnOPlus(Set<? extends OWLAxiom>, EntailmentCheckerFactory<OWLAxiom>, ExplanationGeneratorFactory<OWLAxiom>, ExplanationProgressMonitor<OWLAxiom>) - Constructor for class org.semanticweb.owl.explanation.impl.laconic.LaconicExplanationGeneratorBasedOnOPlus

LaconicExplanationGeneratorBasedOnOPlusWithDeltaPlusFiltering - Class in org.semanticweb.owl.explanation.impl.laconic

Author: Matthew Horridge
The University of Manchester
Bio-Health Informatics Group
Date: 26/04/2011

LaconicExplanationGeneratorBasedOnOPlusWithDeltaPlusFiltering(Set<? extends OWLAxiom>, EntailmentCheckerFactory<OWLAxiom>, ExplanationGeneratorFactory<OWLAxiom>, ExplanationProgressMonitor<OWLAxiom>, OPlusSplitting, ModularityTreatment) - Constructor for class org.semanticweb.owl.explanation.impl.laconic.LaconicExplanationGeneratorBasedOnOPlusWithDeltaPlusFiltering

LaconicExplanationGeneratorFactory<E> - Class in org.semanticweb.owl.explanation.impl.laconic

Author: Matthew Horridge
The University Of Manchester
Information Management Group
Date: 15-Sep-2008

LaconicExplanationGeneratorFactory(ExplanationGeneratorFactory<E>) - Constructor for class org.semanticweb.owl.explanation.impl.laconic.LaconicExplanationGeneratorFactory

LEVEL - Static variable in class org.semanticweb.owl.explanation.impl.blackbox.BlackBoxExplanationGenerator

Deprecated.

load(InputStream) - Static method in class org.semanticweb.owl.explanation.api.Explanation

Loads a previously stored explanation from the specified input stream

log(OWLAxiom, Set<OWLAxiom>) - Method in class org.semanticweb.owl.explanation.impl.laconic.OPlusGenerator

log(OWLAxiom) - Method in class org.semanticweb.owl.explanation.impl.laconic.OPlusGenerator

logger - Static variable in class org.semanticweb.owl.explanation.impl.blackbox.BlackBoxExplanationGenerator

Deprecated.

M

main(String[]) - Static method in class org.semanticweb.owl.explanation.impl.blackbox.hst.HittingSetTreeCharacteristicsTest

main(String[]) - Static method in class org.semanticweb.owl.explanation.impl.laconic.NestedIntersectionMaskingTestCase

main(String[]) - Static method in class org.semanticweb.owl.explanation.impl.laconic.NestedIntersectionTestCase

main(String[]) - Static method in class org.semanticweb.owl.explanation.impl.rootderived.CompleteRootDerivedReasoner

main(String[]) - Static method in class org.semanticweb.owl.explanation.impl.setree.SETreeBuilder

main(String[]) - Static method in class org.semanticweb.owl.explanation.impl.util.DeltaTransformation

MaskingDetector - Interface in org.semanticweb.owl.explanation.impl.masking

Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 28-Jan-2010

MaskingDetectorDeltaImpl - Class in org.semanticweb.owl.explanation.impl.masking

Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 28-Jan-2010

MaskingDetectorDeltaImpl(OWLOntologyManager, LaconicExplanationGeneratorFactory<OWLAxiom>, OWLReasonerFactory) - Constructor for class org.semanticweb.owl.explanation.impl.masking.MaskingDetectorDeltaImpl

ModularityContractionStrategy - Class in org.semanticweb.owl.explanation.impl.blackbox

Author: Matthew Horridge
The University Of Manchester
Information Management Group
Date: 25-Sep-2008

ModularityContractionStrategy() - Constructor for class org.semanticweb.owl.explanation.impl.blackbox.ModularityContractionStrategy

ModularityStrategy - Enum in org.semanticweb.owl.explanation.impl.util

Author: Matthew Horridge
The University of Manchester
Bio-Health Informatics Group
Date: 23/04/2011

ModularityTreatment - Enum in org.semanticweb.owl.explanation.impl.laconic

Author: Matthew Horridge
The University of Manchester
Bio-Health Informatics Group
Date: 25/04/2011

N

NestedIntersectionMaskingTestCase - Class in org.semanticweb.owl.explanation.impl.laconic

Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 28-Jan-2010

NestedIntersectionMaskingTestCase() - Constructor for class org.semanticweb.owl.explanation.impl.laconic.NestedIntersectionMaskingTestCase

NestedIntersectionTestCase - Class in org.semanticweb.owl.explanation.impl.laconic

Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 28-Jan-2010

NestedIntersectionTestCase() - Constructor for class org.semanticweb.owl.explanation.impl.laconic.NestedIntersectionTestCase

NodeAxiomsComparator<E> - Class in org.semanticweb.owl.explanation.impl.blackbox.hst

Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 07-Mar-2010

NodeAxiomsComparator(HittingSetTree<E>) - Constructor for class org.semanticweb.owl.explanation.impl.blackbox.hst.NodeAxiomsComparator

NonSimplePropertyConfiguration - Class in org.semanticweb.owl.explanation.impl.blackbox.nsp

Author: Matthew Horridge
The University Of Manchester
Information Management Group
Date: 03-Sep-2008

NonSimplePropertyConfiguration() - Constructor for class org.semanticweb.owl.explanation.impl.blackbox.nsp.NonSimplePropertyConfiguration

NonSimplePropertyConfiguration(ExpansionStrategy, ContractionStrategy) - Constructor for class org.semanticweb.owl.explanation.impl.blackbox.nsp.NonSimplePropertyConfiguration

NonSimplePropertyEntailmentChecker - Class in org.semanticweb.owl.explanation.impl.blackbox.nsp

Author: Matthew Horridge
The University Of Manchester
Information Management Group
Date: 03-Sep-2008

NonSimplePropertyEntailmentChecker(OWLObjectPropertyExpression) - Constructor for class org.semanticweb.owl.explanation.impl.blackbox.nsp.NonSimplePropertyEntailmentChecker

NotEntailedException - Exception in org.semanticweb.owl.explanation.api

Author: Matthew Horridge
The University Of Manchester
Information Management Group
Date: 03-Sep-2008

An explanation exception that describes the situation where an entailment does not hold in a set of source axioms.

NotEntailedException(Object) - Constructor for exception org.semanticweb.owl.explanation.api.NotEntailedException

NSPEntailmentCheckerFactory - Class in org.semanticweb.owl.explanation.impl.blackbox.nsp

Author: Matthew Horridge
The University Of Manchester
Information Management Group
Date: 03-Sep-2008

NSPEntailmentCheckerFactory() - Constructor for class org.semanticweb.owl.explanation.impl.blackbox.nsp.NSPEntailmentCheckerFactory

NullExplanationProgressMonitor<E> - Class in org.semanticweb.owl.explanation.api

Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 28-Nov-2008 A progress monitor that does nothing and specifies that the explanation generator should continue finding explanations.

NullExplanationProgressMonitor() - Constructor for class org.semanticweb.owl.explanation.api.NullExplanationProgressMonitor

O

OPlusGenerator - Class in org.semanticweb.owl.explanation.impl.laconic

Author: Matthew Horridge
The University Of Manchester
Information Management Group
Date: 15-Sep-2008

OPlusGenerator(OWLDataFactory, OPlusSplitting) - Constructor for class org.semanticweb.owl.explanation.impl.laconic.OPlusGenerator

OPlusSplitting - Enum in org.semanticweb.owl.explanation.impl.laconic

Author: Matthew Horridge
The University of Manchester
Bio-Health Informatics Group
Date: 24/04/2011

OptimisedModuleExtractor - Class in org.semanticweb.owl.explanation.modularity

Author: Matthew Horridge
Stanford University
Bio-Medical Informatics Research Group
Date: 19/06/2012

OptimisedModuleExtractor(OWLOntology) - Constructor for class org.semanticweb.owl.explanation.modularity.OptimisedModuleExtractor

OrderedAxiomWithWindowContractionStrategy - Class in org.semanticweb.owl.explanation.impl.blackbox

Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 27-Nov-2008

OrderedAxiomWithWindowContractionStrategy() - Constructor for class org.semanticweb.owl.explanation.impl.blackbox.OrderedAxiomWithWindowContractionStrategy

OrderedDivideAndConquerStrategy - Class in org.semanticweb.owl.explanation.impl.blackbox

Author: Matthew Horridge
The University of Manchester
Bio-Health Informatics Group
Date: 13/01/2011

OrderedDivideAndConquerStrategy() - Constructor for class org.semanticweb.owl.explanation.impl.blackbox.OrderedDivideAndConquerStrategy

org.semanticweb.owl.explanation.api - package org.semanticweb.owl.explanation.api

org.semanticweb.owl.explanation.impl.blackbox - package org.semanticweb.owl.explanation.impl.blackbox

org.semanticweb.owl.explanation.impl.blackbox.checker - package org.semanticweb.owl.explanation.impl.blackbox.checker

org.semanticweb.owl.explanation.impl.blackbox.hst - package org.semanticweb.owl.explanation.impl.blackbox.hst

org.semanticweb.owl.explanation.impl.blackbox.nsp - package org.semanticweb.owl.explanation.impl.blackbox.nsp

org.semanticweb.owl.explanation.impl.laconic - package org.semanticweb.owl.explanation.impl.laconic

org.semanticweb.owl.explanation.impl.masking - package org.semanticweb.owl.explanation.impl.masking

org.semanticweb.owl.explanation.impl.rootderived - package org.semanticweb.owl.explanation.impl.rootderived

org.semanticweb.owl.explanation.impl.setree - package org.semanticweb.owl.explanation.impl.setree

org.semanticweb.owl.explanation.impl.util - package org.semanticweb.owl.explanation.impl.util

org.semanticweb.owl.explanation.modularity - package org.semanticweb.owl.explanation.modularity

P

PatternBasedConsistencyEntailmentChecker - Class in org.semanticweb.owl.explanation.impl.blackbox.checker

Author: Matthew Horridge
Stanford University
Bio-Medical Informatics Research Group
Date: 14/08/2012

PatternBasedConsistencyEntailmentChecker(OWLReasonerFactory, long) - Constructor for class org.semanticweb.owl.explanation.impl.blackbox.checker.PatternBasedConsistencyEntailmentChecker

PatternBasedConsistencyEntailmentCheckerFactory - Class in org.semanticweb.owl.explanation.impl.blackbox.checker

Author: Matthew Horridge
Stanford University
Bio-Medical Informatics Research Group
Date: 14/08/2012

PatternBasedConsistencyEntailmentCheckerFactory(OWLReasonerFactory, long) - Constructor for class org.semanticweb.owl.explanation.impl.blackbox.checker.PatternBasedConsistencyEntailmentCheckerFactory

PatternBasedEntailmentChecker - Class in org.semanticweb.owl.explanation.impl.blackbox

Author: Matthew Horridge
The University of Manchester
Bio-Health Informatics Group
Date: 14/03/2011

PatternBasedEntailmentChecker(OWLAxiom, Set<OWLAxiom>) - Constructor for class org.semanticweb.owl.explanation.impl.blackbox.PatternBasedEntailmentChecker

Polarity - Enum in org.semanticweb.owl.explanation.impl.util

Author: Matthew Horridge
The University of Manchester
Bio-Health Informatics Group
Date: 02/04/2011

Position - Class in org.semanticweb.owl.explanation.impl.util

Author: Matthew Horridge
The University of Manchester
Bio-Health Informatics Group
Date: 14/02/2011

Position(Integer...) - Constructor for class org.semanticweb.owl.explanation.impl.util.Position

Position(List<Integer>, Integer) - Constructor for class org.semanticweb.owl.explanation.impl.util.Position

Position(Integer) - Constructor for class org.semanticweb.owl.explanation.impl.util.Position

Position() - Constructor for class org.semanticweb.owl.explanation.impl.util.Position

R

removeAxiom(OWLAxiom) - Method in class org.semanticweb.owl.explanation.impl.blackbox.BlackBoxExplanationGenerator2

removeAxiom(OWLAxiom) - Method in interface org.semanticweb.owl.explanation.impl.blackbox.hst.ExplanationGeneratorMediator

removeCurrentPath(Set<OWLAxiom>) - Method in class org.semanticweb.owl.explanation.impl.blackbox.hst.HittingSetTree

reset() - Method in class org.semanticweb.owl.explanation.impl.laconic.OPlusGenerator

resetCounter() - Method in class org.semanticweb.owl.explanation.impl.blackbox.checker.ConsistencyEntailmentChecker

resetCounter() - Method in class org.semanticweb.owl.explanation.impl.blackbox.checker.PatternBasedConsistencyEntailmentChecker

resetCounter() - Method in class org.semanticweb.owl.explanation.impl.blackbox.checker.SatisfiabilityEntailmentChecker

resetCounter() - Method in interface org.semanticweb.owl.explanation.impl.blackbox.EntailmentChecker

resetCounter() - Method in class org.semanticweb.owl.explanation.impl.blackbox.nsp.NonSimplePropertyEntailmentChecker

RootDerivedReasoner - Interface in org.semanticweb.owl.explanation.api

Author: Matthew Horridge
The University Of Manchester
Information Management Group
Date: 07-Sep-2008

Allows the root unsatisfiable classes to be obtained for a set of ontologies.

S

SatisfiabilityEntailmentChecker - Class in org.semanticweb.owl.explanation.impl.blackbox.checker

Author: Matthew Horridge
The University Of Manchester
Information Management Group
Date: 03-Sep-2008

SatisfiabilityEntailmentChecker(OWLReasonerFactory, OWLAxiom) - Constructor for class org.semanticweb.owl.explanation.impl.blackbox.checker.SatisfiabilityEntailmentChecker

SatisfiabilityEntailmentChecker(OWLReasonerFactory, OWLAxiom, boolean, long) - Constructor for class org.semanticweb.owl.explanation.impl.blackbox.checker.SatisfiabilityEntailmentChecker

SatisfiabilityEntailmentChecker.UnsupportedAxiomTypeException - Exception in org.semanticweb.owl.explanation.impl.blackbox.checker

SatisfiabilityEntailmentChecker.UnsupportedAxiomTypeException(OWLAxiom) - Constructor for exception org.semanticweb.owl.explanation.impl.blackbox.checker.SatisfiabilityEntailmentChecker.UnsupportedAxiomTypeException

SatisfiabilityEntailmentCheckerFactory - Class in org.semanticweb.owl.explanation.impl.blackbox.checker

Author: Matthew Horridge
The University Of Manchester
Information Management Group
Date: 03-Sep-2008

SatisfiabilityEntailmentCheckerFactory(OWLReasonerFactory) - Constructor for class org.semanticweb.owl.explanation.impl.blackbox.checker.SatisfiabilityEntailmentCheckerFactory

SatisfiabilityEntailmentCheckerFactory(OWLReasonerFactory, long) - Constructor for class org.semanticweb.owl.explanation.impl.blackbox.checker.SatisfiabilityEntailmentCheckerFactory

SatisfiabilityEntailmentCheckerFactory(OWLReasonerFactory, boolean) - Constructor for class org.semanticweb.owl.explanation.impl.blackbox.checker.SatisfiabilityEntailmentCheckerFactory

SatisfiabilityEntailmentCheckerFactory(OWLReasonerFactory, boolean, long) - Constructor for class org.semanticweb.owl.explanation.impl.blackbox.checker.SatisfiabilityEntailmentCheckerFactory

serialise(OutputStream) - Method in class org.semanticweb.owl.explanation.api.ExplanationTelemetryWrapper

serialise(OutputStream) - Method in class org.semanticweb.owl.explanation.impl.blackbox.hst.HittingSetTree

SETreeBuilder<O> - Class in org.semanticweb.owl.explanation.impl.setree

Author: Matthew Horridge
The University of Manchester
Bio-Health Informatics Group
Date: 19-Jul-2010

SETreeBuilder(List<O>) - Constructor for class org.semanticweb.owl.explanation.impl.setree.SETreeBuilder

SETreeExplanationGenerator - Class in org.semanticweb.owl.explanation.impl.setree

Author: Matthew Horridge
The University of Manchester
Bio-Health Informatics Group
Date: 19-Jul-2010

SETreeExplanationGenerator(OWLReasonerFactory, EntailmentCheckerFactory<OWLAxiom>, Set<? extends OWLAxiom>) - Constructor for class org.semanticweb.owl.explanation.impl.setree.SETreeExplanationGenerator

SETreeNode<O> - Class in org.semanticweb.owl.explanation.impl.setree

Author: Matthew Horridge
The University of Manchester
Bio-Health Informatics Group
Date: 19-Jul-2010

SETreeNode(List<O>) - Constructor for class org.semanticweb.owl.explanation.impl.setree.SETreeNode

SimpleContractionStrategy - Class in org.semanticweb.owl.explanation.impl.blackbox

Author: Matthew Horridge
The University Of Manchester
Information Management Group
Date: 03-Sep-2008

SimpleContractionStrategy() - Constructor for class org.semanticweb.owl.explanation.impl.blackbox.SimpleContractionStrategy

SimpleExpansionStrategy<E> - Class in org.semanticweb.owl.explanation.impl.blackbox

Author: Matthew Horridge
The University Of Manchester
Information Management Group
Date: 03-Sep-2008

A very simple (inefficient, so used mainly for testing purposes) expansion strategy.

SimpleExpansionStrategy() - Constructor for class org.semanticweb.owl.explanation.impl.blackbox.SimpleExpansionStrategy

SlidingWindowContractionStrategy - Class in org.semanticweb.owl.explanation.impl.blackbox

Author: Matthew Horridge
The University Of Manchester
Information Management Group
Date: 03-Sep-2008

A contraction strategy that uses a sliding window to improve performance.

SlidingWindowContractionStrategy() - Constructor for class org.semanticweb.owl.explanation.impl.blackbox.SlidingWindowContractionStrategy

SlidingWindowContractionStrategy(int) - Constructor for class org.semanticweb.owl.explanation.impl.blackbox.SlidingWindowContractionStrategy

SOURCE_AXIOM_IRI - Static variable in enum org.semanticweb.owl.explanation.impl.laconic.OPlusSplitting

start(HittingSetTree<E>) - Method in class org.semanticweb.owl.explanation.impl.blackbox.hst.BreadthFirstStrategy

start(HittingSetTree<E>) - Method in class org.semanticweb.owl.explanation.impl.blackbox.hst.DepthFirstStrategy

store(Explanation<OWLAxiom>, OutputStream) - Static method in class org.semanticweb.owl.explanation.api.Explanation

Stores the specified explanation to the specified output stream

StructuralExpansionStrategy - Class in org.semanticweb.owl.explanation.impl.blackbox

Author: Matthew Horridge
The University Of Manchester
Information Management Group
Date: 03-Sep-2008

StructuralExpansionStrategy() - Constructor for class org.semanticweb.owl.explanation.impl.blackbox.StructuralExpansionStrategy

StructuralRootDerivedReasoner - Class in org.semanticweb.owl.explanation.impl.rootderived

Author: Matthew Horridge
The University Of Manchester
Information Management Group
Date: 07-Sep-2008

StructuralRootDerivedReasoner(OWLOntologyManager, OWLReasoner, OWLReasonerFactory) - Constructor for class org.semanticweb.owl.explanation.impl.rootderived.StructuralRootDerivedReasoner

StructuralTypePriorityExpansionStrategy - Class in org.semanticweb.owl.explanation.impl.blackbox

Author: Matthew Horridge
The University Of Manchester
Information Management Group
Date: 16-Sep-2008

StructuralTypePriorityExpansionStrategy() - Constructor for class org.semanticweb.owl.explanation.impl.blackbox.StructuralTypePriorityExpansionStrategy

StructuralTypePriorityExpansionStrategy(InitialEntailmentCheckStrategy) - Constructor for class org.semanticweb.owl.explanation.impl.blackbox.StructuralTypePriorityExpansionStrategy

T

tarjan(OWLClass, int, Stack<OWLClass>, Map<OWLClass, Integer>, Map<OWLClass, Integer>, Set<Set<OWLClass>>, Set<OWLClass>, Set<OWLClass>) - Method in class org.semanticweb.owl.explanation.impl.rootderived.StructuralRootDerivedReasoner

TauGenerator - Class in org.semanticweb.owl.explanation.impl.laconic

Author: Matthew Horridge
The University Of Manchester
Information Management Group
Date: 15-Sep-2008

TauGenerator(OWLDataFactory) - Constructor for class org.semanticweb.owl.explanation.impl.laconic.TauGenerator

toString() - Method in class org.semanticweb.owl.explanation.api.Explanation

toString() - Method in class org.semanticweb.owl.explanation.impl.setree.SETreeNode

toString() - Method in class org.semanticweb.owl.explanation.impl.util.Position

transform(Set<OWLAxiom>) - Method in class org.semanticweb.owl.explanation.impl.laconic.OPlusGenerator

transform(Set<OWLAxiom>) - Method in interface org.semanticweb.owl.explanation.impl.util.AxiomTransformation

transform(Set<OWLAxiom>) - Method in class org.semanticweb.owl.explanation.impl.util.DeltaPlusTransformation

transform(Set<OWLAxiom>) - Method in class org.semanticweb.owl.explanation.impl.util.DeltaTransformation

TriviallyBottomChecker - Class in org.semanticweb.owl.explanation.impl.laconic

Author: Matthew Horridge
The University Of Manchester
Information Management Group
Date: 15-Sep-2008

TriviallyBottomChecker() - Constructor for class org.semanticweb.owl.explanation.impl.laconic.TriviallyBottomChecker

TriviallyTopChecker - Class in org.semanticweb.owl.explanation.impl.laconic

Author: Matthew Horridge
The University Of Manchester
Information Management Group
Date: 15-Sep-2008

TriviallyTopChecker() - Constructor for class org.semanticweb.owl.explanation.impl.laconic.TriviallyTopChecker

U

UnsupportedEntailmentException - Exception in org.semanticweb.owl.explanation.api

Author: Matthew Horridge
The University Of Manchester
Information Management Group
Date: 03-Sep-2008

UnsupportedEntailmentException(Throwable) - Constructor for exception org.semanticweb.owl.explanation.api.UnsupportedEntailmentException

UnsupportedEntailmentException(String) - Constructor for exception org.semanticweb.owl.explanation.api.UnsupportedEntailmentException

UnsupportedEntailmentException(String, Throwable) - Constructor for exception org.semanticweb.owl.explanation.api.UnsupportedEntailmentException

V

valueOf(String) - Static method in enum org.semanticweb.owl.explanation.impl.blackbox.InitialEntailmentCheckStrategy

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum org.semanticweb.owl.explanation.impl.laconic.LaconicCheckerMode

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum org.semanticweb.owl.explanation.impl.laconic.ModularityTreatment

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum org.semanticweb.owl.explanation.impl.laconic.OPlusSplitting

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum org.semanticweb.owl.explanation.impl.util.ModularityStrategy

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum org.semanticweb.owl.explanation.impl.util.Polarity

Returns the enum constant of this type with the specified name.

values() - Static method in enum org.semanticweb.owl.explanation.impl.blackbox.InitialEntailmentCheckStrategy

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum org.semanticweb.owl.explanation.impl.laconic.LaconicCheckerMode

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum org.semanticweb.owl.explanation.impl.laconic.ModularityTreatment

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum org.semanticweb.owl.explanation.impl.laconic.OPlusSplitting

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum org.semanticweb.owl.explanation.impl.util.ModularityStrategy

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum org.semanticweb.owl.explanation.impl.util.Polarity

Returns an array containing the constants of this enum type, in the order they are declared.

visit(OWLObjectIntersectionOf) - Method in class org.semanticweb.owl.explanation.impl.laconic.BaseDescriptionGenerator

visit(OWLObjectUnionOf) - Method in class org.semanticweb.owl.explanation.impl.laconic.BaseDescriptionGenerator

visit(OWLObjectSomeValuesFrom) - Method in class org.semanticweb.owl.explanation.impl.laconic.BaseDescriptionGenerator

visit(OWLObjectAllValuesFrom) - Method in class org.semanticweb.owl.explanation.impl.laconic.BaseDescriptionGenerator

visit(OWLObjectHasValue) - Method in class org.semanticweb.owl.explanation.impl.laconic.BaseDescriptionGenerator

visit(OWLObjectExactCardinality) - Method in class org.semanticweb.owl.explanation.impl.laconic.BaseDescriptionGenerator

visit(OWLObjectHasSelf) - Method in class org.semanticweb.owl.explanation.impl.laconic.BaseDescriptionGenerator

visit(OWLObjectOneOf) - Method in class org.semanticweb.owl.explanation.impl.laconic.BaseDescriptionGenerator

visit(OWLDataSomeValuesFrom) - Method in class org.semanticweb.owl.explanation.impl.laconic.BaseDescriptionGenerator

visit(OWLDataAllValuesFrom) - Method in class org.semanticweb.owl.explanation.impl.laconic.BaseDescriptionGenerator

visit(OWLDataHasValue) - Method in class org.semanticweb.owl.explanation.impl.laconic.BaseDescriptionGenerator

visit(OWLDataMinCardinality) - Method in class org.semanticweb.owl.explanation.impl.laconic.BaseDescriptionGenerator

visit(OWLDataExactCardinality) - Method in class org.semanticweb.owl.explanation.impl.laconic.BaseDescriptionGenerator

visit(OWLDataMaxCardinality) - Method in class org.semanticweb.owl.explanation.impl.laconic.BaseDescriptionGenerator

visit(OWLClass) - Method in class org.semanticweb.owl.explanation.impl.laconic.BetaGenerator

visit(OWLObjectComplementOf) - Method in class org.semanticweb.owl.explanation.impl.laconic.BetaGenerator

visit(OWLObjectMaxCardinality) - Method in class org.semanticweb.owl.explanation.impl.laconic.BetaGenerator

visit(OWLObjectExactCardinality) - Method in class org.semanticweb.owl.explanation.impl.laconic.BetaGenerator

visit(OWLObjectUnionOf) - Method in class org.semanticweb.owl.explanation.impl.laconic.BetaGenerator

visit(OWLObjectMinCardinality) - Method in class org.semanticweb.owl.explanation.impl.laconic.BetaGenerator

visit(OWLDataHasValue) - Method in class org.semanticweb.owl.explanation.impl.laconic.BetaGenerator

visit(OWLSubClassOfAxiom) - Method in class org.semanticweb.owl.explanation.impl.laconic.OPlusGenerator

visit(OWLNegativeObjectPropertyAssertionAxiom) - Method in class org.semanticweb.owl.explanation.impl.laconic.OPlusGenerator

visit(OWLAsymmetricObjectPropertyAxiom) - Method in class org.semanticweb.owl.explanation.impl.laconic.OPlusGenerator

visit(OWLReflexiveObjectPropertyAxiom) - Method in class org.semanticweb.owl.explanation.impl.laconic.OPlusGenerator

visit(OWLDisjointClassesAxiom) - Method in class org.semanticweb.owl.explanation.impl.laconic.OPlusGenerator

visit(OWLDataPropertyDomainAxiom) - Method in class org.semanticweb.owl.explanation.impl.laconic.OPlusGenerator

visit(OWLObjectPropertyDomainAxiom) - Method in class org.semanticweb.owl.explanation.impl.laconic.OPlusGenerator

visit(OWLEquivalentObjectPropertiesAxiom) - Method in class org.semanticweb.owl.explanation.impl.laconic.OPlusGenerator

visit(OWLNegativeDataPropertyAssertionAxiom) - Method in class org.semanticweb.owl.explanation.impl.laconic.OPlusGenerator

visit(OWLDifferentIndividualsAxiom) - Method in class org.semanticweb.owl.explanation.impl.laconic.OPlusGenerator

visit(OWLDisjointDataPropertiesAxiom) - Method in class org.semanticweb.owl.explanation.impl.laconic.OPlusGenerator

visit(OWLDisjointObjectPropertiesAxiom) - Method in class org.semanticweb.owl.explanation.impl.laconic.OPlusGenerator

visit(OWLHasKeyAxiom) - Method in class org.semanticweb.owl.explanation.impl.laconic.OPlusGenerator

visit(OWLSubAnnotationPropertyOfAxiom) - Method in class org.semanticweb.owl.explanation.impl.laconic.OPlusGenerator

visit(OWLAnnotationPropertyDomainAxiom) - Method in class org.semanticweb.owl.explanation.impl.laconic.OPlusGenerator

visit(OWLAnnotationPropertyRangeAxiom) - Method in class org.semanticweb.owl.explanation.impl.laconic.OPlusGenerator

visit(OWLObjectPropertyRangeAxiom) - Method in class org.semanticweb.owl.explanation.impl.laconic.OPlusGenerator

visit(OWLObjectPropertyAssertionAxiom) - Method in class org.semanticweb.owl.explanation.impl.laconic.OPlusGenerator

visit(OWLFunctionalObjectPropertyAxiom) - Method in class org.semanticweb.owl.explanation.impl.laconic.OPlusGenerator

visit(OWLSubObjectPropertyOfAxiom) - Method in class org.semanticweb.owl.explanation.impl.laconic.OPlusGenerator

visit(OWLDisjointUnionAxiom) - Method in class org.semanticweb.owl.explanation.impl.laconic.OPlusGenerator

visit(OWLDeclarationAxiom) - Method in class org.semanticweb.owl.explanation.impl.laconic.OPlusGenerator

visit(OWLAnnotationAssertionAxiom) - Method in class org.semanticweb.owl.explanation.impl.laconic.OPlusGenerator

visit(OWLSymmetricObjectPropertyAxiom) - Method in class org.semanticweb.owl.explanation.impl.laconic.OPlusGenerator

visit(OWLDataPropertyRangeAxiom) - Method in class org.semanticweb.owl.explanation.impl.laconic.OPlusGenerator

visit(OWLFunctionalDataPropertyAxiom) - Method in class org.semanticweb.owl.explanation.impl.laconic.OPlusGenerator

visit(OWLEquivalentDataPropertiesAxiom) - Method in class org.semanticweb.owl.explanation.impl.laconic.OPlusGenerator

visit(OWLClassAssertionAxiom) - Method in class org.semanticweb.owl.explanation.impl.laconic.OPlusGenerator

visit(OWLEquivalentClassesAxiom) - Method in class org.semanticweb.owl.explanation.impl.laconic.OPlusGenerator

visit(OWLDataPropertyAssertionAxiom) - Method in class org.semanticweb.owl.explanation.impl.laconic.OPlusGenerator

visit(OWLTransitiveObjectPropertyAxiom) - Method in class org.semanticweb.owl.explanation.impl.laconic.OPlusGenerator

visit(OWLIrreflexiveObjectPropertyAxiom) - Method in class org.semanticweb.owl.explanation.impl.laconic.OPlusGenerator

visit(OWLSubDataPropertyOfAxiom) - Method in class org.semanticweb.owl.explanation.impl.laconic.OPlusGenerator

visit(OWLInverseFunctionalObjectPropertyAxiom) - Method in class org.semanticweb.owl.explanation.impl.laconic.OPlusGenerator

visit(OWLSameIndividualAxiom) - Method in class org.semanticweb.owl.explanation.impl.laconic.OPlusGenerator

visit(OWLSubPropertyChainOfAxiom) - Method in class org.semanticweb.owl.explanation.impl.laconic.OPlusGenerator

visit(OWLInverseObjectPropertiesAxiom) - Method in class org.semanticweb.owl.explanation.impl.laconic.OPlusGenerator

visit(OWLDatatypeDefinitionAxiom) - Method in class org.semanticweb.owl.explanation.impl.laconic.OPlusGenerator

visit(SWRLRule) - Method in class org.semanticweb.owl.explanation.impl.laconic.OPlusGenerator

visit(OWLClass) - Method in class org.semanticweb.owl.explanation.impl.laconic.TauGenerator

visit(OWLObjectComplementOf) - Method in class org.semanticweb.owl.explanation.impl.laconic.TauGenerator

visit(OWLObjectMaxCardinality) - Method in class org.semanticweb.owl.explanation.impl.laconic.TauGenerator

visit(OWLObjectMinCardinality) - Method in class org.semanticweb.owl.explanation.impl.laconic.TauGenerator

visit(OWLObjectUnionOf) - Method in class org.semanticweb.owl.explanation.impl.laconic.TauGenerator

visit(OWLClass) - Method in class org.semanticweb.owl.explanation.impl.laconic.TriviallyBottomChecker

visit(OWLObjectIntersectionOf) - Method in class org.semanticweb.owl.explanation.impl.laconic.TriviallyBottomChecker

visit(OWLObjectUnionOf) - Method in class org.semanticweb.owl.explanation.impl.laconic.TriviallyBottomChecker

visit(OWLObjectComplementOf) - Method in class org.semanticweb.owl.explanation.impl.laconic.TriviallyBottomChecker

visit(OWLObjectSomeValuesFrom) - Method in class org.semanticweb.owl.explanation.impl.laconic.TriviallyBottomChecker

visit(OWLObjectAllValuesFrom) - Method in class org.semanticweb.owl.explanation.impl.laconic.TriviallyBottomChecker

visit(OWLObjectHasValue) - Method in class org.semanticweb.owl.explanation.impl.laconic.TriviallyBottomChecker

visit(OWLObjectMinCardinality) - Method in class org.semanticweb.owl.explanation.impl.laconic.TriviallyBottomChecker

visit(OWLObjectExactCardinality) - Method in class org.semanticweb.owl.explanation.impl.laconic.TriviallyBottomChecker

visit(OWLObjectMaxCardinality) - Method in class org.semanticweb.owl.explanation.impl.laconic.TriviallyBottomChecker

visit(OWLObjectHasSelf) - Method in class org.semanticweb.owl.explanation.impl.laconic.TriviallyBottomChecker

visit(OWLObjectOneOf) - Method in class org.semanticweb.owl.explanation.impl.laconic.TriviallyBottomChecker

visit(OWLDataSomeValuesFrom) - Method in class org.semanticweb.owl.explanation.impl.laconic.TriviallyBottomChecker

visit(OWLDataAllValuesFrom) - Method in class org.semanticweb.owl.explanation.impl.laconic.TriviallyBottomChecker

visit(OWLDataHasValue) - Method in class org.semanticweb.owl.explanation.impl.laconic.TriviallyBottomChecker

visit(OWLDataMinCardinality) - Method in class org.semanticweb.owl.explanation.impl.laconic.TriviallyBottomChecker

visit(OWLDataExactCardinality) - Method in class org.semanticweb.owl.explanation.impl.laconic.TriviallyBottomChecker

visit(OWLDataMaxCardinality) - Method in class org.semanticweb.owl.explanation.impl.laconic.TriviallyBottomChecker

visit(OWLClass) - Method in class org.semanticweb.owl.explanation.impl.laconic.TriviallyTopChecker

visit(OWLObjectIntersectionOf) - Method in class org.semanticweb.owl.explanation.impl.laconic.TriviallyTopChecker

visit(OWLObjectUnionOf) - Method in class org.semanticweb.owl.explanation.impl.laconic.TriviallyTopChecker

visit(OWLObjectComplementOf) - Method in class org.semanticweb.owl.explanation.impl.laconic.TriviallyTopChecker

visit(OWLObjectSomeValuesFrom) - Method in class org.semanticweb.owl.explanation.impl.laconic.TriviallyTopChecker

visit(OWLObjectAllValuesFrom) - Method in class org.semanticweb.owl.explanation.impl.laconic.TriviallyTopChecker

visit(OWLObjectHasValue) - Method in class org.semanticweb.owl.explanation.impl.laconic.TriviallyTopChecker

visit(OWLObjectMinCardinality) - Method in class org.semanticweb.owl.explanation.impl.laconic.TriviallyTopChecker

visit(OWLObjectExactCardinality) - Method in class org.semanticweb.owl.explanation.impl.laconic.TriviallyTopChecker

visit(OWLObjectMaxCardinality) - Method in class org.semanticweb.owl.explanation.impl.laconic.TriviallyTopChecker

visit(OWLObjectHasSelf) - Method in class org.semanticweb.owl.explanation.impl.laconic.TriviallyTopChecker

visit(OWLObjectOneOf) - Method in class org.semanticweb.owl.explanation.impl.laconic.TriviallyTopChecker

visit(OWLDataSomeValuesFrom) - Method in class org.semanticweb.owl.explanation.impl.laconic.TriviallyTopChecker

visit(OWLDataAllValuesFrom) - Method in class org.semanticweb.owl.explanation.impl.laconic.TriviallyTopChecker

visit(OWLDataHasValue) - Method in class org.semanticweb.owl.explanation.impl.laconic.TriviallyTopChecker

visit(OWLDataMinCardinality) - Method in class org.semanticweb.owl.explanation.impl.laconic.TriviallyTopChecker

visit(OWLDataExactCardinality) - Method in class org.semanticweb.owl.explanation.impl.laconic.TriviallyTopChecker

visit(OWLDataMaxCardinality) - Method in class org.semanticweb.owl.explanation.impl.laconic.TriviallyTopChecker

A B C D E F G H I L M N O P R S T U V