org.semanticweb.elk.reasoner.saturation

Class SaturationUtils

java.lang.Object

org.semanticweb.elk.reasoner.saturation.SaturationUtils

public class SaturationUtils
extends Object

Utilities for common saturation tasks

Author:

Pavel Klinov pavel.klinov@uni-ulm.de

Field Summary

Fields

Modifier and Type	Field and Description
static boolean	COLLECT_CONCLUSION_COUNTS
static boolean	COLLECT_CONCLUSION_TIMES
static boolean	COLLECT_PROCESSING_TIMES
static boolean	COLLECT_RULE_COUNTS
static boolean	COLLECT_RULE_TIMES
protected static org.apache.log4j.Logger	LOGGER_

Constructor Summary

Constructors

Constructor and Description
SaturationUtils()

Method Summary

Methods

Modifier and Type	Method and Description
static ConclusionVisitor<?>	addStatsToConclusionVisitor(ConclusionStatistics localStatistics)
static ContextCreationListener	addStatsToContextCreationListener(ContextCreationListener listener, ContextStatistics contextStats)
static ContextModificationListener	addStatsToContextModificationListener(ContextModificationListener listener, ContextStatistics contextStats)
static ConclusionVisitor<?>	getProcessedConclusionCountingProcessor(ConclusionVisitor<Boolean> conclusionVisitor, SaturationStatistics localStatistics)
static RuleApplicationVisitor	getStatsAwareCompositionRuleAppVisitor(RuleStatistics localStatistics)
static DecompositionRuleApplicationVisitor	getStatsAwareDecompositionRuleAppVisitor(DecompositionRuleApplicationVisitor decompRuleAppVisitor, RuleStatistics localStatistics)
static ConclusionVisitor<Boolean>	getUsedConclusionCountingProcessor(ConclusionVisitor<Boolean> ruleProcessor, SaturationStatistics localStatistics)
static void	initContext(Context context, BasicSaturationStateWriter writer, OntologyIndex index, RuleApplicationVisitor ruleAppVisitor) Applies all initialization rules to the context

Methods inherited from class java.lang.Object

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

Field Detail

LOGGER_

protected static final org.apache.log4j.Logger LOGGER_

COLLECT_CONCLUSION_COUNTS

public static final boolean COLLECT_CONCLUSION_COUNTS

COLLECT_CONCLUSION_TIMES

public static final boolean COLLECT_CONCLUSION_TIMES

COLLECT_RULE_COUNTS

public static final boolean COLLECT_RULE_COUNTS

COLLECT_RULE_TIMES

public static final boolean COLLECT_RULE_TIMES

COLLECT_PROCESSING_TIMES

public static final boolean COLLECT_PROCESSING_TIMES

Constructor Detail

SaturationUtils

public SaturationUtils()

Method Detail

initContext

public static void initContext(Context context,
               BasicSaturationStateWriter writer,
               OntologyIndex index,
               RuleApplicationVisitor ruleAppVisitor)

Applies all initialization rules to the context

Parameters:

context -

writer -

index -

ruleAppVisitor -

getStatsAwareCompositionRuleAppVisitor

public static RuleApplicationVisitor getStatsAwareCompositionRuleAppVisitor(RuleStatistics localStatistics)

getStatsAwareDecompositionRuleAppVisitor

public static DecompositionRuleApplicationVisitor getStatsAwareDecompositionRuleAppVisitor(DecompositionRuleApplicationVisitor decompRuleAppVisitor,
                                                                           RuleStatistics localStatistics)

addStatsToConclusionVisitor

public static ConclusionVisitor<?> addStatsToConclusionVisitor(ConclusionStatistics localStatistics)

getUsedConclusionCountingProcessor

public static ConclusionVisitor<Boolean> getUsedConclusionCountingProcessor(ConclusionVisitor<Boolean> ruleProcessor,
                                                            SaturationStatistics localStatistics)

getProcessedConclusionCountingProcessor

public static ConclusionVisitor<?> getProcessedConclusionCountingProcessor(ConclusionVisitor<Boolean> conclusionVisitor,
                                                           SaturationStatistics localStatistics)

addStatsToContextCreationListener

public static ContextCreationListener addStatsToContextCreationListener(ContextCreationListener listener,
                                                        ContextStatistics contextStats)

addStatsToContextModificationListener

public static ContextModificationListener addStatsToContextModificationListener(ContextModificationListener listener,
                                                                ContextStatistics contextStats)