org.semanticweb.owl.explanation.impl.blackbox

Class Configuration<E>

java.lang.Object

org.semanticweb.owl.explanation.impl.blackbox.Configuration<E>

Direct Known Subclasses:

DefaultBlackBoxConfiguration, NonSimplePropertyConfiguration

public class Configuration<E>
extends Object

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. There are three main options: 1) The type of entailment checker that should be used, 2) The expansion strategy that should be used, 3) The contraction strategy that should be used

Constructor Summary

Constructors

Constructor and Description
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)

Method Summary

Methods

Modifier and Type	Method and Description
EntailmentCheckerFactory<E>	getCheckerFactory()
ContractionStrategy	getContractionStrategy()
ExpansionStrategy	getExpansionStrategy()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Configuration

public Configuration(EntailmentCheckerFactory<E> checkerFactory,
             ExpansionStrategy expansionStrategy,
             ContractionStrategy contractionStrategy)

Configuration

public Configuration(EntailmentCheckerFactory<E> checkerFactory,
             ExpansionStrategy expansionStrategy,
             ContractionStrategy contractionStrategy,
             ExplanationProgressMonitor<E> progressMonitor)

Configuration

public Configuration(EntailmentCheckerFactory<E> checkerFactory)

Configuration

public Configuration(EntailmentCheckerFactory<E> checkerFactory,
             ExplanationProgressMonitor<E> progressMonitor)

Method Detail

getCheckerFactory

public EntailmentCheckerFactory<E> getCheckerFactory()

getContractionStrategy

public ContractionStrategy getContractionStrategy()

getExpansionStrategy

public ExpansionStrategy getExpansionStrategy()