| Modifier and Type | Method and Description |
|---|---|
static <E> ExplanationGeneratorFactory<E> |
ExplanationManager.createExplanationGeneratorFactory(EntailmentCheckerFactory<E> entailmentCheckerFactory) |
static <E> ExplanationGeneratorFactory<E> |
ExplanationManager.createLaconicExplanationGeneratorFactory(EntailmentCheckerFactory<E> entailmentCheckerFactory) |
| Modifier and Type | Method and Description |
|---|---|
EntailmentCheckerFactory<E> |
Configuration.getCheckerFactory() |
| Constructor and Description |
|---|
BlackBoxExplanationGenerator(Set<? extends org.semanticweb.owlapi.model.OWLAxiom> axioms,
EntailmentCheckerFactory<E> checkerFactory,
ExpansionStrategy expansionStrategy,
ContractionStrategy contractionStrategy,
ExplanationProgressMonitor<E> progressMonitor)
Deprecated.
Constructs a blackbox explanation generator.
|
BlackBoxExplanationGenerator2(Set<? extends org.semanticweb.owlapi.model.OWLAxiom> axioms,
EntailmentCheckerFactory<E> checkerFactory,
ExpansionStrategy expansionStrategy,
ContractionStrategy contractionStrategy,
ExplanationProgressMonitor<E> progressMonitor)
Constructs a blackbox explanation generator.
|
Configuration(EntailmentCheckerFactory<E> checkerFactory) |
Configuration(EntailmentCheckerFactory<E> checkerFactory,
ExpansionStrategy expansionStrategy,
ContractionStrategy contractionStrategy) |
Configuration(EntailmentCheckerFactory<E> checkerFactory,
ExpansionStrategy expansionStrategy,
ContractionStrategy contractionStrategy,
ExplanationProgressMonitor<E> progressMonitor) |
Configuration(EntailmentCheckerFactory<E> checkerFactory,
ExplanationProgressMonitor<E> progressMonitor) |
| Modifier and Type | Class and Description |
|---|---|
class |
ConsistencyEntailmentCheckerFactory
Author: Matthew Horridge
The University of Manchester Information Management Group Date: 01-May-2009 |
class |
PatternBasedConsistencyEntailmentCheckerFactory
Author: Matthew Horridge
Stanford University Bio-Medical Informatics Research Group Date: 14/08/2012 |
class |
SatisfiabilityEntailmentCheckerFactory
Author: Matthew Horridge
The University Of Manchester Information Management Group Date: 03-Sep-2008 |
| Modifier and Type | Class and Description |
|---|---|
class |
NSPEntailmentCheckerFactory
Author: Matthew Horridge
The University Of Manchester Information Management Group Date: 03-Sep-2008 |
| Constructor and Description |
|---|
IsLaconicChecker(org.semanticweb.owlapi.model.OWLDataFactory dataFactory,
EntailmentCheckerFactory<org.semanticweb.owlapi.model.OWLAxiom> entailmentCheckerFactory) |
IsLaconicChecker(org.semanticweb.owlapi.model.OWLDataFactory dataFactory,
EntailmentCheckerFactory<org.semanticweb.owlapi.model.OWLAxiom> entailmentCheckerFactory,
LaconicCheckerMode checkerMode) |
LaconicExplanationGeneratorBasedOnDeltaPlus(Set<? extends org.semanticweb.owlapi.model.OWLAxiom> inputAxioms,
EntailmentCheckerFactory<org.semanticweb.owlapi.model.OWLAxiom> entailmentCheckerFactory,
ExplanationGeneratorFactory<org.semanticweb.owlapi.model.OWLAxiom> delegateFactory,
ExplanationProgressMonitor<org.semanticweb.owlapi.model.OWLAxiom> progressMonitor) |
LaconicExplanationGeneratorBasedOnIncrementalOPlusWithDeltaPlusFiltering(Set<org.semanticweb.owlapi.model.OWLAxiom> inputAxioms,
EntailmentCheckerFactory<org.semanticweb.owlapi.model.OWLAxiom> cf,
ExplanationGeneratorFactory<org.semanticweb.owlapi.model.OWLAxiom> delegate,
ExplanationProgressMonitor<org.semanticweb.owlapi.model.OWLAxiom> progressMonitor) |
LaconicExplanationGeneratorBasedOnOPlus(Set<? extends org.semanticweb.owlapi.model.OWLAxiom> inputAxioms,
EntailmentCheckerFactory<org.semanticweb.owlapi.model.OWLAxiom> entailmentCheckerFactory,
ExplanationGeneratorFactory<org.semanticweb.owlapi.model.OWLAxiom> delegateFactory,
ExplanationProgressMonitor<org.semanticweb.owlapi.model.OWLAxiom> progressMonitor) |
LaconicExplanationGeneratorBasedOnOPlusWithDeltaPlusFiltering(Set<? extends org.semanticweb.owlapi.model.OWLAxiom> inputAxioms,
EntailmentCheckerFactory<org.semanticweb.owlapi.model.OWLAxiom> entailmentCheckerFactory,
ExplanationGeneratorFactory<org.semanticweb.owlapi.model.OWLAxiom> delegateFactory,
ExplanationProgressMonitor<org.semanticweb.owlapi.model.OWLAxiom> progressMonitor,
OPlusSplitting spiltting,
ModularityTreatment inputType) |
| Constructor and Description |
|---|
SETreeExplanationGenerator(org.semanticweb.owlapi.reasoner.OWLReasonerFactory reasonerFactory,
EntailmentCheckerFactory<org.semanticweb.owlapi.model.OWLAxiom> entailmentCheckerFactory,
Set<? extends org.semanticweb.owlapi.model.OWLAxiom> workingAxioms) |
Copyright © 2014. All rights reserved.