Package openllet.core.tableau.completion.rule

Class AbstractTableauRule

java.lang.Object

openllet.core.tableau.completion.rule.AbstractTableauRule

All Implemented Interfaces:

TableauRule

Direct Known Subclasses:

AllValuesRule, ChooseRule, DataCardinalityRule, DataSatisfiabilityRule, DisjunctionRule, GuessRule, MaxCardinalityRule, MinCardinalityRule, NominalRule, SelfRule, SomeValuesRule, UnfoldingRule

public abstract class AbstractTableauRule
extends java.lang.Object
implements TableauRule

Copyright: Copyright (c) 2009

Company: Clark & Parsia, LLC.

Author:

Evren Sirin

Field Summary

Fields

Modifier and Type	Field	Description
static java.util.logging.Logger	_logger

Constructor Summary

Constructors

Constructor	Description
AbstractTableauRule(CompletionStrategy strategy, NodeSelector nodeSelector, openllet.core.tableau.completion.rule.AbstractTableauRule.BlockingType blockingType)

Method Summary

Modifier and Type	Method	Description
boolean	apply(IndividualIterator i)

Methods inherited from class java.lang.Object

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

Methods inherited from interface openllet.core.tableau.completion.rule.TableauRule

apply

Field Detail

_logger

public static final java.util.logging.Logger _logger

Constructor Detail

AbstractTableauRule

public AbstractTableauRule(CompletionStrategy strategy,
                           NodeSelector nodeSelector,
                           openllet.core.tableau.completion.rule.AbstractTableauRule.BlockingType blockingType)

Method Detail

apply

public boolean apply(IndividualIterator i)

Specified by:

apply in interface TableauRule